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
61 bool "Compile with Debug Information"
64 Compiles the Palacios library with debugging symbols
67 menu "Supported host OS features"
70 bool "Host support for multiple threads"
73 Select this if your OS supports multiple threads of execution. This will enable features in Palacios
74 to require the creation of additional execution threads.
77 config ALIGNED_PG_ALLOC
78 bool "Host support for aligned page allocations"
81 Select this if your OS supports allocating memory pages using an alignment. This is required
82 if you want Palacios to run with large page table pages.
85 int "Maximum number of cpus"
89 Specifies the maximum number of hardware CPUs supported by the OS
90 For uniprocessor environments, set this to 1
93 bool "Host Support for file operations"
96 Select this if your host OS supports file operatoins and you want Palacios to be able to use them.
100 bool "Host Support for VM console"
103 Select this if you want to forward a guest console interface to some host OS service
106 bool "Host support for Network Sockets"
109 Select this if you host OS implements a socket API that is available to Palacios. This is required
110 to support the internal networking features of Palacios.
114 bool "Host support for Raw Packet Transmision"
115 depends on EXPERIMENTAL
118 Select this if you host OS implements a raw packet network API that is available to Palacios. This is required
119 to support the internal networking features of Palacios.
126 bool "Enable VMM telemetry support"
129 Enable the telemetry framework in Palacios
131 This is a framwork that allows components of palacios to record
132 information that is periodically reported to the log output.
133 Telemetry is automatically collected for vmexits. Subsystem telemetry
134 is configured separately
137 config SHADOW_PAGING_TELEMETRY
138 bool "Enable Shadow Paging Telemetry"
142 Enable telemetry information for shadow paging
147 bool "Enable Experimental options"
150 This allows the selection of experimental features. This includes incomplete or unreviewed code.
151 Only enable this feature if you are working on the features in question.
152 IMPORTANT: Non-experimental code MUST NOT use, require, or rely on experimental features.
153 Any code that violates this will be immediately deleted without warning.
155 The purpose of this option is to allow features under development to be committed to the mainline
156 to more easily track changes and provide access to multiple developers
159 depends on EXPERIMENTAL
160 bool "Enable Vnet in Palacios"
163 Enable the Vnet in Palacios
166 depends on EXPERIMENTAL && VNET
167 bool "Enable Vnet Debug in Palacios"
170 Enable the Vnet debug 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 "Virtio VNET Interface Debugging"
182 depends on LINUX_VIRTIO_VNET && DEBUG_ON
184 Enable debugging for the VNET Virtio interface
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
216 config SHADOW_PAGING_CACHE1
217 bool "Shadow Page Cache (1)"
219 depends on SHADOW_PAGING
221 Enables caching implemenation for shadow paging
227 menu "Time Management"
229 config TIME_HIDE_VM_COST
230 bool "Hide VMM Run Cost"
233 Offset guest time from host time sufficiently to hide the cost of
234 running in the virtual machine. This can aid the consistency of
235 time between multiple timers, but can cause the guest to run
236 a good bit slower than the host in VM-intensive parts of the code.
238 config TIME_VIRTUALIZE_TSC
239 bool "Fully virtualize guest TSC"
242 Virtualize the processor time stamp counter in the guest,
243 generally increasing consistency between various time sources
244 but also potentially making guest time run slower than real time.
248 menu "Symbiotic Functions"
251 bool "Enable Symbiotic Functionality"
254 Enable Symbiotic components of the VMM.
255 This includes the SymSpy interface.
258 bool "Symbiotic upcalls"
260 depends on SYMBIOTIC && EXPERIMENTAL
262 Enables the Symbiotic upcall interface
267 depends on SYMBIOTIC && SYMCALL && EXPERIMENTAL
269 This enables the SwapBypass architecture
271 config SWAPBYPASS_TELEMETRY
272 bool "Enable SwapBypass Telemetry"
274 depends on TELEMETRY && SWAPBYPASS
276 Enable the telemetry information for the SwapBypass subsystem
279 bool "Symbiotic Modules"
281 depends on EXPERIMENTAL
282 # depends on SYMBIOTIC
284 Enable Symbiotic module loading
291 menu "Debug configuration"
293 config CONFIG_DEBUG_INFO
294 bool "Compile with Debug information"
297 This adds the -g flag to the compilation flags
300 ## Is unwind information useful
303 bool "Enable Debugging"
306 This turns on debugging support
314 This turns on debugging for the AMD SVM-specific code
321 This turns on debugging for the Intel VT-specific code
324 config DEBUG_SHADOW_PAGING
329 This turns on debugging for the shadow paging system
332 config DEBUG_NESTED_PAGING
337 This turns on debugging for the nested paging system
340 config DEBUG_CTRL_REGS
341 bool "Control registers"
345 This turns on debugging for the control register handlers
348 config DEBUG_INTERRUPTS
353 This turns on debugging for the interrupt system
360 This turns on debugging of system time virtualization
367 This turns on debugging for the IO handlers
370 config DEBUG_EMULATOR
371 bool "Instruction Emulator"
375 This turns on debugging for the Instruction Emulator
383 This turns on debugging for the Xed Decoder
390 This turns on debugging for the halt instruction handler
393 bool "Device Manager"
397 This turns on debugging for the device manager
405 menu "BIOS Selection"
408 string "Path to pre-built ROMBIOS binary"
409 default "./bios/rombios/BIOS-bochs-latest"
411 This is the rombios that will be used for the guests
414 string "Path to pre-built VGABIOS binary"
415 default "./bios/vgabios/VGABIOS-lgpl-latest.bin"
417 This is the vgabios that will be used for the guests
419 config VMXASSIST_PATH
420 string "Path to pre-built VMXASSIST binary"
422 default "./bios/vmxassist/vmxassist.bin"
424 This is vmxassist image to boot real mode guests on
430 source "palacios/src/devices/Kconfig"