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 updates to fix multicore and unrestricted guest issues
authorJack Lange <jacklange@cs.pitt.edu>
Wed, 25 Apr 2012 21:57:31 +0000 (17:57 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 25 Apr 2012 23:23:24 +0000 (19:23 -0400)
commita686a57429dcd9fa2f701228227dadcd096df8ed
tree701d155e0c75b8f9eb5fafabe8e3ad79c3518b5e
parentbffe755bffeb1a4f2833c2a0b610032d5897eca0
VMX updates to fix multicore and unrestricted guest issues
palacios/include/palacios/vmm_types.h
palacios/include/palacios/vmx.h
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmx.c
palacios/src/palacios/vmx_assist.c
palacios/src/palacios/vmx_ctrl_regs.c