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.


Update to char_stream device for new stream interface changes
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 2 Aug 2013 21:07:31 +0000 (16:07 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 2 Aug 2013 21:40:41 +0000 (16:40 -0500)
commitd57f8d9bfe308d853e37f0eebd3fe58f04d8739b
tree79bd79248b32a1ed9528a05e0ea9cb89d6872ff0
parentb5380c0aecad02964d5aff23ab51979a063379ce
Update to char_stream device for new stream interface changes
palacios/src/devices/char_stream.c