4 bool "Support virtualized MTTRs"
7 Provides a virtualized set of MTTR registers
10 bool "Support machine-check functionality"
13 Provides a virtualized machine-check architecture
15 config DEBUG_EXT_MACH_CHECK
16 bool "Debug machine-check functionality"
18 depends on EXT_MACH_CHECK
20 Enable virtual machine-check architecture debugging
26 Provides the inspection extension
32 Provides a VMWare persona to allow TSC calibration
35 bool "EDF Real-time Scheduler"
38 Provides a full real-time EDF scheduler for VM cores
40 config DEBUG_EXT_SCHED_EDF
41 bool "Debugging for EDF Real-time Scheduler"
43 depends on DEBUG_ON && EXT_SCHED_EDF
45 config EXT_CPU_MAPPER_EDF
46 bool "CPU Mapper for EDF Scheduler"
49 Provides an CPU Mapper for EDF scheduler
51 config DEBUG_EXT_CPU_MAPPER_EDF
52 bool "Debugging for EDF CPU Mapper"
54 depends on DEBUG_ON && EXT_CPU_MAPPER_EDF