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.
Changed semantics of guest page table drilling
Now a drill that terminates in guest data page that is not backed by
physical memory does not fail. Instead, the relevant hva will be
returned as zero. This change is needed to support some new lookups,
like gva_to_gpa where the gpa is in the middle of a full hook region
The previous semantics (fail when the above occurs) does not appear
to be used anywhere, so this change should not be consequential.
