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_SW_INTERRUPTS
- bool "Enable interception and hooking of software interrupts"
- default n
- help
- This feature will cause the VMM to intercept the execution
- of software interrupts (i.e. the INTn instruction) and enable
- any INT vector to be hooked. Extension name is "swintr_intercept"
+config EXT_VMWARE
+ bool "VMWare Persona"
+ default n
+ help
+ Provides a VMWare persona to allow TSC calibration
-config DEBUG_EXT_SW_INTERRUPTS
- bool "Enable debugging of software interrupt interception code"
- depends on EXT_SW_INTERRUPTS
- default n
- help
- This will enable useful debugging printouts for software
- intercept code
+config EXT_SCHED_EDF
+ bool "EDF Real-time Scheduler"
+ default n
+ help
+ Provides a full real-time EDF scheduler for VM cores
-config EXT_SWINTR_PASSTHROUGH
- bool "Hook all unhandled sofware interrupts for passthrough"
- depends on EXT_SW_INTERRUPTS
- default n
- help
- If enabled, this will cause all software interrupts
- (INT instruction vectors) to be hooked for passthrough.
- May reduce performance but useful for debugging.
+config DEBUG_EXT_SCHED_EDF
+ bool "Debugging for EDF Real-time Scheduler"
+ default n
+ depends on DEBUG_ON && EXT_SCHED_EDF
-config EXT_SYSCALL_HIJACK
- bool "Enable System Call Hijacking"
- depends on EXT_SW_INTERRUPTS
- default n
- help
- Enable the VMM to hijack system calls executed by the guest.
- If enabled, the VMM will hook execution of INT 80
+config EXT_CPU_MAPPER_EDF
+ bool "CPU Mapper for EDF Scheduler"
+ default n
+ help
+ Provides an CPU Mapper for EDF scheduler
-config DEBUG_EXT_SYSCALL_HIJACK
- bool "Enable Syscall Hijack Debug in Palacios"
- depends on EXT_SYSCALL_HIJACK
- default n
- help
- Enable Debugging printouts for syscall hijacking code
- in Palacios
+config DEBUG_EXT_CPU_MAPPER_EDF
+ bool "Debugging for EDF CPU Mapper"
+ default n
+ depends on DEBUG_ON && EXT_CPU_MAPPER_EDF
+
+config TM_FUNC
+ bool "Enable Intel RTM Emulation Support"
+ default n
+ help
+ Enable Palacios to emulate Intel's hardware
+ transactional memory extensions. This is the
+ Restricted Transactional Memory (RTM) featureset,
+ part of Intel's TSX extensions.
-config EXT_SYSCALL_PASSTHROUGH
- bool "Hook all unhandled system calls for passthrough"
- depends on EXT_SYSCALL_HIJACK
+config DEBUG_TM_FUNC
+ bool "Enable RTM debugging output"
+ depends on TM_FUNC
default n
help
- If enabled, this option will cause all system calls
- that are not explicitly hooked to be hooked for
- passthrough. This is useful for debugging.
+ Enable Transactional Memory debugging output
endmenu