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.


Convert shadow paging to use 32 PAE (Core)
authorChunxiao Diao, Daniel Zuo, Yuanbo Fan <chunxiaodiao2012@u.northwestern.edu>
Mon, 26 May 2014 20:54:18 +0000 (15:54 -0500)
committerroot <root@v-test-r415-3.localdomain>
Mon, 26 May 2014 20:54:18 +0000 (15:54 -0500)
commitc7dc4898f820a63f38c04add12f74d9ea1295ffc
treee42eaad13586d8e224e772a8cd588945b1eb6a18
parent4ca005982593fbdd7f4204ec9805b5f86edf5155
Convert shadow paging to use 32 PAE (Core)

This changes shadow paging to use, at minimum, 32PAE
shadow page tables.   This makes it possible to place
a guest using shadow paging anywhere in host physical
memory instead of just the first 4 GB

This first patch adds core functionality to the VTLB
pager, as well as change to CR4 handling.   The
other patches with this name need to be applied for
this to work.
Kconfig
palacios/include/palacios/vmm_shadow_paging.h
palacios/src/palacios/mmu/vmm_shdw_pg_tlb.c
palacios/src/palacios/mmu/vmm_shdw_pg_tlb_32.h
palacios/src/palacios/mmu/vmm_shdw_pg_tlb_32pae.h
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_paging_debug.h