1 mainmenu "Palacios VMM Configuration"
3 menu "Target Configuration"
6 bool "Red Storm (Cray XT3/XT4)"
8 Support for Cray XT3 and XT4 systems.
11 bool "AMD SVM Support"
14 Compile with support for AMD SVM
17 bool "Intel VMX Support"
20 Compile with support for Intel VMX
24 bool "Include Network Socket Support"
27 Enable networking support in Palacios
32 bool "Enable VMM telemetry support"
35 Enable the telemetry framework in Palacios
37 This is a framwork that allows components of palacios to record
38 information that is periodically reported to the log output.
39 Telemetry is automatically collected for vmexits. Subsystem telemetry
40 is configured separately
43 config SHADOW_PAGING_TELEMETRY
44 bool "Enable Shadow Paging Telemetry"
48 Enable telemetry information for shadow paging
50 config SYMBIOTIC_SWAP_TELEMETRY
51 bool "Enable Symbiotic Swap Telemetry"
53 depends on TELEMETRY && SYMBIOTIC_SWAP
55 Enable the telemetry information for the symbiotic swap subsystem
60 bool "Enable VMM instrumentation"
63 Enable the instrumentation framework
65 This is much heavier weight than profiling
68 bool "Enable Experimental options"
71 This allows the selection of experimental features. This includes incomplete or unreviewed code.
72 Only enable this feature if you are working on the features in question.
73 IMPORTANT: Non-experimental code MUST NOT use, require, or rely on experimental features.
74 Any code that violates this will be immediately deleted without warning.
76 The purpose of this option is to allow features under development to be committed to the mainline
77 to more easily track changes and provide access to multiple developers
79 config BUILT_IN_STDLIB
80 bool "Enable Built in versions of stdlib functions"
83 Not all host OSes provide link targets for stdlib functions
84 Palacios provides internal implementations of these functions, that you can select from this list
86 config BUILT_IN_MEMSET
89 depends on BUILT_IN_STDLIB
91 This enables Palacios' internal implementation of memset
94 config BUILT_IN_MEMCPY
97 depends on BUILT_IN_STDLIB
99 This enables Palacios' internal implementation of memcpy
101 config BUILT_IN_MEMCMP
104 depends on BUILT_IN_STDLIB
106 This enables Palacios' internal implementation of memcmp
108 config BUILT_IN_STRLEN
111 depends on BUILT_IN_STDLIB
113 This enables Palacios' internal implementation of strlen
115 config BUILT_IN_STRNLEN
118 depends on BUILT_IN_STDLIB
120 This enables Palacios' internal implementation of strnlen
123 config BUILT_IN_STRCMP
126 depends on BUILT_IN_STDLIB
128 This enables Palacios' internal implementation of strcmp
130 config BUILT_IN_STRNCMP
133 depends on BUILT_IN_STDLIB
135 This enables Palacios' internal implementation of strncmp
137 config BUILT_IN_STRCAT
140 depends on BUILT_IN_STDLIB
142 This enables Palacios' internal implementation of strcat
144 config BUILT_IN_STRNCAT
147 depends on BUILT_IN_STDLIB
149 This enables Palacios' internal implementation of strncat
151 config BUILT_IN_STRCPY
154 depends on BUILT_IN_STDLIB
156 This enables Palacios' internal implementation of strcpy
158 config BUILT_IN_STRNCPY
161 depends on BUILT_IN_STDLIB
163 This enables Palacios' internal implementation of strncpy
165 config BUILT_IN_STRDUP
168 depends on BUILT_IN_STDLIB
170 This enables Palacios' internal implementation of strdup
176 depends on BUILT_IN_STDLIB
178 This enables Palacios' internal implementation of atoi
180 config BUILT_IN_STRCHR
183 depends on BUILT_IN_STDLIB
185 This enables Palacios' internal implementation of strchr
187 config BUILT_IN_STRRCHR
190 depends on BUILT_IN_STDLIB
192 This enables Palacios' internal implementation of strrchr
194 config BUILT_IN_STRPBRK
197 depends on BUILT_IN_STDLIB
199 This enables Palacios' internal implementation of strpbrk
202 config BUILT_IN_STDIO
203 bool "Enable Built in versions of stdio functions"
206 Not all host OSes provide link targets for stdio functions
207 Palacios provides internal implementations of these functions, that you can select from this list
211 config BUILT_IN_SPRINTF
214 depends on BUILT_IN_STDIO
216 This enables Palacios' internal implementation of sprintf
219 config BUILT_IN_SNPRINTF
222 depends on BUILT_IN_STDIO
224 This enables Palacios' internal implementation of snprintf
227 config BUILT_IN_VSPRINTF
230 depends on BUILT_IN_STDIO
232 This enables Palacios' internal implementation of vsprintf
234 config BUILT_IN_VSNPRINTF
237 depends on BUILT_IN_STDIO
239 This enables Palacios' internal implementation of vsnprintf
241 config BUILT_IN_VSNRPRINTF
244 depends on BUILT_IN_STDIO
246 This enables Palacios' internal implementation of vsnrprintf
253 menu "Symbiotic Functions"
256 bool "Enable Symbiotic Functionality"
259 Enable Symbiotic components of the VMM
262 config SYMBIOTIC_SWAP
263 bool "Symbiotic Swap"
265 depends on SYMBIOTIC && EXPERIMENTAL
267 This enables the symbiotic swap architecture
273 menu "Debug configuration"
275 config CONFIG_DEBUG_INFO
276 bool "Compile with Debug information"
279 This adds the -g flag to the compilation flags
282 ## Is unwind information useful
285 bool "Enable Debugging"
288 This turns on debugging support
291 config DEBUG_SHADOW_PAGING
296 This turns on debugging for the shadow paging system
299 config DEBUG_NESTED_PAGING
304 This turns on debugging for the nested paging system
307 config DEBUG_CTRL_REGS
308 bool "Control registers"
312 This turns on debugging for the control register handlers
315 config DEBUG_INTERRUPTS
320 This turns on debugging for the interrupt system
329 This turns on debugging for the IO handlers
332 config DEBUG_EMULATOR
333 bool "Instruction Emulator"
337 This turns on debugging for the Instruction Emulator
345 This turns on debugging for the Xed Decoder
352 This turns on debugging for the halt instruction handler
355 bool "Device Manager"
359 This turns on debugging for the device manager
367 menu "BIOS Selection"
370 string "Path to pre-built ROMBIOS binary"
371 default "./bios/rombios/BIOS-bochs-latest"
373 This is the rombios that will be used for the guests
376 string "Path to pre-built VGABIOS binary"
377 default "./bios/vgabios/VGABIOS-lgpl-latest.bin"
379 This is the vgabios that will be used for the guests
381 config VMXASSIST_PATH
382 string "Path to pre-built VMXASSIST binary"
384 default "./bios/vmxassist/vmxassist.bin"
386 This is vmxassist image to boot real mode guests on
392 source "palacios/src/devices/Kconfig"