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.


added pae+64 bit page table access checks
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 31 Oct 2008 19:36:06 +0000 (14:36 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 31 Oct 2008 19:36:06 +0000 (14:36 -0500)
commita71d13e84ccd2ea959299c7f01513e6f9e593b7d
treeea3f7fc331b78e59c5761611069806ed97479f8d
parentf340744762cb6a6bf0116e2ad07b50a7e890780c
added pae+64 bit page table access checks
moved memory conversion functions to use new page table translate functions
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