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.


fixed shadow paging up to the next error
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 22 Oct 2008 18:47:48 +0000 (13:47 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 22 Oct 2008 18:47:48 +0000 (13:47 -0500)
commit8f73ff87ab96b79b87854a2135c16b81cff879a3
tree1816e7aec75f98b4a79ea7cb0df3757b2b25ba46
parent2ff2b6c0456f332f5dfbaffdf943c07765709173
fixed shadow paging up to the next error
palacios/include/palacios/vmm.h
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vm_guest_mem.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_mem.c