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.


Linux compatibility fixes
authorKyle Hale <kh@u.northwestern.edu>
Fri, 25 Sep 2015 19:39:50 +0000 (14:39 -0500)
committerroot <root@v-test-r415-3.localdomain>
Sun, 27 Sep 2015 18:42:33 +0000 (13:42 -0500)
commita8686374c6aa74d805b32e7675f42f7ab9a0b348
treef74cbfd70337d888919e8373e150337be5301f29
parent42b80fddfbfea5c5603b71d80d3e2ba2a53a2074
Linux compatibility fixes

This includes some changes for proc, vfs, and IOMMU code to account
for interfaces changes in Linux
linux_module/buddy.c
linux_module/iface-file.c
linux_module/iface-host-pci-hw.h
linux_module/main.c
linux_module/palacios.h