1 mainmenu "Palacios VMM Configuration"
7 Support for the x86-64 architecture.
10 menu "Target Configuration"
13 prompt "System Architecture"
17 bool "Compile a 32 bit library"
19 Support for 32 bit Operating Systems
22 bool "Compile a 64 bit library"
24 Support for 64 bit Operating Systems
28 bool "Red Storm (Cray XT3/XT4)"
30 Support for Cray XT3 and XT4 systems.
35 # Define implied options from the CPU selection
38 config X86_L1_CACHE_BYTES
40 default "128" if GENERIC_CPU || MPSC
43 config X86_L1_CACHE_SHIFT
45 default "7" if GENERIC_CPU || MPSC
48 config X86_INTERNODE_CACHE_BYTES
50 default X86_L1_CACHE_BYTES
52 config X86_INTERNODE_CACHE_SHIFT
54 default X86_L1_CACHE_SHIFT
57 int "Maximum number of CPUs (2-256)"
61 This allows you to specify the maximum number of CPUs which this
62 kernel will support. Current maximum is 256 CPUs due to
63 APIC addressing limits. Less depending on the hardware.
65 This is purely to save memory - each supported CPU requires
66 memory in the static kernel configuration.
69 # Physical address where the kernel is loaded
80 bool "Include Palacios virtual machine monitor"
83 Include the Palacios virtual machine monitor. This enables Kitten
84 to run guest operating systems alongside native applications.
86 config PALACIOS_SOCKET
88 depends on NETWORK && LWIP_TCP && LWIP_UDP && LWIP_SOCKET
92 string "Path to pre-built Palacios tree"
96 Path to a built Palacios source tree. This path is used to
97 find Palacios include files and libraries that need to be
98 linked with the Kitten kernel image.
100 config GUEST_OS_ISOIMAGE_PATH
101 string "Path to guest OS ISO image"
103 default "/opt/vmm-tools/isos/puppy.iso"
105 Path to an ISO image to link with the example user/hello_world
106 init task. The hello_world init task will use this ISO image
107 to spawn a guest OS virtual machine via Palacios.
111 #source "net/Kconfig"