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: 746934f)
modified the shadow paging files to separate them based on CPU mode
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Feb 2009 20:13:04 +0000 (14:13 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Feb 2009 20:13:04 +0000 (14:13 -0600)
commit53f181096ad02cde9f79e30e2238ddad43ede574
tree370d2aa811593e9a29553e4ea2680ca68b96987btree | snapshot
parent746934f539c53c6fc687890c02ebf886c6873342commit | diff
modified the shadow paging files to separate them based on CPU mode
palacios/include/palacios/vmm_shadow_paging.h diff | blob | history
palacios/src/palacios/vmm_shadow_paging.c diff | blob | history
palacios/src/palacios/vmm_shadow_paging_32.h [new file with mode: 0644] blob
palacios/src/palacios/vmm_shadow_paging_32pae.h [new file with mode: 0644] blob
palacios/src/palacios/vmm_shadow_paging_64.h [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project