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.


don't let PCI BAR updates go through when device IO-space disabled
authorKyle Hale <kh@u.northwestern.edu>
Mon, 24 Mar 2014 17:43:16 +0000 (12:43 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sun, 6 Apr 2014 21:26:16 +0000 (16:26 -0500)
commit95a09f3e974f23d8e3d20b3a333f5c07631be17d
treeda2c29c896c1b7ea04d6e227fceda1b41dd25442
parentf2b335d52378f2df90738e450ceacca598e2178a
don't let PCI BAR updates go through when device IO-space disabled
palacios/src/devices/pci.c