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.


New Shadow paging implementation to allow pluggable shadow paging implementations
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 4 Feb 2010 21:30:50 +0000 (15:30 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 4 Feb 2010 21:30:50 +0000 (15:30 -0600)
commit926e4e742c02e6f1255c8da243494c8bbddbf752
treed1d13e1628f63728a24dbed7c39bfbec50c66b89
parentf1e6da297651aadbc037f1635a82f41285a0a424
New Shadow paging implementation to allow pluggable shadow paging implementations
13 files changed:
Kconfig
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_shadow_paging.h
palacios/src/palacios/Makefile
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_shadow_paging.c
palacios/src/palacios/vmm_shdw_pg_swapbypass.c [new file with mode: 0644]
palacios/src/palacios/vmm_shdw_pg_tlb.c [new file with mode: 0644]
palacios/src/palacios/vmm_shdw_pg_tlb_32.h [new file with mode: 0644]
palacios/src/palacios/vmm_shdw_pg_tlb_32pae.h [moved from palacios/src/palacios/vmm_shadow_paging_32pae.h with 100% similarity]
palacios/src/palacios/vmm_shdw_pg_tlb_64.h [new file with mode: 0644]