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.


VMX 64-bit guest support. Add exit handling for CR4 and EFER accesses.
authorKevin Pedretti <ktpedre@sandia.gov>
Thu, 7 Jul 2011 16:09:22 +0000 (10:09 -0600)
committerKevin Pedretti <ktpedre@sandia.gov>
Thu, 7 Jul 2011 16:09:22 +0000 (10:09 -0600)
commita7b07dc7f3bd9c28b0fbfb3c685a306326d56e76
treef78bfd2df2f3143ebba04bf6b0479e68d5fdbff4
parent1d5e0fcea2007c9f068cded1e98d17c80a306a19
VMX 64-bit guest support. Add exit handling for CR4 and EFER accesses.
palacios/include/palacios/vmcs.h
palacios/include/palacios/vmx_ctrl_regs.h
palacios/src/palacios/svm.c
palacios/src/palacios/vmcs.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmx.c
palacios/src/palacios/vmx_ctrl_regs.c
palacios/src/palacios/vmx_handler.c