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: 5aa80b4)
Gears userspace utilities
authorKyle Hale <kh@u.northwestern.edu>
Fri, 13 Apr 2012 21:52:34 +0000 (16:52 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 13 Apr 2012 21:52:34 +0000 (16:52 -0500)
commitfd1de839d257d3ed2f0a8f27d231432b166b2cc1
tree47388dcc3af673d93e2a35e65a5bf820e89a7e7btree | snapshot
parent5aa80b40b7bd2ab3e2de1f9cb6851cdec6963f79commit | diff
Gears userspace utilities
linux_usr/v3_env_inject.c [new file with mode: 0644] blob
linux_usr/v3_top_inject.c [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project