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.


imported updated PCI devicE
authorJack Lange <jarusl@cs.northwestern.edu>
Sat, 14 Mar 2009 04:25:07 +0000 (23:25 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Sat, 14 Mar 2009 04:25:07 +0000 (23:25 -0500)
commit5272218deefc2398bad5ec31f78934268c5b6be8
treef61f7458c99692d201b2b99c7c4e34e75a327f32
parent13103a78ed1840c7933a5bbafb128f3d33fc0639
imported updated PCI devicE
palacios/include/devices/pci.h [new file with mode: 0644]
palacios/include/devices/pci_types.h [new file with mode: 0644]
palacios/src/devices/pci.c [new file with mode: 0644]