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 ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
authorPatrick Bridges <bridges@apu.cs.unm.edu>
Thu, 9 Jun 2011 16:50:42 +0000 (10:50 -0600)
committerPatrick Bridges <bridges@apu.cs.unm.edu>
Thu, 9 Jun 2011 16:50:42 +0000 (10:50 -0600)
commit5d67a000f2d9e0043237af7c86eecd034119fe93
tree2b2ffd025aa1f1c01ab308aaec321fab2191cf0d
parent3676fa947d261206ceff968e4f6b5956900ed277
parentae06bda339f919423d0a2291759850dcee3f85da
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel
palacios/src/palacios/svm.c
palacios/src/palacios/vmx.c