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: 20bc460)
cleaned up 32 bit shadow paging implementation
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Feb 2009 22:38:21 +0000 (16:38 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Feb 2009 22:38:21 +0000 (16:38 -0600)
commit99681a48f662b5a8371f20b255b3789012d2a9fa
treeefe94725182fba316fa39cb4ace209a9dee6efe3tree | snapshot
parent20bc4609abbb47d0f1b0cbc48e960700ed7232f9commit | diff
cleaned up 32 bit shadow paging implementation
palacios/include/palacios/vmm_paging.h diff | blob | history
palacios/src/palacios/vmm_shadow_paging_32.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project