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.


Partially functional Intel MP table support
[palacios-OLD.git] / Kconfig
diff --git a/Kconfig b/Kconfig
index 106d8fa..c94fcb0 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -15,6 +15,14 @@ config KITTEN
        help
          This enables the necesary options to compile Palacios with Kitten
 
+config LINUX
+       bool "Linux 2.6"
+       select BUILT_IN_STDLIB
+       select BUILT_IN_ATOI
+       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
+
 config MINIX
        bool "MINIX 3"
        help
@@ -24,6 +32,7 @@ config OTHER_OS
        bool "Other OS"
        help 
          Choose this to compile Palacios for a Generic Host OS
+          (Formerly GeekOS)
 
 endchoice