Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


significant refactoring of RTM emulation code
[palacios.git] / palacios / src / extensions / Kconfig
index 088e571..897d368 100644 (file)
@@ -12,7 +12,7 @@ config EXT_MACH_CHECK
        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
@@ -25,54 +25,48 @@ config EXT_INSPECTOR
        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