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>
Fri, 7 Aug 2009 18:36:29 +0000 (13:36 -0500)
commita98c81f20b2579d31bb48bf47580809024a7901d
treef8b4c61cc7941c74867b6867e75ee9dba732477d
parentcc8a46c3523fd92c97fae8ba2433119a91a86441
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