--- /dev/null
+mainmenu "Palacios VMM Configuration"
+
+config x86_64
+ bool
+ default y
+ help
+ Support for the x86-64 architecture.
+
+
+menu "Target Configuration"
+
+choice
+ prompt "System Architecture"
+ default PC
+
+config V3_32BIT
+ bool "Compile a 32 bit library"
+ help
+ Support for 32 bit Operating Systems
+
+config V3_64BIT
+ bool "Compile a 64 bit library"
+ help
+ Support for 64 bit Operating Systems
+endchoice
+
+config CRAY_XT
+ bool "Red Storm (Cray XT3/XT4)"
+ help
+ Support for Cray XT3 and XT4 systems.
+
+
+
+#
+# Define implied options from the CPU selection
+#
+
+config X86_L1_CACHE_BYTES
+ int
+ default "128" if GENERIC_CPU || MPSC
+ default "64" if MK8
+
+config X86_L1_CACHE_SHIFT
+ int
+ default "7" if GENERIC_CPU || MPSC
+ default "6" if MK8
+
+config X86_INTERNODE_CACHE_BYTES
+ int
+ default X86_L1_CACHE_BYTES
+
+config X86_INTERNODE_CACHE_SHIFT
+ int
+ default X86_L1_CACHE_SHIFT
+
+config NR_CPUS
+ int "Maximum number of CPUs (2-256)"
+ range 1 255
+ default "16"
+ help
+ This allows you to specify the maximum number of CPUs which this
+ kernel will support. Current maximum is 256 CPUs due to
+ APIC addressing limits. Less depending on the hardware.
+
+ This is purely to save memory - each supported CPU requires
+ memory in the static kernel configuration.
+
+#
+# Physical address where the kernel is loaded
+#
+config PHYSICAL_START
+ hex
+ default "0x200000"
+
+endmenu
+
+menu "Virtualization"
+
+config PALACIOS
+ bool "Include Palacios virtual machine monitor"
+ default "n"
+ help
+ Include the Palacios virtual machine monitor. This enables Kitten
+ to run guest operating systems alongside native applications.
+
+config PALACIOS_SOCKET
+ bool
+ depends on NETWORK && LWIP_TCP && LWIP_UDP && LWIP_SOCKET
+ default "y"
+
+config PALACIOS_PATH
+ string "Path to pre-built Palacios tree"
+ depends on PALACIOS
+ default "../palacios"
+ help
+ Path to a built Palacios source tree. This path is used to
+ find Palacios include files and libraries that need to be
+ linked with the Kitten kernel image.
+
+config GUEST_OS_ISOIMAGE_PATH
+ string "Path to guest OS ISO image"
+ depends on PALACIOS
+ default "/opt/vmm-tools/isos/puppy.iso"
+ help
+ Path to an ISO image to link with the example user/hello_world
+ init task. The hello_world init task will use this ISO image
+ to spawn a guest OS virtual machine via Palacios.
+
+endmenu
+
+#source "net/Kconfig"
+