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: ac7e7ba)
added option to include debugging symbols in palacios library
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 21 Jan 2011 23:46:51 +0000 (17:46 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 21 Jan 2011 23:46:51 +0000 (17:46 -0600)
commit15dbc69e8f6cfe2821125700d5fb95f588a403a5
treebcff7e82553a5f307ea475147c4ac421c461a2eftree | snapshot
parentac7e7ba347053dd19a38a32b645c9b07c1962e97commit | diff
added option to include debugging symbols in palacios library
Kconfig diff | blob | history
Makefile diff | blob | history
Public Palacios Development Repository for the V3VEE Project