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.


cleanup...
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 10 Nov 2009 21:25:08 +0000 (15:25 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 10 Nov 2009 21:25:08 +0000 (15:25 -0600)
commit445de568353835d155ea96a163bb3459405b6446
tree8fbab072846d45b07869111fecd4e4ac0ed1ec80
parent00873eb2dcc088d5b7470e25ab24b43560335a05
cleanup...
palacios/include/devices/vnet.h
palacios/src/devices/vnet.c