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: 793f9cd)
keyed stream interface fixes
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 16 Sep 2011 20:49:40 +0000 (16:49 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 16 Sep 2011 20:49:40 +0000 (16:49 -0400)
commit04c1f687aa0839b01711be22250903852f1a1257
tree54db7617564c6d492f18358ad962775c6c760684tree | snapshot
parent793f9cd53a472668dbeb16341085e5512484485ccommit | diff
keyed stream interface fixes
palacios/src/palacios/vmm_chkpt_stores.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project