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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: f829059)
Correct key name in pci save/restore
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 19 Jun 2012 20:41:01 +0000 (15:41 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Tue, 19 Jun 2012 20:41:01 +0000 (15:41 -0500)
commit91a4db3c4b06db6a44aa0daeaab750df666d5d79
tree15141d6188530c8aa5bdadd5f488516efa12e044tree | snapshot
parentf82905971510d5b2f1e2155f89711ade381de628commit | diff
Correct key name in pci save/restore
palacios/src/devices/pci.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project