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 0bd9d15..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
@@ -50,4 +60,20 @@ config PACKET
           to support the internal networking features of Palacios.
 
 
+config HOST_DEVICE
+        bool "Host device support"
+        default n
+       help
+          Select this if you want to forward a guest device to a host-based decice implementation
+          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