menu "Extensions"
-config EXT_VTIME
- bool "Enable Time virtualization"
- default n
- help
- Enables the timer virtualization extensions. These hide the cost of
- running inside the VMM context. This can aid the consistency of
- time between multiple timers, but can cause the guest to run
- a good bit slower than the host in VM-intensive parts of the code.
-
-
-config EXT_VTSC
- bool "Fully virtualize guest TSC"
- default n
- depends on EXT_VTIME
- help
- Virtualize the processor time stamp counter in the guest,
- generally increasing consistency between various time sources
- but also potentially making guest time run slower than real time.
-
config EXT_MTRRS
bool "Support virtualized MTTRs"
default n
help
Provides a virtualized machine-check architecture
-config DEGUB_EXT_MACH_CHECK
+config DEBUG_EXT_MACH_CHECK
bool "Debug machine-check functionality"
default n
depends on EXT_MACH_CHECK
help
Provides the inspection extension
+config EXT_VMWARE
+ bool "VMWare Persona"
+ default n
+ help
+ Provides a VMWare persona to allow TSC calibration
+
+config EXT_SCHED_EDF
+ bool "EDF Real-time Scheduler"
+ default n
+ help
+ Provides a full real-time EDF scheduler for VM cores
+
+config DEBUG_EXT_SCHED_EDF
+ bool "Debugging for EDF Real-time Scheduler"
+ default n
+ depends on DEBUG_ON && EXT_SCHED_EDF
+
+config EXT_CPU_MAPPER_EDF
+ bool "CPU Mapper for EDF Scheduler"
+ default n
+ help
+ Provides an CPU Mapper for EDF scheduler
+
+config DEBUG_EXT_CPU_MAPPER_EDF
+ bool "Debugging for EDF CPU Mapper"
+ default n
+ depends on DEBUG_ON && EXT_CPU_MAPPER_EDF
+
endmenu
