1 mainmenu "Palacios VMM Configuration"
3 menu "Target Configuration"
7 bool "Red Storm (Cray XT3/XT4)"
9 Support for Cray XT3 and XT4 systems.
12 bool "AMD SVM Support"
15 Compile with support for AMD SVM
18 bool "Intel VMX Support"
21 Compile with support for Intel VMX
25 bool "Compile for a multi threaded OS"
28 This allows Palacios to use OS thread mechanisms
32 int "Maximum number of cpus"
36 Specifies the maximum number of hardware cpus Palacios can support
38 For uniprocessor environments, set this to 1
42 bool "Include Network Socket Support"
45 Enable networking support in Palacios
51 bool "Enable VMM telemetry support"
54 Enable the telemetry framework in Palacios
56 This is a framwork that allows components of palacios to record
57 information that is periodically reported to the log output.
58 Telemetry is automatically collected for vmexits. Subsystem telemetry
59 is configured separately
62 config SHADOW_PAGING_TELEMETRY
63 bool "Enable Shadow Paging Telemetry"
67 Enable telemetry information for shadow paging
69 config SYMBIOTIC_SWAP_TELEMETRY
70 bool "Enable Symbiotic Swap Telemetry"
72 depends on TELEMETRY && SYMBIOTIC_SWAP
74 Enable the telemetry information for the symbiotic swap subsystem
77 config PASSTHROUGH_VIDEO
78 bool "Enable Passthrough Video"
81 Configures Palacios to map a guest's framebuffer directly
82 to the hardware framebuffer
85 bool "Enable VMM instrumentation"
88 Enable the instrumentation framework
90 This is much heavier weight than profiling
93 bool "Enable Experimental options"
96 This allows the selection of experimental features. This includes incomplete or unreviewed code.
97 Only enable this feature if you are working on the features in question.
98 IMPORTANT: Non-experimental code MUST NOT use, require, or rely on experimental features.
99 Any code that violates this will be immediately deleted without warning.
101 The purpose of this option is to allow features under development to be committed to the mainline
102 to more easily track changes and provide access to multiple developers
105 depends on EXPERIMENTAL
106 bool "Enable Vnet in Palacios"
109 Enable the Vnet in Palacios
111 config BUILT_IN_STDLIB
112 bool "Enable Built in versions of stdlib functions"
115 Not all host OSes provide link targets for stdlib functions
116 Palacios provides internal implementations of these functions, that you can select from this list
118 config BUILT_IN_MEMSET
121 depends on BUILT_IN_STDLIB
123 This enables Palacios' internal implementation of memset
126 config BUILT_IN_MEMCPY
129 depends on BUILT_IN_STDLIB
131 This enables Palacios' internal implementation of memcpy
133 config BUILT_IN_MEMCMP
136 depends on BUILT_IN_STDLIB
138 This enables Palacios' internal implementation of memcmp
140 config BUILT_IN_STRLEN
143 depends on BUILT_IN_STDLIB
145 This enables Palacios' internal implementation of strlen
147 config BUILT_IN_STRNLEN
150 depends on BUILT_IN_STDLIB
152 This enables Palacios' internal implementation of strnlen
155 config BUILT_IN_STRCMP
158 depends on BUILT_IN_STDLIB
160 This enables Palacios' internal implementation of strcmp
162 config BUILT_IN_STRNCMP
165 depends on BUILT_IN_STDLIB
167 This enables Palacios' internal implementation of strncmp
169 config BUILT_IN_STRCAT
172 depends on BUILT_IN_STDLIB
174 This enables Palacios' internal implementation of strcat
176 config BUILT_IN_STRNCAT
179 depends on BUILT_IN_STDLIB
181 This enables Palacios' internal implementation of strncat
183 config BUILT_IN_STRCPY
186 depends on BUILT_IN_STDLIB
188 This enables Palacios' internal implementation of strcpy
190 config BUILT_IN_STRNCPY
193 depends on BUILT_IN_STDLIB
195 This enables Palacios' internal implementation of strncpy
197 config BUILT_IN_STRDUP
200 depends on BUILT_IN_STDLIB
202 This enables Palacios' internal implementation of strdup
208 depends on BUILT_IN_STDLIB
210 This enables Palacios' internal implementation of atoi
212 config BUILT_IN_STRCHR
215 depends on BUILT_IN_STDLIB
217 This enables Palacios' internal implementation of strchr
219 config BUILT_IN_STRRCHR
222 depends on BUILT_IN_STDLIB
224 This enables Palacios' internal implementation of strrchr
226 config BUILT_IN_STRPBRK
229 depends on BUILT_IN_STDLIB
231 This enables Palacios' internal implementation of strpbrk
234 config BUILT_IN_STDIO
235 bool "Enable Built in versions of stdio functions"
238 Not all host OSes provide link targets for stdio functions
239 Palacios provides internal implementations of these functions, that you can select from this list
243 config BUILT_IN_SPRINTF
246 depends on BUILT_IN_STDIO
248 This enables Palacios' internal implementation of sprintf
251 config BUILT_IN_SNPRINTF
254 depends on BUILT_IN_STDIO
256 This enables Palacios' internal implementation of snprintf
259 config BUILT_IN_VSPRINTF
262 depends on BUILT_IN_STDIO
264 This enables Palacios' internal implementation of vsprintf
266 config BUILT_IN_VSNPRINTF
269 depends on BUILT_IN_STDIO
271 This enables Palacios' internal implementation of vsnprintf
273 config BUILT_IN_VSNRPRINTF
276 depends on BUILT_IN_STDIO
278 This enables Palacios' internal implementation of vsnrprintf
285 menu "Symbiotic Functions"
288 bool "Enable Symbiotic Functionality"
291 Enable Symbiotic components of the VMM
294 config SYMBIOTIC_SWAP
295 bool "Symbiotic Swap"
297 depends on SYMBIOTIC && EXPERIMENTAL
299 This enables the symbiotic swap architecture
305 menu "Debug configuration"
307 config CONFIG_DEBUG_INFO
308 bool "Compile with Debug information"
311 This adds the -g flag to the compilation flags
314 ## Is unwind information useful
317 bool "Enable Debugging"
320 This turns on debugging support
323 config DEBUG_SHADOW_PAGING
328 This turns on debugging for the shadow paging system
331 config DEBUG_NESTED_PAGING
336 This turns on debugging for the nested paging system
339 config DEBUG_CTRL_REGS
340 bool "Control registers"
344 This turns on debugging for the control register handlers
347 config DEBUG_INTERRUPTS
352 This turns on debugging for the interrupt system
361 This turns on debugging for the IO handlers
364 config DEBUG_EMULATOR
365 bool "Instruction Emulator"
369 This turns on debugging for the Instruction Emulator
377 This turns on debugging for the Xed Decoder
384 This turns on debugging for the halt instruction handler
387 bool "Device Manager"
391 This turns on debugging for the device manager
399 menu "BIOS Selection"
402 string "Path to pre-built ROMBIOS binary"
403 default "./bios/rombios/BIOS-bochs-latest"
405 This is the rombios that will be used for the guests
408 string "Path to pre-built VGABIOS binary"
409 default "./bios/vgabios/VGABIOS-lgpl-latest.bin"
411 This is the vgabios that will be used for the guests
413 config VMXASSIST_PATH
414 string "Path to pre-built VMXASSIST binary"
416 default "./bios/vmxassist/vmxassist.bin"
418 This is vmxassist image to boot real mode guests on
424 source "palacios/src/devices/Kconfig"