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.


change pci devices to be more generic.
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 18 Nov 2009 03:54:41 +0000 (21:54 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 18 Nov 2009 03:54:41 +0000 (21:54 -0600)
commitafb2a35b2e15ba0fa932c4e49a3678f958a4502a
tree3b3bb4fd45ff4d257e5abb4e415d642fe9b3c9f9
parentfe36af6238917000f4cc8b971829e347732df598
change pci devices to be more generic.
added support for multiple linux virtio block device
palacios/include/devices/pci.h
palacios/src/devices/i440fx.c
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
palacios/src/devices/pci_passthrough.c
palacios/src/devices/piix3.c