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.


modified pci io hooks to not use the dev_io hooks, which are too constrictive
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 9 Sep 2009 22:35:26 +0000 (17:35 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 9 Sep 2009 22:35:26 +0000 (17:35 -0500)
commit8a441df14ef65bb559ce090249343ec1dac1a7fc
tree07878577b8a26cb16f2a96c4a585e8cf608ea779
parente8c6db81c1ad76fab0f6a783c03654145e41599d
modified pci io hooks to not use the dev_io hooks, which are too constrictive
palacios/include/devices/pci.h
palacios/src/devices/ide.c
palacios/src/devices/lnx_virtio_balloon.c
palacios/src/devices/lnx_virtio_blk.c
palacios/src/devices/lnx_virtio_sym.c
palacios/src/devices/pci.c