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' into timer_control
authorPatrick G. Bridges <pgbridg@sandia.gov>
Mon, 25 Oct 2010 19:28:47 +0000 (13:28 -0600)
committerPatrick G. Bridges <pgbridg@sandia.gov>
Mon, 25 Oct 2010 19:28:47 +0000 (13:28 -0600)
commita0a992e712cc27186b64663d46414a8c7b111ca8
treeae860f2a581d893824a5cff9bf0377619dc3a9e3
parent208c31198a01d66589ff6e50d77da14c8dd91d71
parentf6063d2297d9f96351d33332634400284809125b
Merge branch 'devel' into timer_control
Kconfig
palacios/src/palacios/vmm_config.c