X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=Kconfig;fp=Kconfig;h=24b64809b5352ae26e7c3bc80bbf5fdddb8974f6;hp=ba89fa95b51837079a7995b8aff18ff382490c8b;hb=d85300ed95766164d14a7f3b6c1c681b8b9a9c52;hpb=f2a53228fe453dcc66700d9a48129d5fe4514816

diff --git a/Kconfig b/Kconfig
index ba89fa9..24b6480 100644
--- a/Kconfig
+++ b/Kconfig
@@ -3,7 +3,7 @@ mainmenu "Palacios VMM Configuration"
 menu "Target Configuration"
 
 
-choice
+choice 
 	prompt "Target Host OS"
 	default KITTEN
 
@@ -726,6 +726,29 @@ config HVM
           a part ("the HRT") that supports Hybrid Run-Times,
           for example Nautilus-based HRTs for parallel languages.
 
+choice 
+	prompt "HVM Magic Upcall Mechanism"
+	default HVM_UPCALL_MAGIC_GPF
+
+config HVM_UPCALL_MAGIC_GPF
+	bool "GPF"
+	help
+	 Upcall using a #GP with a well-known magic error code
+
+config HVM_UPCALL_MAGIC_PF
+	bool "Page Fault"
+	help
+	 Upcall using a #PF with a well-known magic address and error code
+
+config HVM_UPCALL_MAGIC_SWINT
+	bool "Software interrupt"
+	help
+	 Upcall using a software interrupt with a vector specified by 
+         the VM's configuration
+endchoice
+
+	
+
 config DEBUG_HVM
         depends on HVM
         bool "Enable HVM debugging in Palacios"