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: a4fd5bc)
Minor fixes
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 9 Jun 2014 23:01:46 +0000 (18:01 -0500)
committerroot <root@v-test-r415-3.localdomain>
Mon, 9 Jun 2014 23:02:53 +0000 (18:02 -0500)
commit10446dafcbc15a8aa1639c52b5996f814ed37f27
tree5326995bd3429f5a776135fb276da6ca56676e2ctree | snapshot
parenta4fd5bcc79e7cdf9a3bd879294566bff0666ced7commit | diff
Minor fixes

- friendlier yield in vtime
- VMM launch observes started vcores (from checkpoint resume with >1 vcores)
palacios/src/extensions/ext_vtime.c diff | blob | history
palacios/src/palacios/vmm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project