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: b4e7d8d)
Revert mistakenly overwritten lazy FP change (no functional change)
authorPeter Dinda <pdinda@northwestern.edu>
Sun, 21 Sep 2014 20:13:01 +0000 (15:13 -0500)
committerroot <root@v-test-r415-3.localdomain>
Sun, 21 Sep 2014 20:14:56 +0000 (15:14 -0500)
commitf41eb8ea81fe04856e0939d0f6a7bec9564a8043
tree72a46a1e257686f2abc9546f64f086e83ca2a0d3tree | snapshot
parentb4e7d8dfa9d14865725acbc4fbac4a333bf5b769commit | diff
Revert mistakenly overwritten lazy FP change (no functional change)
linux_module/palacios-stubs.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project