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 slightly slower than the host.
238 config TIME_HIDE_EXIT_COST
239 bool "Hide VMM Exit Cost"
241 depends on TIME_HIDE_VM_COST
243 Add additional TSC offset to hide VMM exit costs from the guest.
245 config TIME_EXIT_COST_ADJUST
246 int "Exit cost adjustment for hiding VM exits"
248 depends on TIME_HIDE_EXIT_COST
250 Amount to adjust the time to hide the exit cost of fully virtualizing
251 the timestamp counter. Used to hide the cost of fully virtualizing
252 the TSC for OSes that assume that reading the TSC is inexpensive
253 (e.g. Linux TSC-based timer calibration).
255 config TIME_VIRTUALIZE_TSC
256 bool "Fully virtualize guest TSC"
259 Virtualize the processor time stamp counter in the guest,
260 generally increasing consistency between various time sources
261 but also potentially making guest time run slower than real time.
265 menu "Symbiotic Functions"
268 bool "Enable Symbiotic Functionality"
271 Enable Symbiotic components of the VMM.
272 This includes the SymSpy interface.
275 bool "Symbiotic upcalls"
277 depends on SYMBIOTIC && EXPERIMENTAL
279 Enables the Symbiotic upcall interface
284 depends on SYMBIOTIC && SYMCALL && EXPERIMENTAL
286 This enables the SwapBypass architecture
288 config SWAPBYPASS_TELEMETRY
289 bool "Enable SwapBypass Telemetry"
291 depends on TELEMETRY && SWAPBYPASS
293 Enable the telemetry information for the SwapBypass subsystem
296 bool "Symbiotic Modules"
298 depends on EXPERIMENTAL
299 # depends on SYMBIOTIC
301 Enable Symbiotic module loading
308 menu "Debug configuration"
310 config CONFIG_DEBUG_INFO
311 bool "Compile with Debug information"
314 This adds the -g flag to the compilation flags
317 ## Is unwind information useful
320 bool "Enable Debugging"
323 This turns on debugging support
331 This turns on debugging for the AMD SVM-specific code
338 This turns on debugging for the Intel VT-specific code
341 config DEBUG_SHADOW_PAGING
346 This turns on debugging for the shadow paging system
349 config DEBUG_NESTED_PAGING
354 This turns on debugging for the nested paging system
357 config DEBUG_CTRL_REGS
358 bool "Control registers"
362 This turns on debugging for the control register handlers
365 config DEBUG_INTERRUPTS
370 This turns on debugging for the interrupt system
377 This turns on debugging of system time virtualization
384 This turns on debugging for the IO handlers
387 config DEBUG_EMULATOR
388 bool "Instruction Emulator"
392 This turns on debugging for the Instruction Emulator
400 This turns on debugging for the Xed Decoder
407 This turns on debugging for the halt instruction handler
410 bool "Device Manager"
414 This turns on debugging for the device manager
422 menu "BIOS Selection"
425 string "Path to pre-built ROMBIOS binary"
426 default "./bios/rombios/BIOS-bochs-latest"
428 This is the rombios that will be used for the guests
431 string "Path to pre-built VGABIOS binary"
432 default "./bios/vgabios/VGABIOS-lgpl-latest.bin"
434 This is the vgabios that will be used for the guests
436 config VMXASSIST_PATH
437 string "Path to pre-built VMXASSIST binary"
439 default "./bios/vmxassist/vmxassist.bin"
441 This is vmxassist image to boot real mode guests on
447 source "palacios/src/devices/Kconfig"