X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Farch%2Fx86_64%2FKconfig;h=ba47c686822ecc9f599cf6a4581ee10c26f72fd3;hb=160530e310bb5ea55b2a248e23ff38abf7bb5f47;hp=deed59c7a1aaeec426c52140209686b4c7085f59;hpb=6299cb929a586fd8debcc316c1ede714d5b95979;p=palacios-OLD.git

diff --git a/kitten/arch/x86_64/Kconfig b/kitten/arch/x86_64/Kconfig
index deed59c..ba47c68 100644
--- a/kitten/arch/x86_64/Kconfig
+++ b/kitten/arch/x86_64/Kconfig
@@ -48,6 +48,11 @@ config GENERIC_CPU
 
 endchoice
 
+config V3VEE
+	bool "V3Vee abstraction layer"
+	default "n"
+	help
+	  V3Vee guest OS instead of ELF image
 
 #
 # Define implied options from the CPU selection
@@ -87,23 +92,26 @@ config NR_CPUS
 # Physical address where the kernel is loaded
 #
 config PHYSICAL_START
-	hex
+	hex "Physical address for kernel load"
 	default "0x200000"
 
-endmenu
 
 
 config VGA_CONSOLE
-	bool
+	bool "VGA console"
 	default "y" if PC
 
 config SERIAL_CONSOLE
-	bool
+	bool "Serial console support"
 	default "y" if PC
 
 config RCAL0_CONSOLE
-	bool
+	bool "Cray XT3 L0 console support"
 	default "y" if CRAY_XT
 	default "n"
 
+
+
+endmenu
+
 source "arch/x86_64/Kconfig.debug"