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.


updated Linux host defaults
Jack Lange [Thu, 5 Aug 2010 18:50:24 +0000 (13:50 -0500)]
Kconfig

diff --git a/Kconfig b/Kconfig
index 8ab4403..0e87296 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -21,6 +21,7 @@ config LINUX
        bool "Linux 2.6"
        select BUILT_IN_STDLIB
        select BUILT_IN_ATOI
+       select FILE
        help
          This enables the necessary options to compile Palacios with Linux 2.6
           Currently, this is in development, and only 2.6.32 is verified to work