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 support for using large shadow pages with 32-bit 4MB page table entries
authorPatrick Bridges <bridges@apu.cs.unm.edu>
Thu, 12 Aug 2010 17:23:22 +0000 (11:23 -0600)
committerPatrick Bridges <bridges@apu.cs.unm.edu>
Thu, 12 Aug 2010 17:23:22 +0000 (11:23 -0600)
commitada3ad58ddc6747ea1062d6e9509a978389924c9
tree22dbf298d749c08ac16e6f5b814d8bbc8f5e060c
parent1fd0d9b438ed24410346ad7a4a23de70a6ad68ea
Added support for using large shadow pages with 32-bit 4MB page table entries
palacios/src/palacios/mmu/vmm_shdw_pg_tlb_32.h