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 (Require Long Mode)
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 26 May 2014 21:20:01 +0000 (16:20 -0500)
committerroot <root@v-test-r415-3.localdomain>
Mon, 26 May 2014 21:20:01 +0000 (16:20 -0500)
commit4454a172129d12e97793c9c353339b85d3335af4
tree100054090cd086ca3eede4652dccd53fb22988c2
parenta7cacea293dbc2fbbbe36421054eff95f88390d4
Convert shadow paging to use 32 PAE (Require Long Mode)

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 change requires Palacios to be initialized and
run in long mode.   At minimum, we need PAE to be
available, and ideally, we want the version of PAE
developed for long mode to the one we use, not
the Intel legacy PAE stuff for 32 bit mode.

These patches need to be used together.
palacios/src/palacios/vmm.c