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...
authorLei Xia <lxia@northwestern.edu>
Sun, 6 Feb 2011 06:51:56 +0000 (00:51 -0600)
committerLei Xia <lxia@northwestern.edu>
Sun, 6 Feb 2011 06:51:56 +0000 (00:51 -0600)
commit5e81abea907908ab9bdc0cb57a3537f05db77b5e
tree800f84ec682306eacce5f6c8dae5b0694a4224b7
parente49df33562b190c348b3a117044136c704442c6b
parent08acd192b161e69bc47414ee615e674d7736dd9c
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel
palacios/include/palacios/vmm_dev_mgr.h