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>
Wed, 11 Aug 2010 15:41:59 +0000 (09:41 -0600)
committerPatrick Bridges <bridges@apu.cs.unm.edu>
Wed, 11 Aug 2010 15:41:59 +0000 (09:41 -0600)
commit8ad176c4dd55a8b32097d8da4f661ba2fd10ace2
tree23d6de95293b99aa2159d56bb30fa344fa13672b
parent0aed29b0f8c93d2bef57d589e8bf058445e89fc2
parent1242db041374fb8d6d09e692b6ab95f7b86319ac
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel
palacios/src/palacios/vmm_mem.c