From: Jack Lange Date: Thu, 26 Nov 2009 20:11:13 +0000 (-0600) Subject: removed kconfig template filE X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=6cbdc3c14d417e26bf6dfdf08e19e09db44fdf51 removed kconfig template filE --- diff --git a/Kconfig.template b/Kconfig.template deleted file mode 100644 index eb959b6..0000000 --- a/Kconfig.template +++ /dev/null @@ -1,112 +0,0 @@ -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" -