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.


slight modifications to the shadow paging handlers
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Feb 2009 20:50:55 +0000 (14:50 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Feb 2009 20:50:55 +0000 (14:50 -0600)
commit2222a18071be7f4f665206a1bfa274b8f27f4fcc
treeb872d228c647995e8a98bdf981d412245b9d0bd9
parent42fa79cec8ed9c44392a71c6253edab3abcb900e
slight modifications to the shadow paging handlers
palacios/src/palacios/vmm_shadow_paging.c
palacios/src/palacios/vmm_shadow_paging_32.h
palacios/src/palacios/vmm_shadow_paging_32pae.h
palacios/src/palacios/vmm_shadow_paging_64.h