VMM: removes the VPID
[akaros.git] / Kconfig
diff --git a/Kconfig b/Kconfig
index 551d1cd..b9c1310 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -310,4 +310,6 @@ config BSD_ON_CORE0
 
 endmenu
 
+source "kern/lib/Kconfig"
+
 source "kern/src/ktest/Kconfig"