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.


changed the CR3 conversion macros to be physical/virtual address specific
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 29 Oct 2008 19:04:51 +0000 (14:04 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 29 Oct 2008 19:04:51 +0000 (14:04 -0500)
commita0c519f730b179ea90b3f3ac861133906b4f8645
tree3dfd73c27dfbbff25743d9d43f9f0c123ec459aa
parentf1d070a7d98fea4d37069555d653e37524f50ac8
changed the CR3 conversion macros to be physical/virtual address specific
palacios/include/palacios/vmm_paging.h
palacios/src/palacios/vm_guest_mem.c
palacios/src/palacios/vmm_paging.c
palacios/src/palacios/vmm_shadow_paging.c