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.


first cut at nested paging
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 25 Mar 2009 21:36:44 +0000 (16:36 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 25 Mar 2009 21:36:44 +0000 (16:36 -0500)
commit1fe82881720f7f9f64f789871f763aca93b47a7e
tree1e8b7d55b2b86962b27d64e451bd05b108b1ac2f
parent61d51be2ae5c4ba6d6824204d5a7136f21dd7d38
first cut at nested paging
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_direct_paging.h
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_direct_paging.c
palacios/src/palacios/vmm_direct_paging_32.h
palacios/src/palacios/vmm_direct_paging_32pae.h
palacios/src/palacios/vmm_direct_paging_64.h