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.


Enhanced user-space memory interface, allowing dynamic kernel-allocations
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 2 Aug 2013 00:48:12 +0000 (19:48 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sun, 4 Aug 2013 22:31:20 +0000 (17:31 -0500)
commit37c08f88840030dae5893a8ad148262f3e08e9be
tree3e11ab358184ca5a3a5931e4e0ef1ea193126856
parent84c84a909e8c3374e2cd7768ef4240ca9d73222f
Enhanced user-space memory interface, allowing dynamic kernel-allocations
linux_module/main.c
linux_module/palacios.h
linux_usr/v3_ctrl.h
linux_usr/v3_guest_mem.c
linux_usr/v3_mem.c