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.


fixed scan error
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 16 Mar 2009 15:55:04 +0000 (10:55 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 16 Mar 2009 15:55:04 +0000 (10:55 -0500)
commit0571f2369394b543798185df0a248eb581b0757d
tree3846d85151071c2398e703b529d605fb613239eb
parent11bbd0b954aa7ee9fe8007e6207e876074c79f44
fixed scan error
palacios/src/devices/pci.c