Thanks for your quick reply!
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.
Ah, that makes sense, well, then I guess there is no way around, I will try to update to the latest version.
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.
Thanks, I will try to upgrade to a newer Genode version first though, which might take some time. I will report back whether this solved the issue or not so your image might not be necessary anymore.
You pointed to a mail about L4Re and it is not really relevant here. Framebuffer driver for Rpi1 is in Genode for a very long time and in my working branch [0] there is a version that works on rpi3. Currently my work multi rpi support is somewhat in the void due to unresolved yet regression in usb driver which blocks support for almost all communication mouse, keyboard and network.
I see, I thought framebuffer support is a kernel responsibility and not part of Genode or L4Re.
Best regards, Simon
On 10.11.20 21:54, Tomasz Gajewski wrote:
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