X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=Kconfig;h=5288b22e5c9551d61773d96535397acd0834252b;hp=853c1e75c4c3f3237d7c5c8c202d889c6cffcee2;hb=3586c3bd6260bf79c57baebf66a26d7e8158d411;hpb=a48fed88738b625fea8a606f5b327d32db91f009

diff --git a/Kconfig b/Kconfig
index 853c1e7..5288b22 100644
--- 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