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
58 config PASSTHROUGH_VIDEO
59 bool "Enable Passthrough Video"
62 Configures Palacios to map a guest's framebuffer directly
63 to the hardware framebuffer
66 bool "Enable VMM instrumentation"
69 Enable the instrumentation framework
71 This is much heavier weight than profiling
74 bool "Enable Experimental options"
77 This allows the selection of experimental features. This includes incomplete or unreviewed code.
78 Only enable this feature if you are working on the features in question.
79 IMPORTANT: Non-experimental code MUST NOT use, require, or rely on experimental features.
80 Any code that violates this will be immediately deleted without warning.
82 The purpose of this option is to allow features under development to be committed to the mainline
83 to more easily track changes and provide access to multiple developers
85 config BUILT_IN_STDLIB
86 bool "Enable Built in versions of stdlib functions"
89 Not all host OSes provide link targets for stdlib functions
90 Palacios provides internal implementations of these functions, that you can select from this list
92 config BUILT_IN_MEMSET
95 depends on BUILT_IN_STDLIB
97 This enables Palacios' internal implementation of memset
100 config BUILT_IN_MEMCPY
103 depends on BUILT_IN_STDLIB
105 This enables Palacios' internal implementation of memcpy
107 config BUILT_IN_MEMCMP
110 depends on BUILT_IN_STDLIB
112 This enables Palacios' internal implementation of memcmp
114 config BUILT_IN_STRLEN
117 depends on BUILT_IN_STDLIB
119 This enables Palacios' internal implementation of strlen
121 config BUILT_IN_STRNLEN
124 depends on BUILT_IN_STDLIB
126 This enables Palacios' internal implementation of strnlen
129 config BUILT_IN_STRCMP
132 depends on BUILT_IN_STDLIB
134 This enables Palacios' internal implementation of strcmp
136 config BUILT_IN_STRNCMP
139 depends on BUILT_IN_STDLIB
141 This enables Palacios' internal implementation of strncmp
143 config BUILT_IN_STRCAT
146 depends on BUILT_IN_STDLIB
148 This enables Palacios' internal implementation of strcat
150 config BUILT_IN_STRNCAT
153 depends on BUILT_IN_STDLIB
155 This enables Palacios' internal implementation of strncat
157 config BUILT_IN_STRCPY
160 depends on BUILT_IN_STDLIB
162 This enables Palacios' internal implementation of strcpy
164 config BUILT_IN_STRNCPY
167 depends on BUILT_IN_STDLIB
169 This enables Palacios' internal implementation of strncpy
171 config BUILT_IN_STRDUP
174 depends on BUILT_IN_STDLIB
176 This enables Palacios' internal implementation of strdup
182 depends on BUILT_IN_STDLIB
184 This enables Palacios' internal implementation of atoi
186 config BUILT_IN_STRCHR
189 depends on BUILT_IN_STDLIB
191 This enables Palacios' internal implementation of strchr
193 config BUILT_IN_STRRCHR
196 depends on BUILT_IN_STDLIB
198 This enables Palacios' internal implementation of strrchr
200 config BUILT_IN_STRPBRK
203 depends on BUILT_IN_STDLIB
205 This enables Palacios' internal implementation of strpbrk
208 config BUILT_IN_STDIO
209 bool "Enable Built in versions of stdio functions"
212 Not all host OSes provide link targets for stdio functions
213 Palacios provides internal implementations of these functions, that you can select from this list
217 config BUILT_IN_SPRINTF
220 depends on BUILT_IN_STDIO
222 This enables Palacios' internal implementation of sprintf
225 config BUILT_IN_SNPRINTF
228 depends on BUILT_IN_STDIO
230 This enables Palacios' internal implementation of snprintf
233 config BUILT_IN_VSPRINTF
236 depends on BUILT_IN_STDIO
238 This enables Palacios' internal implementation of vsprintf
240 config BUILT_IN_VSNPRINTF
243 depends on BUILT_IN_STDIO
245 This enables Palacios' internal implementation of vsnprintf
247 config BUILT_IN_VSNRPRINTF
250 depends on BUILT_IN_STDIO
252 This enables Palacios' internal implementation of vsnrprintf
259 menu "Symbiotic Functions"
262 bool "Enable Symbiotic Functionality"
265 Enable Symbiotic components of the VMM
268 config SYMBIOTIC_SWAP
269 bool "Symbiotic Swap"
271 depends on SYMBIOTIC && EXPERIMENTAL
273 This enables the symbiotic swap architecture
279 menu "Debug configuration"
281 config CONFIG_DEBUG_INFO
282 bool "Compile with Debug information"
285 This adds the -g flag to the compilation flags
288 ## Is unwind information useful
291 bool "Enable Debugging"
294 This turns on debugging support
297 config DEBUG_SHADOW_PAGING
302 This turns on debugging for the shadow paging system
305 config DEBUG_NESTED_PAGING
310 This turns on debugging for the nested paging system
313 config DEBUG_CTRL_REGS
314 bool "Control registers"
318 This turns on debugging for the control register handlers
321 config DEBUG_INTERRUPTS
326 This turns on debugging for the interrupt system
335 This turns on debugging for the IO handlers
338 config DEBUG_EMULATOR
339 bool "Instruction Emulator"
343 This turns on debugging for the Instruction Emulator
351 This turns on debugging for the Xed Decoder
358 This turns on debugging for the halt instruction handler
361 bool "Device Manager"
365 This turns on debugging for the device manager
373 menu "BIOS Selection"
376 string "Path to pre-built ROMBIOS binary"
377 default "./bios/rombios/BIOS-bochs-latest"
379 This is the rombios that will be used for the guests
382 string "Path to pre-built VGABIOS binary"
383 default "./bios/vgabios/VGABIOS-lgpl-latest.bin"
385 This is the vgabios that will be used for the guests
387 config VMXASSIST_PATH
388 string "Path to pre-built VMXASSIST binary"
390 default "./bios/vmxassist/vmxassist.bin"
392 This is vmxassist image to boot real mode guests on
398 source "palacios/src/devices/Kconfig"