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.


added decoder support for cr0 write handler
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 25 Jul 2008 20:10:48 +0000 (20:10 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 25 Jul 2008 20:10:48 +0000 (20:10 +0000)
commit07820ee58e9b356341ce86cd2b2938d3abef60c9
treeeed27ab88a52d0d8fdf863c4210ae027e3da6c9d
parentd0534dc3a0dc459971b2cdfd423dfb9a4f06a08b
added decoder support for cr0 write handler
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_ctrl_regs.h
palacios/include/palacios/vmm_decoder.h
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm_ctrl_regs.c
palacios/src/palacios/vmm_decoder.c
palacios/src/palacios/vmm_xed.c