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.


moved guest_efer from top level guest_info to the shadow page state
authorJack Lange <jarusl@cs.northwestern.edu>
Sun, 26 Apr 2009 22:58:19 +0000 (17:58 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Sun, 26 Apr 2009 22:58:19 +0000 (17:58 -0500)
commit6dee811714540921f73487de80e069decb80c602
tree0c22322ff084124ac8a08907a9b0422f3d887180
parenteb374e3056008d7be7119e2217f1ab1802f444d2
moved guest_efer from top level guest_info to the shadow page state
palacios/include/palacios/vmm_shadow_paging.h
palacios/src/palacios/svm.c
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_shadow_paging.c