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.

projects / palacios-OLD.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: c71fc30)
Fix to MSR save/restore handling to avoid VMX ABORT errors
authorJack Lange <jacklange@cs.pitt.edu>
Thu, 17 Nov 2011 03:42:04 +0000 (22:42 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 17 Nov 2011 20:24:53 +0000 (15:24 -0500)
commit88648ddca6003a438826e7d86e28a2ba7b5bfcac
treea6dd603c4b692ba5c52dc2e21e17b3703e954328tree | snapshot
parentc71fc30eb921a0d155d578d609cabdeea9f99d40commit | diff
Fix to MSR save/restore handling to avoid VMX ABORT errors
palacios/include/palacios/vmx.h diff | blob | history
palacios/src/palacios/vmcs.c diff | blob | history
palacios/src/palacios/vmx.c diff | blob | history
Palacios Public Git Repository - Tracks Internal By 30 Minutes