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 eb646bc..897d368 100644 (file)
@@ -53,4 +53,20 @@ config DEBUG_EXT_CPU_MAPPER_EDF
        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 DEBUG_TM_FUNC
+    bool "Enable RTM debugging output"
+    depends on TM_FUNC
+    default n
+    help
+        Enable Transactional Memory debugging output
+
 endmenu