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
54 menu "Symbiotic Functions"
57 bool "Enable Symbiotic Functionality"
60 Enable Symbiotic components of the VMM
67 menu "Debug configuration"
69 config CONFIG_DEBUG_INFO
70 bool "Compile with Debug information"
73 This adds the -g flag to the compilation flags
76 ## Is unwind information useful
79 bool "Enable Debugging"
82 This turns on debugging support
85 config DEBUG_SHADOW_PAGING
90 This turns on debugging for the shadow paging system
93 config DEBUG_NESTED_PAGING
98 This turns on debugging for the nested paging system
101 config DEBUG_CTRL_REGS
102 bool "Control registers"
106 This turns on debugging for the control register handlers
109 config DEBUG_INTERRUPTS
114 This turns on debugging for the interrupt system
123 This turns on debugging for the IO handlers
126 config DEBUG_EMULATOR
127 bool "Instruction Emulator"
131 This turns on debugging for the Instruction Emulator
139 This turns on debugging for the Xed Decoder
146 This turns on debugging for the halt instruction handler
149 bool "Device Manager"
153 This turns on debugging for the device manager
161 menu "BIOS Selection"
164 string "Path to pre-built ROMBIOS binary"
165 default "./bios/rombios/BIOS-bochs-latest"
167 This is the rombios that will be used for the guests
170 string "Path to pre-built VGABIOS binary"
171 default "./bios/vgabios/VGABIOS-lgpl-latest.bin"
173 This is the vgabios that will be used for the guests
175 config VMXASSIST_PATH
176 string "Path to pre-built VMXASSIST binary"
178 default "./bios/vmxassist/vmxassist.bin"
180 This is vmxassist image to boot real mode guests on
186 source "palacios/src/devices/Kconfig"