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: 182ea63)
Direct paging changes
authorSteven Jaconette <jacones@u.northwestern.edu>
Fri, 6 Feb 2009 05:39:55 +0000 (23:39 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 6 Feb 2009 06:36:36 +0000 (00:36 -0600)
commit496b928649b2a63c3e21e099ce914ec00b3d7227
treee27243bb4923c3e4c18a9255c67c6f2b40715e5atree | snapshot
parent182ea639d7389d7e7e660055a4c460bf8a712ecfcommit | diff
Direct paging changes
palacios/build/Makefile diff | blob | history
palacios/include/palacios/vmm_direct_paging.h [new file with mode: 0644] blob
palacios/src/palacios/svm.c diff | blob | history
palacios/src/palacios/vmm_direct_paging.c [new file with mode: 0644] blob
palacios/src/palacios/vmm_direct_paging_32.h [new file with mode: 0644] blob
palacios/src/palacios/vmm_shadow_paging.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project