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: dd1906a)
fixed vmcs guest pointer check location
authorJack Lange <jacklange@cs.pitt.edu>
Thu, 21 Apr 2011 19:18:54 +0000 (14:18 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 21 Apr 2011 19:18:54 +0000 (14:18 -0500)
commit8f8feb4e743fa906919d43acc1e2013638837162
treed7cf0d7a5d42e1b4534f86f1f56842052bfd39b0tree | snapshot
parentdd1906aa28e83656da7025456e6f046bbe7712f4commit | diff
fixed vmcs guest pointer check location
palacios/src/palacios/vmx.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project