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.


Debugging output changes to pci_front
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 29 Jun 2015 18:31:18 +0000 (13:31 -0500)
committerroot <root@v-test-r415-3.localdomain>
Mon, 29 Jun 2015 18:31:18 +0000 (13:31 -0500)
commit9452a96dc7cfcadaa81a32a36acc1a95bc1844db
tree9061a82f8cd1a875ee0992bb1ec5383fdb51a188
parent6b9abb54ebafd8266f1711b803ccb027675a465f
Debugging output changes to pci_front
palacios/src/devices/pci_front.c