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>
Wed, 18 Mar 2009 00:15:58 +0000 (19:15 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 18 Mar 2009 00:15:58 +0000 (19:15 -0500)
commit8959164cd232ac155de0e7f99e0a664816bd8545
treeb4d7365f86bcf440f4f41e50bd541f27ddbdf934
parentb833efde7fb2b9e1e6d1ae086643d36188946516
updated pci
palacios/src/devices/pci.c