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.


updated pci
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 31 Mar 2009 18:27:00 +0000 (13:27 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 31 Mar 2009 18:27:00 +0000 (13:27 -0500)
commitbc98195a63d8cb1d109eeaa72f57f468c6c9581e
tree32bba701277dba2b5ec8f3eeb495f9783c5f5026
parent72933e9f7ae22ef28481e29027509f961816351e
updated pci
palacios/include/devices/pci.h