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?
[1] http://elinux.org/RPi_Serial_Connection [2] http://www.ftdichip.com/Products/Cables/RPi.htm > 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/console.cc: https://github.com/genodelabs/genode/blob/master/repos/base-hw/src/core/console.cc For reference, the UART driver is located at base/include/drivers/uart/pl011_base.h: https://github.com/genodelabs/genode/blob/master/repos/base/include/drivers/uart/pl011_base.h Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth ------------------------------------------------------------------------------ Dive into the World of Parallel Programming! The Go Parallel Website, sponsored by Intel and developed in partnership with Slashdot Media, is your hub for all things parallel software development, from weekly thought leadership blogs to news, videos, case studies, tutorials and more. Take a look and join the conversation now. http://goparallel.sourceforge.net _______________________________________________ genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
