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 shadow paging implementations over to new memory region flags structure
authorJack Lange <jarusl@cs.northwestern.edu>
Sat, 15 May 2010 00:03:45 +0000 (19:03 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Sat, 15 May 2010 00:03:45 +0000 (19:03 -0500)
commite59d15ae2aab909879f817c3f45400d92af98a43
treee5d27b4ae6c3e8dc1ea5707a316372fcfe94d935
parentfd9690bf0f032246f2d2c596e2467cccc45faff6
moved shadow paging implementations over to new memory region flags structure
palacios/src/palacios/mmu/vmm_shdw_pg_swapbypass_32.h
palacios/src/palacios/mmu/vmm_shdw_pg_swapbypass_64.h
palacios/src/palacios/mmu/vmm_shdw_pg_tlb_32.h
palacios/src/palacios/mmu/vmm_shdw_pg_tlb_64.h
palacios/src/palacios/vm_guest.c