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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a18505)
added user space symbol inclusion to Kconfig
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 5 Nov 2010 22:38:51 +0000 (17:38 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 5 Nov 2010 22:38:51 +0000 (17:38 -0500)
commitd711597b8c58d3d06b860462bf965e59dd4f3452
tree0b7cca33f3885f9935b60e2289aac5e4a43a8719tree | snapshot
parent4a1850562c2308305175b54609997cd587a0ff06commit | diff
added user space symbol inclusion to Kconfig
Kconfig.stdlibs diff | blob | history
palacios/lib/i386/v3-xed-compat.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project