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.


Force Linux backend to allocate memory pages from lower address
authorLei Xia <lxia@northwestern.edu>
Thu, 7 Apr 2011 22:31:06 +0000 (17:31 -0500)
committerLei Xia <lxia@northwestern.edu>
Thu, 7 Apr 2011 22:31:06 +0000 (17:31 -0500)
commit4f0062ca2730a58b9f9cca67303c47c573cbcf76
treecc1c64f28e24925609fc4015a0eb58ab6f695898
parent06d03d7a409436fc010ece4b0473364d5e269884
Force Linux backend to allocate memory pages from lower address
linux_module/palacios-mm.c