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: e406238)
some renaming
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 9 Nov 2010 21:09:44 +0000 (15:09 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 9 Nov 2010 21:09:44 +0000 (15:09 -0600)
commit4cc7f00cbe637224fb12baaf0e95f8b0040eb7bd
tree73d6dd0681c26494a3acd1d751d74cae15ef6e3etree | snapshot
parente4062388960d7fbe39e980b1b06226861e93d0b3commit | diff
some renaming
palacios/src/devices/Kconfig diff | blob | history
palacios/src/devices/Makefile diff | blob | history
palacios/src/devices/char_stream.c [moved from palacios/src/devices/stream.c with 98% similarity] diff | blob | history
Public Palacios Development Repository for the V3VEE Project