1 mainmenu "Palacios VMM Configuration"
3 menu "Target Configuration"
7 bool "Set defaults needed for the Kitten OS"
10 This enables the necesary options to compile Palacios with Kitten
14 bool "Red Storm (Cray XT3/XT4)"
16 Support for Cray XT3 and XT4 systems.
19 bool "AMD SVM Support"
22 Compile with support for AMD SVM
25 bool "Intel VMX Support"
28 Compile with support for Intel VMX
32 bool "Compile for a multi threaded OS"
35 This allows Palacios to use OS thread mechanisms
39 int "Maximum number of cpus"
43 Specifies the maximum number of hardware cpus Palacios can support
45 For uniprocessor environments, set this to 1
49 bool "Include Network Socket Support"
52 Enable networking support in Palacios
58 bool "Enable VMM telemetry support"
61 Enable the telemetry framework in Palacios
63 This is a framwork that allows components of palacios to record
64 information that is periodically reported to the log output.
65 Telemetry is automatically collected for vmexits. Subsystem telemetry
66 is configured separately
69 config SHADOW_PAGING_TELEMETRY
70 bool "Enable Shadow Paging Telemetry"
74 Enable telemetry information for shadow paging
76 config SYMBIOTIC_SWAP_TELEMETRY
77 bool "Enable Symbiotic Swap Telemetry"
79 depends on TELEMETRY && SYMBIOTIC_SWAP
81 Enable the telemetry information for the symbiotic swap subsystem
84 config PASSTHROUGH_VIDEO
85 bool "Enable Passthrough Video"
88 Configures Palacios to map a guest's framebuffer directly
89 to the hardware framebuffer
92 bool "Enable VMM instrumentation"
95 Enable the instrumentation framework
97 This is much heavier weight than profiling
100 bool "Enable Experimental options"
103 This allows the selection of experimental features. This includes incomplete or unreviewed code.
104 Only enable this feature if you are working on the features in question.
105 IMPORTANT: Non-experimental code MUST NOT use, require, or rely on experimental features.
106 Any code that violates this will be immediately deleted without warning.
108 The purpose of this option is to allow features under development to be committed to the mainline
109 to more easily track changes and provide access to multiple developers
112 depends on EXPERIMENTAL
113 bool "Enable Vnet in Palacios"
116 Enable the Vnet in Palacios
121 source "Kconfig.stdlibs"
125 menu "Virtual Paging"
128 bool "Enable shadow paging"
131 Enables shadow paging for virtual machines
134 config SHADOW_PAGING_VTLB
137 depends on SHADOW_PAGING
139 Enables Virtual TLB implemenation for shadow paging
144 menu "Symbiotic Functions"
147 bool "Enable Symbiotic Functionality"
150 Enable Symbiotic components of the VMM
153 config SYMBIOTIC_SWAP
154 bool "Symbiotic Swap"
156 depends on SYMBIOTIC && EXPERIMENTAL
158 This enables the symbiotic swap architecture
164 menu "Debug configuration"
166 config CONFIG_DEBUG_INFO
167 bool "Compile with Debug information"
170 This adds the -g flag to the compilation flags
173 ## Is unwind information useful
176 bool "Enable Debugging"
179 This turns on debugging support
182 config DEBUG_SHADOW_PAGING
187 This turns on debugging for the shadow paging system
190 config DEBUG_NESTED_PAGING
195 This turns on debugging for the nested paging system
198 config DEBUG_CTRL_REGS
199 bool "Control registers"
203 This turns on debugging for the control register handlers
206 config DEBUG_INTERRUPTS
211 This turns on debugging for the interrupt system
220 This turns on debugging for the IO handlers
223 config DEBUG_EMULATOR
224 bool "Instruction Emulator"
228 This turns on debugging for the Instruction Emulator
236 This turns on debugging for the Xed Decoder
243 This turns on debugging for the halt instruction handler
246 bool "Device Manager"
250 This turns on debugging for the device manager
258 menu "BIOS Selection"
261 string "Path to pre-built ROMBIOS binary"
262 default "./bios/rombios/BIOS-bochs-latest"
264 This is the rombios that will be used for the guests
267 string "Path to pre-built VGABIOS binary"
268 default "./bios/vgabios/VGABIOS-lgpl-latest.bin"
270 This is the vgabios that will be used for the guests
272 config VMXASSIST_PATH
273 string "Path to pre-built VMXASSIST binary"
275 default "./bios/vmxassist/vmxassist.bin"
277 This is vmxassist image to boot real mode guests on
283 source "palacios/src/devices/Kconfig"