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>
Thu, 1 Sep 2011 15:30:07 +0000 (10:30 -0500)
committerLei Xia <lxia@northwestern.edu>
Thu, 1 Sep 2011 15:30:07 +0000 (10:30 -0500)
commita489c2ba0f26f4be1fa98d4af2c2bfa113c28dde
tree72a9e90cd0f2ce018d40386675cfaf4c5713828f
parent5c16780e3eb5e4ef59de8e929e2528bb07fce5ec
parented7cae62acb31ddd833c7efb0f6cda1b4915e7cb
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel
linux_module/palacios-stubs.c
linux_module/vm.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmx.c