Hi Simon,

On 10.11.20 21:12, Simon Himmelbauer wrote:

config.txt:

enable_uart=1
arm_64bit=1
init_uart_baud=115200
kernel=u-boot.bin

does it work with the following line?

init_uart_clock=3000000

I remembered it being mentioned on the mailing list in the past with regard to serial output issues.

Christian

Hi Christian,

yeah, I have tried to add this line as well but it didn't make any difference. I followed Tomasz suggestion and set up a Genode 20.08 environment. I used the provided "hello_tutorial" as a test image and unfortunately, I still receive garbage output on the uart, even when changing the Fiasco.OC kernel to the Genode ("hw") kernel.

Is there anything else I can try? My next idea would be to compile some older version of u-boot in order to see whether this fixes my problem. Other than that, I don't really know where to look at anymore.

Best regards,
Simon