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.


functional but broken 64 bit paging
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 4 Feb 2009 04:30:10 +0000 (22:30 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 4 Feb 2009 04:30:10 +0000 (22:30 -0600)
commit3a47eb153e415d718e5d5601b79767b7335a149f
tree1303cdece8e56145bf3c4717cfc75956a02b3980
parentbce4e326ef3e3e9f9a0bd2fd06254c0d8edb8437
functional but broken 64 bit paging
palacios/src/palacios/vmm_paging.c
palacios/src/palacios/vmm_shadow_paging.c
palacios/src/palacios/vmm_shadow_paging_32.h
palacios/src/palacios/vmm_shadow_paging_64.h