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.


comment fix
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 24 May 2010 23:16:31 +0000 (18:16 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 24 May 2010 23:16:31 +0000 (18:16 -0500)
commit783951c04308678c060613460b808e757794c909
tree54fe00b4c0d638b358638ab938d03360ebb28b4f
parent5739471716b3f008f1b47a2826c7b8bc54ad6b62
comment fix
palacios/src/devices/pci_passthrough.c