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 to simplify callback setup
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 16 Mar 2009 06:00:00 +0000 (01:00 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 16 Mar 2009 06:00:00 +0000 (01:00 -0500)
commit11bbd0b954aa7ee9fe8007e6207e876074c79f44
treeaea93fae0b2fc5ac5249b31eeeebc79fcc61a960
parentc0ec5d15ba364fce338a9649d828a813ebab2234
updated pci to simplify callback setup
palacios/include/devices/pci.h
palacios/include/devices/pci_types.h
palacios/src/devices/pci.c