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.


some nested paging fixes
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 16 Jul 2008 00:12:16 +0000 (00:12 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 16 Jul 2008 00:12:16 +0000 (00:12 +0000)
commit8ee31494ea28d1756689574fb69791746daac3f3
tree65c2faff5bf76c6c62190ee99609b8e76e8f2e77
parenta6d96ef32940e95ae77dcf0fe415039703681a6f
some nested paging fixes
palacios/include/palacios/svm_handler.h
palacios/include/palacios/vm_guest.h
palacios/src/palacios/svm.c
palacios/src/palacios/svm_halt.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vm_guest_mem.c
palacios/src/palacios/vmm_ctrl_regs.c