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: 45990b1)
added runstate checks in barrier to allow locking operations to proceed when VM is...
authorJack Lange <jacklange@cs.pitt.edu>
Thu, 26 Jul 2012 20:34:40 +0000 (16:34 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 27 Jul 2012 18:44:23 +0000 (14:44 -0400)
commit3848474666fa030031e14b9fdea4caf886e034ca
tree56a4405bc1aad41ac7dd13fa8fc12a49cd0401cetree | snapshot
parent45990b15161a5d97d4e4b7c4caeb84afb933de98commit | diff
added runstate checks in barrier to allow locking operations to proceed when VM is not running
palacios/src/palacios/vmm_barrier.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project