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.


pci_front bugfix - do not propagate cmd reg write twice
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 8 Jun 2015 20:00:26 +0000 (15:00 -0500)
committerroot <root@v-test-r415-3.localdomain>
Mon, 8 Jun 2015 20:00:26 +0000 (15:00 -0500)
commit0246f0904a4800dbe1e8e23332d49b468a58f751
treeaf6bb057d0067210b4193d46aebdd74423675dbc
parent0bb7a0bae401c985aa4cbeab32c57d29f7652e75
pci_front bugfix - do not propagate cmd reg write twice
palacios/src/devices/pci_front.c