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.


revamped the INVLPG handler
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Feb 2009 20:45:02 +0000 (14:45 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 3 Feb 2009 20:45:02 +0000 (14:45 -0600)
commit42fa79cec8ed9c44392a71c6253edab3abcb900e
tree7c9069c981cd11ba6780a512309c1b65ead04f1f
parent53f181096ad02cde9f79e30e2238ddad43ede574
revamped the INVLPG handler
palacios/include/palacios/vmm_decoder.h
palacios/include/palacios/vmm_paging.h
palacios/include/palacios/vmm_shadow_paging.h
palacios/src/palacios/vmm_shadow_paging.c
palacios/src/palacios/vmm_shadow_paging_32.h
palacios/src/palacios/vmm_shadow_paging_32pae.h
palacios/src/palacios/vmm_shadow_paging_64.h
palacios/src/palacios/vmm_xed.c