--- /sys/src/9k/k10/k10aoe
+++ /sys/src/9k/k10/k10aoe
@@ -10,6 +10,7 @@ dev +dev
 	dup
 	rtc
 	ssl
+	tls
 	cap
 	kprof
 	acpi
@@ -172,6 +173,7 @@ dir
 	port
 
 lib
-	libc
 	libip
 	libsec
+	libmp
+	libc
--- /sys/src/9k/k10/k10cpu
+++ /sys/src/9k/k10/k10cpu
@@ -10,6 +10,7 @@ dev +dev
 	dup
 	rtc
 	ssl
+	tls
 	cap
 	kprof
 	acpi
@@ -166,6 +167,7 @@ dir
 	port
 
 lib
-	libc
 	libip
 	libsec
+	libmp
+	libc
--- /sys/src/9k/k10/k10cpuf
+++ /sys/src/9k/k10/k10cpuf
@@ -10,6 +10,7 @@ dev +dev
 	dup
 	rtc
 	ssl
+	tls
 	cap
 	kprof
 	acpi
@@ -175,6 +176,7 @@ dir
 	port
 
 lib
-	libc
 	libip
 	libsec
+	libmp
+	libc
--- /sys/src/9k/k10/k10root
+++ /sys/src/9k/k10/k10root
@@ -10,6 +10,7 @@ dev +dev
 	dup
 	rtc
 	ssl
+	tls
 	cap
 	kprof
 	acpi
@@ -168,6 +169,7 @@ dir
 	port
 
 lib
-	libc
 	libip
 	libsec
+	libmp
+	libc