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 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