Serial Output on RaspberryPI

Norman Feske norman.feske at ...1...
Sat Jan 10 12:39:24 CET 2015

Hello Millo,

the fact that the serial output of your Rpi works with Linux but not
with base-hw leaves me puzzled. I followed the steps explained in [1]
using two different adapters pl2303mdl and [2] without problems.
However, I always connected the cable via USB to my host computer. Do
you happen to use the comport of your PC? If yes, maybe the
serial-to-USB conversion somehow hides a problem with our driver?


> How i can change the baudrate on Genode for RaspberryPI?

the baud rate is hard-coded to 115200. See the definition of 'BAUD_RATE'
in base-hw/src/core/

For reference, the UART driver is located at


Dr.-Ing. Norman Feske
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list