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
94 config BUILT_IN_STRCMP
97 depends on BUILT_IN_STDLIB
99 This enables Palacios' internal implementation of strcmp
101 config BUILT_IN_STRNCMP
104 depends on BUILT_IN_STDLIB
106 This enables Palacios' internal implementation of strncmp
108 config BUILT_IN_STRCAT
111 depends on BUILT_IN_STDLIB
113 This enables Palacios' internal implementation of strcat
115 config BUILT_IN_STRNCAT
118 depends on BUILT_IN_STDLIB
120 This enables Palacios' internal implementation of strncat
122 config BUILT_IN_STRCPY
125 depends on BUILT_IN_STDLIB
127 This enables Palacios' internal implementation of strcpy
129 config BUILT_IN_STRNCPY
132 depends on BUILT_IN_STDLIB
134 This enables Palacios' internal implementation of strncpy
136 config BUILT_IN_STRDUP
139 depends on BUILT_IN_STDLIB
141 This enables Palacios' internal implementation of strdup
147 depends on BUILT_IN_STDLIB
149 This enables Palacios' internal implementation of atoi
151 config BUILT_IN_STRCHR
154 depends on BUILT_IN_STDLIB
156 This enables Palacios' internal implementation of strchr
158 config BUILT_IN_STRRCHR
161 depends on BUILT_IN_STDLIB
163 This enables Palacios' internal implementation of strrchr
165 config BUILT_IN_STRPBRK
168 depends on BUILT_IN_STDLIB
170 This enables Palacios' internal implementation of strpbrk
178 menu "Symbiotic Functions"
181 bool "Enable Symbiotic Functionality"
184 Enable Symbiotic components of the VMM
191 menu "Debug configuration"
193 config CONFIG_DEBUG_INFO
194 bool "Compile with Debug information"
197 This adds the -g flag to the compilation flags
200 ## Is unwind information useful
203 bool "Enable Debugging"
206 This turns on debugging support
209 config DEBUG_SHADOW_PAGING
214 This turns on debugging for the shadow paging system
217 config DEBUG_NESTED_PAGING
222 This turns on debugging for the nested paging system
225 config DEBUG_CTRL_REGS
226 bool "Control registers"
230 This turns on debugging for the control register handlers
233 config DEBUG_INTERRUPTS
238 This turns on debugging for the interrupt system
247 This turns on debugging for the IO handlers
250 config DEBUG_EMULATOR
251 bool "Instruction Emulator"
255 This turns on debugging for the Instruction Emulator
263 This turns on debugging for the Xed Decoder
270 This turns on debugging for the halt instruction handler
273 bool "Device Manager"
277 This turns on debugging for the device manager
285 menu "BIOS Selection"
288 string "Path to pre-built ROMBIOS binary"
289 default "./bios/rombios/BIOS-bochs-latest"
291 This is the rombios that will be used for the guests
294 string "Path to pre-built VGABIOS binary"
295 default "./bios/vgabios/VGABIOS-lgpl-latest.bin"
297 This is the vgabios that will be used for the guests
299 config VMXASSIST_PATH
300 string "Path to pre-built VMXASSIST binary"
302 default "./bios/vmxassist/vmxassist.bin"
304 This is vmxassist image to boot real mode guests on
310 source "palacios/src/devices/Kconfig"