Added jenkins testing infrastructure.
[akaros.git] / Kconfig
diff --git a/Kconfig b/Kconfig
index 4f19e05..707b64c 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -166,6 +166,13 @@ config PRINTK_NO_BACKSPACE
 
 endmenu
 
 
 endmenu
 
+config VM
+       bool "Virtual Machine support"
+       default n
+       help
+               VM support -- not working! Based on KVM.
+
+
 menu "Misc/Old Options"
 
 config ARSC_SERVER
 menu "Misc/Old Options"
 
 config ARSC_SERVER
@@ -205,3 +212,5 @@ config BSD_ON_CORE0
                This was an old joke.  Say 'n', since we can't simply #include <bsd>.
 
 endmenu
                This was an old joke.  Say 'n', since we can't simply #include <bsd>.
 
 endmenu
+
+source "kern/Kconfig.testing"