Basic HVM data structures and functions

[palacios.git] / Kconfig

diff --git a/Kconfig b/Kconfig
index 853c1e7..5288b22 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -185,7 +185,7 @@ config LAZY_FP_SWITCH
           and restored on each entry---this save/restore is entirely
           done in Palacios.
           
-          
+
 endmenu
 
 source "palacios/src/extensions/Kconfig"
@@ -416,6 +416,28 @@ endmenu
 
 source "palacios/src/gears/Kconfig"
 
+
+menu "HVM" 
+
+config HVM
+       bool "Support Hybrid Virtual Machines"
+       default n
+       help 
+          If set, it is possible to make VMs that are partitioned
+          (cores, memory, devices, hardware access, etc) into 
+          a part ("the ROS") that supports normal VM operation and
+          a part ("the HRT") that supports Hybrid Run-Times,
+          for example Nautilus-based HRTs for parallel languages.
+
+config DEBUG_HVM
+        depends on HVM
+        bool "Enable HVM debugging in Palacios"
+        default n
+        help
+          Enable HVM debugging output
+
+endmenu
+
 menu "Debug configuration"
 
 ## Is unwind information useful