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"