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...
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 3 Nov 2010 19:24:51 +0000 (14:24 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 3 Nov 2010 19:24:51 +0000 (14:24 -0500)
commita53aab83afda2e8357720a45dc08a220c61ddfaa
tree2b6e574a984fba78bda80683292055c8bc2ed69a
parentae4e727a7abfdb7df9cb93769a0799494ec75254
parent7ad718d4d85357b03df393e9176ce0ac73036782
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

Conflicts:

palacios/src/palacios/vmm.c