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.


updated host pci interface to support non-contiguous memory regions
authorJack Lange <jacklange@cs.pitt.edu>
Wed, 31 Jul 2013 22:01:10 +0000 (17:01 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sun, 4 Aug 2013 22:31:20 +0000 (17:31 -0500)
commitc088f810cb2c1f71996641f610adbb27ddd3ba3f
tree9dc8f049ae681be7cd1b606b323fa19408817277
parentb6b2ad0b5218d5719e991a93681a8c202eb312c5
updated host pci interface to support non-contiguous memory regions
linux_module/iface-host-pci-hw.h
palacios/include/interfaces/host_pci.h
palacios/src/interfaces/host_pci.c