1 mainmenu "Palacios VMM Configuration"
3 menu "Target Configuration"
7 prompt "Target Host OS"
12 select BUILT_IN_STDLIB
13 select BUILT_IN_STRCASECMP
15 select ALIGNED_PG_ALLOC
18 This enables the necesary options to compile Palacios with Kitten
22 select BUILT_IN_STDLIB
26 This enables the necessary options to compile Palacios with Linux 2.6
27 Currently, this is in development, and only 2.6.32 is verified to work
32 This enables the necesary options to compile Palacios with Kitten
37 Choose this to compile Palacios for a Generic Host OS
43 bool "Red Storm (Cray XT3/XT4)"
45 Support for Cray XT3 and XT4 systems.
48 bool "AMD SVM Support"
51 Compile with support for AMD SVM
54 bool "Intel VMX Support"
57 Compile with support for Intel VMX
60 menu "Supported host OS features"
63 bool "Host support for multiple threads"
66 Select this if your OS supports multiple threads of execution. This will enable features in Palacios
67 to require the creation of additional execution threads.
70 config ALIGNED_PG_ALLOC
71 bool "Host support for aligned page allocations"
74 Select this if your OS supports allocating memory pages using an alignment. This is required
75 if you want Palacios to run with large page table pages.
78 int "Maximum number of cpus"
82 Specifies the maximum number of hardware CPUs supported by the OS
83 For uniprocessor environments, set this to 1
86 bool "Host Support for file operations"
89 Select this if your host OS supports file operatoins and you want Palacios to be able to use them.
93 bool "Host Support for VM console"
96 Select this if you want to forward a guest console interface to some host OS service
101 bool "Host support for Network Sockets"
104 Select this if you host OS implements a socket API that is available to Palacios. This is required
105 to support the internal networking features of Palacios.
112 bool "Enable VMM telemetry support"
115 Enable the telemetry framework in Palacios
117 This is a framwork that allows components of palacios to record
118 information that is periodically reported to the log output.
119 Telemetry is automatically collected for vmexits. Subsystem telemetry
120 is configured separately
123 config SHADOW_PAGING_TELEMETRY
124 bool "Enable Shadow Paging Telemetry"
128 Enable telemetry information for shadow paging
131 config INSTRUMENT_VMM
132 bool "Enable VMM instrumentation"
135 Enable the instrumentation framework
137 This is much heavier weight than profiling
140 bool "Enable Experimental options"
143 This allows the selection of experimental features. This includes incomplete or unreviewed code.
144 Only enable this feature if you are working on the features in question.
145 IMPORTANT: Non-experimental code MUST NOT use, require, or rely on experimental features.
146 Any code that violates this will be immediately deleted without warning.
148 The purpose of this option is to allow features under development to be committed to the mainline
149 to more easily track changes and provide access to multiple developers
152 depends on EXPERIMENTAL
153 bool "Enable Vnet in Palacios"
156 Enable the Vnet in Palacios
159 depends on EXPERIMENTAL && VNET
160 bool "Enable Vnet Debug in Palacios"
163 Enable the Vnet debug in Palacios
166 depends on EXPERIMENTAL && VNET
167 bool "Enable Vnet Profiling in Palacios"
170 Enable the Vnet performance profiling in Palacios
172 config LINUX_VIRTIO_VNET
173 bool "Enable Virtio VNET interface"
175 depends on PCI && EXPERIMENTAL && VNET
177 Enable the Virtio VNET interface
179 config DEBUG_LINUX_VIRTIO_VNET
180 bool "VNET Virtio Device Debugging"
182 depends on LINUX_VIRTIO_VNET && DEBUG_ON
184 Enable debugging for the VNET Virtio Device
189 source "Kconfig.stdlibs"
192 menu "Virtual Paging"
195 bool "Enable shadow paging"
198 Enables shadow paging for virtual machines
201 config SHADOW_PAGING_VTLB
204 depends on SHADOW_PAGING
206 Enables Virtual TLB implemenation for shadow paging
209 config DEBUG_SHDW_PG_VTLB
210 bool "Enable VTLB debugging"
212 depends on SHADOW_PAGING_VTLB
214 Enables debugging messages for VTLB implementation
219 menu "Time Management"
222 config TIME_VIRTUALIZE_TSC
223 bool "Virtualize guest TSC"
226 Virtualize the processor time stamp counter in the guest,
227 generally increasing consistency between various time sources
228 but also potentially making guest time run slightly slower
231 config TIME_VIRTUAL_TSC_CONTROL
232 bool "Adjust virtual TSC towards real time when possible"
234 depends on TIME_VIRTUALIZE_TSC
236 Enables control of TSC virtualization so that the TSC
237 attempts to catch up with real time when possible
239 config TIME_MASK_OVERHEAD
240 bool "Hide virtualization overhead from guest timing"
242 depends on TIME_VIRTUALIZE_TSC
244 Try to mask the overhead of virtualization from guests
245 by not including it in the time updates. Can dramatically
246 slow virtual time compared to real time if VIRTUAL_TSC_CONTROL
251 menu "Symbiotic Functions"
254 bool "Enable Symbiotic Functionality"
257 Enable Symbiotic components of the VMM.
258 This includes the SymSpy interface.
261 bool "Symbiotic upcalls"
263 depends on SYMBIOTIC && EXPERIMENTAL
265 Enables the Symbiotic upcall interface
270 depends on SYMBIOTIC && SYMCALL && EXPERIMENTAL
272 This enables the SwapBypass architecture
274 config SWAPBYPASS_TELEMETRY
275 bool "Enable SwapBypass Telemetry"
277 depends on TELEMETRY && SWAPBYPASS
279 Enable the telemetry information for the SwapBypass subsystem
282 bool "Symbiotic Modules"
284 depends on EXPERIMENTAL
285 # depends on SYMBIOTIC
287 Enable Symbiotic module loading
294 menu "Debug configuration"
296 config CONFIG_DEBUG_INFO
297 bool "Compile with Debug information"
300 This adds the -g flag to the compilation flags
303 ## Is unwind information useful
306 bool "Enable Debugging"
309 This turns on debugging support
317 This turns on debugging for the AMD SVM-specific code
324 This turns on debugging for the Intel VT-specific code
327 config DEBUG_SHADOW_PAGING
332 This turns on debugging for the shadow paging system
335 config DEBUG_NESTED_PAGING
340 This turns on debugging for the nested paging system
343 config DEBUG_CTRL_REGS
344 bool "Control registers"
348 This turns on debugging for the control register handlers
351 config DEBUG_INTERRUPTS
356 This turns on debugging for the interrupt system
363 This turns on debugging of system time virtualization
370 This turns on debugging for the IO handlers
373 config DEBUG_EMULATOR
374 bool "Instruction Emulator"
378 This turns on debugging for the Instruction Emulator
386 This turns on debugging for the Xed Decoder
393 This turns on debugging for the halt instruction handler
396 bool "Device Manager"
400 This turns on debugging for the device manager
408 menu "BIOS Selection"
411 string "Path to pre-built ROMBIOS binary"
412 default "./bios/rombios/BIOS-bochs-latest"
414 This is the rombios that will be used for the guests
417 string "Path to pre-built VGABIOS binary"
418 default "./bios/vgabios/VGABIOS-lgpl-latest.bin"
420 This is the vgabios that will be used for the guests
422 config VMXASSIST_PATH
423 string "Path to pre-built VMXASSIST binary"
425 default "./bios/vmxassist/vmxassist.bin"
427 This is vmxassist image to boot real mode guests on
433 source "palacios/src/devices/Kconfig"