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://bridges@newskysaw.cs.northwestern.edu/home/palacios...
authorPatrick Bridges <pgbridg@s912931.sandia.gov>
Thu, 29 Jul 2010 16:10:28 +0000 (10:10 -0600)
committerPatrick Bridges <pgbridg@s912931.sandia.gov>
Thu, 29 Jul 2010 16:10:28 +0000 (10:10 -0600)
commitfb07d68f106299921c46eaa5e609187cafad9919
tree6324c025a819c7b9a05eb9f2aba671dae7c510be
parent00fc14723ccdc218a89755cbf750167071d68b35
parent6a686aa0cf80126e77d4f0f3a0eb882a7d302ae0
Merge branch 'devel' of ssh://bridges@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel
palacios/src/palacios/vmm_config.c