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.


more shadow paging changes
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 13 May 2008 21:39:40 +0000 (21:39 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 13 May 2008 21:39:40 +0000 (21:39 +0000)
commit9ed850393ba752a7c0bb83673b5ff98f9573f2da
tree633e5d99422b15cf64735a16656828446c1a7ca3
parentee0e39ad3467f981e379d749b96d4668b6490b80
more shadow paging changes
palacios/build/rombios
palacios/build/vm_kernel
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_paging.h
palacios/include/palacios/vmm_shadow_paging.h
palacios/src/palacios/vm_guest_mem.c
palacios/src/palacios/vmm_paging.c
palacios/src/palacios/vmm_shadow_paging.c