Running Genode on a Raspberry Pi 3

[Simon Himmelbauer]

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