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 checkpoint and restore support for 8254 (PIT)
[palacios-OLD.git] / Kconfig
diff --git a/Kconfig b/Kconfig
index 8b94c4d..cd0774e 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -30,6 +30,7 @@ config LINUX_BUILTIN
 config LINUX
        bool "Linux Module"
        select BUILT_IN_STDLIB
+       select BUILT_IN_STRDUP
        select BUILT_IN_ATOI
        select FILE
        select V3_DECODER
@@ -130,12 +131,27 @@ config FILE
        help
          Select this if your host OS supports file operatoins and you want Palacios to be able to use them.
 
+config KEYED_STREAMS
+       bool "Host support for keyed streams"
+       default n
+       help
+         Select this if your host OS supports keyed streams
+          Palacios Checkpoint/Restore and Migration depends on this feature
 
 config CONSOLE
-       bool "Host Support for VM console"
+       bool "Host Support for VM text-mode console"
        default n
        help 
          Select this if you want to forward a guest console interface to some host OS service
+          This is for a TEXT MODE console.   Select the framebuffer console for graphics and text
+
+config GRAPHICS_CONSOLE
+       bool "Host Support for VM graphics and text-mode console based on a frame buffer"
+       default n
+       help 
+         Select this if you want to forward a guest graphics-mode (and text-mode) console 
+          interface to some host OS service.  This is for a GRAPHICS console based on a shared frame buffer.
+          Text mode output is RENDERED onto the framebuffer
 
 config SOCKET
         bool "Host support for Network Sockets"