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.


removed mask flag from capability API, and clarified PCI IRQ API
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 20 Apr 2012 18:04:03 +0000 (14:04 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 20 Apr 2012 18:04:03 +0000 (14:04 -0400)
commit832711d7dd475adcc5185c5d4e6f28702ba0949a
treeb98e46b6354d0f46469a3dfd2d8d9e2a31ee392f
parentac34ca9ba11d16963fe8d642a0d4e7dbfccd6c36
removed mask flag from capability API, and clarified PCI IRQ API
palacios/include/devices/pci.h
palacios/src/devices/pci.c