Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


added state checks for VM control commands
[palacios.git] / palacios / src / interfaces / Kconfig
index 270509a..d2962a6 100644 (file)
@@ -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