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.


Enlarge serial buffer size to comply to line buffering of serial console
authorLei Xia <lxia@northwestern.edu>
Tue, 13 Sep 2011 15:15:03 +0000 (10:15 -0500)
committerLei Xia <lxia@northwestern.edu>
Tue, 13 Sep 2011 15:15:03 +0000 (10:15 -0500)
commitd6c39d69e162e32b158d7014f902f281cd7753f5
tree5f907aed306cb5658b845754683e840550de53e5
parenta7f18b04b625362bd7696a5e693cbcebc1c540ea
Enlarge serial buffer size to comply to line buffering of serial console
palacios/src/devices/serial.c