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.


fixes for the virtio block device
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 7 Aug 2009 18:36:29 +0000 (13:36 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 11 Aug 2009 21:13:10 +0000 (16:13 -0500)
commit4eb8163fe76127f9748caa43f8ffad1e4d739bb8
tree4ae4e7ca350094af056c752292cdcf486158d26e
parent1df1d51642fd023684326023459da17765b428ce
fixes for the virtio block device
includes fixes for PCI interrupt routing
palacios/include/devices/lnx_virtio_pci.h
palacios/include/devices/pci.h
palacios/src/devices/lnx_virtio_balloon.c
palacios/src/devices/lnx_virtio_blk.c
palacios/src/devices/os_debug.c
palacios/src/devices/pci.c
palacios/src/devices/piix3.c
palacios/src/devices/sym_swap.c