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.


updated msr map to allow early hooking
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 14 Sep 2009 19:18:44 +0000 (14:18 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 14 Sep 2009 19:21:18 +0000 (14:21 -0500)
commitc3714b74821dffe63b2fdcf10d8fe614c5ac9bb1
tree26cdeab0180b77309bc5a1f0905bca8c166aa3a2
parentbf9d843e65ef72688da11ea6d1216909729395b3
updated msr map to allow early hooking
palacios/include/palacios/vmm_msr.h
palacios/src/palacios/svm_msr.c
palacios/src/palacios/vmm_msr.c
palacios/src/palacios/vmx_msr.c