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.


add more permission checks to shadow paging
authorJack Lange <jarusl@cs.northwestern.edu>
Sat, 15 May 2010 00:29:18 +0000 (19:29 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Sat, 15 May 2010 00:29:18 +0000 (19:29 -0500)
commitc26a28a0070ca2aeedf58294d274be78d0991b05
tree8fbcf3b4ec4b82f7da45e2f6873146d918511170
parenta9a9f61d177898cdc22d3f4b88762d493290a7d4
add more permission checks to shadow paging
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