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.


Update to the device framework.
authorJack Lange <jarusl@cs.northwestern.edu>
Sat, 25 Jul 2009 05:31:08 +0000 (00:31 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Sat, 25 Jul 2009 05:31:08 +0000 (00:31 -0500)
commit37c18b2c2335a41c68c2f0b779fd2b7d51ab216d
tree381476d69af7858ae3764f8dbaa2e1c14653ad89
parent0160025157d9bc39687eb0c5df6cb3d965d20e07
Update to the device framework.
This creates a global device registration space, that is used to create a hash table of all available devices.
A guest can instantiate and configure a device based on a hash of the device name.

This should make guest configuration much more straight forward.
57 files changed:
palacios/build/Makefile
palacios/include/devices/8237_dma.h [deleted file]
palacios/include/devices/8254.h [deleted file]
palacios/include/devices/8259a.h [deleted file]
palacios/include/devices/apic.h
palacios/include/devices/bochs_debug.h [deleted file]
palacios/include/devices/generic.h
palacios/include/devices/i440fx.h [deleted file]
palacios/include/devices/ide.h
palacios/include/devices/io_apic.h [deleted file]
palacios/include/devices/keyboard.h [deleted file]
palacios/include/devices/lnx_virtio.h
palacios/include/devices/ne2k.h [deleted file]
palacios/include/devices/net_cd.h
palacios/include/devices/net_hd.h
palacios/include/devices/nvram.h [deleted file]
palacios/include/devices/os_debug.h [deleted file]
palacios/include/devices/para_net.h [deleted file]
palacios/include/devices/pci.h
palacios/include/devices/piix3.h [deleted file]
palacios/include/devices/ram_cd.h
palacios/include/devices/ram_hd.h
palacios/include/devices/serial.h [deleted file]
palacios/include/devices/simple_pic.h [deleted file]
palacios/include/devices/sym_swap.h [deleted file]
palacios/include/devices/timer.h [deleted file]
palacios/include/palacios/vm_dev.h [deleted file]
palacios/include/palacios/vmm_dev_mgr.h
palacios/src/devices/8237_dma.c
palacios/src/devices/8254.c
palacios/src/devices/8259a.c
palacios/src/devices/apic.c
palacios/src/devices/bochs_debug.c
palacios/src/devices/generic.c
palacios/src/devices/i440fx.c
palacios/src/devices/ide.c
palacios/src/devices/io_apic.c
palacios/src/devices/keyboard.c
palacios/src/devices/lnx_virtio_blk.c
palacios/src/devices/ne2k.c
palacios/src/devices/net_cd.c
palacios/src/devices/net_hd.c
palacios/src/devices/nvram.c
palacios/src/devices/os_debug.c
palacios/src/devices/para_net.c
palacios/src/devices/pci.c
palacios/src/devices/piix3.c
palacios/src/devices/ram_cd.c
palacios/src/devices/ram_hd.c
palacios/src/devices/serial.c
palacios/src/devices/simple_pic.c
palacios/src/devices/sym_swap.c
palacios/src/devices/timer.c
palacios/src/palacios/vm_dev.c [deleted file]
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_dev_mgr.c