Hi Genodians,
I just wanted to give a quick update regarding my issue with the random output on the serial line when running a Genode image from uboot on a Raspberry Pi 3.
The issue was somehow caused by the Raspberry firmware. Downgrading to commit 204245361ea, which is the same version Tomasz used for his tests, fixed my problem. I have not identified yet which commit is actually responsible for the regression.
Thanks to everyone, especially Tomasz, for dedicating the time to assist me!
Best regards, Simon