X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Finterfaces%2FKconfig;h=d2962a64e1c9f6b3e6cd1c650ad57019b3b477d8;hb=e3b62e7befa086a4fb320890952f54667ee46329;hp=270509a4563c9e7759cf997872753d93ff011fa4;hpb=aec065bb54946223ac3c64817408466433fd9413;p=palacios.git

diff --git a/palacios/src/interfaces/Kconfig b/palacios/src/interfaces/Kconfig
index 270509a..d2962a6 100644
--- a/palacios/src/interfaces/Kconfig
+++ b/palacios/src/interfaces/Kconfig
@@ -13,6 +13,16 @@ config KEYED_STREAMS
           Select this if your host OS supports keyed streams
           Palacios Checkpoint/Restore and Migration depends on this feature
 
+config KEYED_STREAMS_WITH_TAGS
+	bool "Keyed streams will be written in verbose tagged style when std save/load macros are in use"
+    	default n
+        depends on KEYED_STREAMS
+	help
+          Select this if you want the standard save and load macros
+          (STD_SAVE, STD_LOAD) to write to streams in the format:
+          [magic cookie][tag len][tag][data len][data] instead of the
+          default format of [data]
+
 config STREAM
 	bool "Stream support"
 	default n
@@ -58,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