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: c1e5fa5)
fix large page bug with no memory hooks in place
authorJack Lange <jacklange@cs.pitt.edu>
Thu, 8 Sep 2011 17:24:21 +0000 (13:24 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 8 Sep 2011 17:24:21 +0000 (13:24 -0400)
commitf558935cb19a60ac4ef6b13fa5d5c702cadb3282
tree0b4dacad6efa7bd5df9ce55562435e08c7056ddctree | snapshot
parentc1e5fa51e4f5b7055c677e2f9d5bc9808a32b351commit | diff
fix large page bug with no memory hooks in place
palacios/src/palacios/vmm_mem.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project