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 cpuid hooking
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 18 Sep 2009 22:34:52 +0000 (17:34 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 18 Sep 2009 22:34:52 +0000 (17:34 -0500)
commitc06413341bf1dca02f22c0502fa5c2d1c2c11eab
tree97bacf2fc5757a81100a57a618a0dfa391c53607
parentee5d4a193aacdda000a10119e957bac4141b5452
added cpuid hooking
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm_cpuid.h [new file with mode: 0644]
palacios/include/palacios/vmm_lowlevel.h
palacios/src/palacios/Makefile
palacios/src/palacios/svm.c
palacios/src/palacios/svm_handler.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmm_cpuid.c [new file with mode: 0644]
palacios/src/palacios/vmx.c
palacios/src/palacios/vmx_handler.c