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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 66b396a)
Fix bug setting bits in MSR bitmap for MSRs >= 0xC0000000
authorKevin Pedretti <ktpedre@sandia.gov>
Thu, 30 Jun 2011 00:23:34 +0000 (18:23 -0600)
committerKevin Pedretti <ktpedre@sandia.gov>
Thu, 30 Jun 2011 00:23:34 +0000 (18:23 -0600)
commit361b55b7eb2d33b092c7be0e5abf86ab6e0905e1
tree53e1d7e99d862687674d71511f57ebe994c00277tree | snapshot
parent66b396a1e89ad214c18ff9ebae9f803ab661aa46commit | diff
Fix bug setting bits in MSR bitmap for MSRs >= 0xC0000000
This fix allows EFER (MSR 0xC0000080) to be hooked successfully.
palacios/src/palacios/vmx_msr.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project