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: b44db8f)
added symmod linked script
authorJack Lange <jacklange@cs.pitt.edu>
Mon, 2 May 2011 21:56:10 +0000 (16:56 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Mon, 2 May 2011 21:56:10 +0000 (16:56 -0500)
commit77fd4bb17bf91ab3b7d54ef2a5f51c4280342b90
treeb846070c5aea9cb45384fffa7e20707bb561c3edtree | snapshot
parentb44db8fef71ea6c1c996b6c1fb162f61317a53becommit | diff
added symmod linked script
linux_module/ld.symmod.cmd [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project