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 <[email protected]> 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
_______________________________________________
Genode users mailing list
[email protected]
https://lists.genode.org/listinfo/users
