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 profiling support"
35 Enable the profiling framework in Palacios
37 This is a framwork that allows components of palacios to record
38 information that is periodically reported to the log file
41 bool "Enable VMM instrumentation"
44 Enable the instrumentation framework
46 This is much heavier weight than profiling
49 config BUILT_IN_STDLIB
50 bool "Enable Built in versions of stdlib functions"
53 Not all host OSes provide link targets for stdlib functions
54 Palacios provides internal implementations of these functions, that you can select from this list
56 config BUILT_IN_MEMSET
59 depends on BUILT_IN_STDLIB
61 This enables Palacios' internal implementation of memset
64 config BUILT_IN_MEMCPY
67 depends on BUILT_IN_STDLIB
69 This enables Palacios' internal implementation of memcpy
71 config BUILT_IN_MEMCMP
74 depends on BUILT_IN_STDLIB
76 This enables Palacios' internal implementation of memcmp
78 config BUILT_IN_STRLEN
81 depends on BUILT_IN_STDLIB
83 This enables Palacios' internal implementation of strlen
85 config BUILT_IN_STRNLEN
88 depends on BUILT_IN_STDLIB
90 This enables Palacios' internal implementation of strnlen
93 config BUILT_IN_STRCMP
96 depends on BUILT_IN_STDLIB
98 This enables Palacios' internal implementation of strcmp
100 config BUILT_IN_STRNCMP
103 depends on BUILT_IN_STDLIB
105 This enables Palacios' internal implementation of strncmp
107 config BUILT_IN_STRCAT
110 depends on BUILT_IN_STDLIB
112 This enables Palacios' internal implementation of strcat
114 config BUILT_IN_STRNCAT
117 depends on BUILT_IN_STDLIB
119 This enables Palacios' internal implementation of strncat
121 config BUILT_IN_STRCPY
124 depends on BUILT_IN_STDLIB
126 This enables Palacios' internal implementation of strcpy
128 config BUILT_IN_STRNCPY
131 depends on BUILT_IN_STDLIB
133 This enables Palacios' internal implementation of strncpy
135 config BUILT_IN_STRDUP
138 depends on BUILT_IN_STDLIB
140 This enables Palacios' internal implementation of strdup
146 depends on BUILT_IN_STDLIB
148 This enables Palacios' internal implementation of atoi
150 config BUILT_IN_STRCHR
153 depends on BUILT_IN_STDLIB
155 This enables Palacios' internal implementation of strchr
157 config BUILT_IN_STRRCHR
160 depends on BUILT_IN_STDLIB
162 This enables Palacios' internal implementation of strrchr
164 config BUILT_IN_STRPBRK
167 depends on BUILT_IN_STDLIB
169 This enables Palacios' internal implementation of strpbrk
172 config BUILT_IN_SPRINTF
175 depends on BUILT_IN_STDLIB
177 This enables Palacios' internal implementation of sprintf
180 config BUILT_IN_SNPRINTF
183 depends on BUILT_IN_STDLIB
185 This enables Palacios' internal implementation of snprintf
188 config BUILT_IN_VSPRINTF
191 depends on BUILT_IN_STDLIB
193 This enables Palacios' internal implementation of vsprintf
195 config BUILT_IN_VSNPRINTF
198 depends on BUILT_IN_STDLIB
200 This enables Palacios' internal implementation of vsnprintf
202 config BUILT_IN_VSNRPRINTF
205 depends on BUILT_IN_STDLIB
207 This enables Palacios' internal implementation of vsnrprintf
214 menu "Symbiotic Functions"
217 bool "Enable Symbiotic Functionality"
220 Enable Symbiotic components of the VMM
223 config SYMBIOTIC_SWAP
224 bool "Symbiotic Swap"
228 This enables the symbiotic swap architecture
234 menu "Debug configuration"
236 config CONFIG_DEBUG_INFO
237 bool "Compile with Debug information"
240 This adds the -g flag to the compilation flags
243 ## Is unwind information useful
246 bool "Enable Debugging"
249 This turns on debugging support
252 config DEBUG_SHADOW_PAGING
257 This turns on debugging for the shadow paging system
260 config DEBUG_NESTED_PAGING
265 This turns on debugging for the nested paging system
268 config DEBUG_CTRL_REGS
269 bool "Control registers"
273 This turns on debugging for the control register handlers
276 config DEBUG_INTERRUPTS
281 This turns on debugging for the interrupt system
290 This turns on debugging for the IO handlers
293 config DEBUG_EMULATOR
294 bool "Instruction Emulator"
298 This turns on debugging for the Instruction Emulator
306 This turns on debugging for the Xed Decoder
313 This turns on debugging for the halt instruction handler
316 bool "Device Manager"
320 This turns on debugging for the device manager
328 menu "BIOS Selection"
331 string "Path to pre-built ROMBIOS binary"
332 default "./bios/rombios/BIOS-bochs-latest"
334 This is the rombios that will be used for the guests
337 string "Path to pre-built VGABIOS binary"
338 default "./bios/vgabios/VGABIOS-lgpl-latest.bin"
340 This is the vgabios that will be used for the guests
342 config VMXASSIST_PATH
343 string "Path to pre-built VMXASSIST binary"
345 default "./bios/vmxassist/vmxassist.bin"
347 This is vmxassist image to boot real mode guests on
353 source "palacios/src/devices/Kconfig"