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.


added invlpg support
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 19 May 2008 23:45:27 +0000 (23:45 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 19 May 2008 23:45:27 +0000 (23:45 +0000)
commit639fdba00d36b2a60fad3d28703459354cf8744f
treef710bd84a92d583d6ce17ec27f6665657aa5061b
parentd16ef42bba84c7fe88352e5dc23e5e70a5207e29
added invlpg support
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_paging.h
palacios/include/palacios/vmm_shadow_paging.h
palacios/src/geekos/vm.c
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/svm_io.c
palacios/src/palacios/vm_guest_mem.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_paging.c
palacios/src/palacios/vmm_shadow_paging.c