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.


added different pci device types
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 16 Mar 2009 19:20:50 +0000 (14:20 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 16 Mar 2009 19:20:50 +0000 (14:20 -0500)
commit2137016ed7c531b573ef8aef0d0d545d75a01098
treee93b661349bd4e3c9b709bf96d18052a5447dfbe
parentdd3f7ea6cca033e643e66176c08896f0ea5de9e9
added different pci device types
palacios/include/devices/pci.h
palacios/src/devices/pci.c