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_front device for new pci interfaces
authorPeter Dinda <pdinda@northwestern.edu>
Sat, 21 Apr 2012 00:14:59 +0000 (19:14 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sat, 21 Apr 2012 00:14:59 +0000 (19:14 -0500)
commita14428cd3b2c9ad74ab44e624f6263fc8847bebe
tree8873c9ef8375e0ca76ab9fab58d0fd49254722e0
parent832711d7dd475adcc5185c5d4e6f28702ba0949a
Updated pci_front device for new pci interfaces

Note that this device is likely to change significantly in
the future
palacios/src/devices/pci_front.c