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 host device framework to support PCI and other interrupt types
authorPeter Dinda <pdinda@northwestern.edu>
Sun, 27 Jul 2014 20:33:40 +0000 (15:33 -0500)
committerroot <root@v-test-r415-3.localdomain>
Mon, 25 Aug 2014 21:06:02 +0000 (16:06 -0500)
commitff0fec756f4800fe869f3dff2f164d3ffcfc83e6
tree83cb590a2514a54232213504fd499f2ac8466a10
parent8e4b89f4bc2e252e0c1bc7cbc52bf1f4ae2e538c
Update host device framework to support PCI and other interrupt types
linux_module/iface-host-dev.c
linux_module/iface-host-dev.h
linux_usr/v3_user_host_dev.c
linux_usr/v3_user_host_dev.h
linux_usr/v3_user_host_dev_example.c
palacios/include/interfaces/vmm_host_dev.h
palacios/src/devices/generic.c
palacios/src/devices/pci_front.c
palacios/src/interfaces/vmm_host_dev.c