X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Finterfaces%2FKconfig;h=d2962a64e1c9f6b3e6cd1c650ad57019b3b477d8;hb=a5264d4dcf50d633e01e92dba62a5cf00c3bae2a;hp=61a79655beea3e2d50d5fac30a14e69f302a1b93;hpb=4fefacc8951fd57a8f5609cf149eb3e5710dee73;p=palacios.git

diff --git a/palacios/src/interfaces/Kconfig b/palacios/src/interfaces/Kconfig
index 61a7965..d2962a6 100644
--- a/palacios/src/interfaces/Kconfig
+++ b/palacios/src/interfaces/Kconfig
@@ -68,5 +68,12 @@ config HOST_DEVICE
           This makes it possible for virtual devices such as the generic device and the pci_front
           device to make host-based device implementations appear within the guest
           
+config HOST_HYPERCALL
+       bool "Host hypercall support"
+       default n
+       help
+          Select this if you would like to make it possible
+          to register host-based implementations of hypercalls,
+          for example, implemented in Linux kernel modules
 
 endmenu