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.


Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
authorLei Xia <lxia@northwestern.edu>
Wed, 3 Nov 2010 20:03:52 +0000 (15:03 -0500)
committerLei Xia <lxia@northwestern.edu>
Wed, 3 Nov 2010 20:03:52 +0000 (15:03 -0500)
commit01d142cec24e5054d8d86e5dba1eff7f5b008c72
tree2a3230a9e03d3c3ced5dc8eaf130edb940af137d
parent8330d6bb32172ba7c50b4e242e0213c8a9e1424e
parent7ad718d4d85357b03df393e9176ce0ac73036782
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

Conflicts:

palacios/src/palacios/vmm.c
palacios/src/devices/Kconfig
palacios/src/devices/Makefile