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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c41a37)
Use vmalloc for guest copy allocation
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 19 May 2011 22:59:40 +0000 (17:59 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 19 May 2011 22:59:40 +0000 (17:59 -0500)
commit861ce318738e31181f20286c9669979acf0f62d3
tree9ef0625113d607402dafc09fc9accdac613812b6tree | snapshot
parent7c41a3718424da8aba44c68fe2445d6d7be147cacommit | diff
Use vmalloc for guest copy allocation
linux_module/palacios-dev.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project