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.


changes to direct passthrough pagefault handlers
authorSteven Jaconette <jacones@u.northwestern.edu>
Mon, 23 Feb 2009 05:44:04 +0000 (23:44 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 23 Feb 2009 05:44:04 +0000 (23:44 -0600)
commita568601e28c34c590815d1d2a16e85fbca352ebd
tree35c34fc1124d2bb4b0152bda9dc5f565c48ff9bc
parente23bd2c015e987882091e8e4d24f119247b3d1a9
changes to direct passthrough pagefault handlers
palacios/include/palacios/vmm_direct_paging.h
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_direct_paging.c
palacios/src/palacios/vmm_direct_paging_32.h
palacios/src/palacios/vmm_direct_paging_32pae.h [new file with mode: 0644]