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.releases.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 2421b81)
Corrected write ordering in device manager state save to conform with stream requirements
authorMadhav Suresh <madhav@u.northwestern.edu>
Fri, 18 May 2012 17:17:33 +0000 (12:17 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 18 May 2012 17:17:33 +0000 (12:17 -0500)
commitdd60e1fd40cdf258bd988239c5dcda8861a5bbb5
treeb815969383d19d82486b28594f1f5b17eadd49d4tree | snapshot
parent2421b8184fcb5a3960f69b0daa50520978638562commit | diff
Corrected write ordering in device manager state save to conform with stream requirements
palacios/src/palacios/vmm_dev_mgr.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project