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.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: c73fbe1)
fix the VMCS invalid field error when read VMCS_GUEST_EFER
authorLei Xia <lxia@northwestern.edu>
Wed, 30 Mar 2011 00:25:11 +0000 (19:25 -0500)
committerLei Xia <lxia@northwestern.edu>
Wed, 30 Mar 2011 00:25:11 +0000 (19:25 -0500)
commit11d8d6df0e3b09140c18ff01153a890eee5cd71c
tree9dc7ff076718df20c011b5a9534c93149f0595a7tree | snapshot
parentc73fbe1bce9b5f0dda395d73b9a251dfc5357df7commit | diff
fix the VMCS invalid field error when read VMCS_GUEST_EFER
palacios/include/palacios/vmx_lowlevel.h diff | blob | history
palacios/src/palacios/vmcs.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project