Simon Himmelbauer himmelba@in.tum.de writes:
I actually used your guide to setup Genode on a Raspberry so before I continue, I wanted to thank you for this article.
It's really great to hear it is useful.
Anyway, I don't understand what I am doing wrong here. I followed your guide step-by-step with the exception of booting the image from the sd-card. My config looks very similar to yours (see below). However, I always receive garbage output. I think it must be a UART-issue of some sort. I investigated the Fiasco.OC-kernel code and found out that when the rpi3 configuration is used, it tries to compile a driver for the 16550 instead of the PL011, which is actually used in the RPi3 (unless I am misunderstanding something, I should add that most of this stuff is kind of new to me). Unfortunately, this did not fix the problem either but still, I added the changed files below for clarification.
Earlier you wrote that you're still on 19.05. Few days after this release Stefan made a commit 811410fdbb3fb9c41ef97ee480b2fe1678341a81 'foc: update to current github version (fix #3402)'
My advise for you would be to try current version or better 20.08 which I specifically pointed as a release on which I tested.
Could you share me your image to see whether I can get it to boot on my Pi as well?
No problem. But not earlier than tomorrow. Please let me know in case you succeed earlier with newer release - I think that very likely you will. I'm not entirely sure but I briefly remember that I also had problem with uart on foc. Actually when I tested it on Saturday I was a little surprised that it works now.
Regards Tomasz