Can genode run on Rpi 4 ?

[Stefan Kalkowski]

Hi Kimberly,

On Tue, Sep 03, 2019 at 06:09:35PM +0800, kimberly nNA wrote:
> Hi,
> 
> Thank you so much.
> I tried it :
> genode 19.08
> $ make run/demo KERNEL=hw
> $ /usr/local/genode/tool/19.05/bin/genode-aarch64-objcopy -Obinary
> image.elf armv8a_1908_demo.img
> 
> Build success but failed to run demo on rpi 3 B+...
> (Raspberry pi3+ stuck on rainbow screen.)

the demo run-script is not intended to work on rpi 3 B+, because the
framebuffer driver is missing, but more important the USB-HID driver
won't work right now. This is part of a long-term investigation done
when time permits, see:

  https://github.com/genodelabs/genode/issues/3247

But you can run less I/O bound test scripts to see whether the kernel
and non-drivers are working in general, e.g., the log.run script.

Best regards
Stefan

> 
> Best regards
> Kimberly
> 
> 
> 
> Stefan Kalkowski <stefan.kalkowski at genode-labs.com> 於 2019年9月3日 週二 下午4:51寫道：
> 
> > Hi Kimberly,
> >
> > On Tue, Sep 03, 2019 at 02:29:25PM +0800, kimberly nNA wrote:
> > > Dear Genode team,
> > >
> > > On  rpi 3 B+, and genode version is
> > > https://github.com/tomga/genode/tree/rpi3bplus_19.02
> > > In this case, it can run demo.run.
> > >
> > > How about rpi 4 ?
> > > Will you support this ARM board ?
> >
> > At Genode Labs there is no plan to support it in the near future. But
> > maybe Tomasz is planning to do so?
> >
> > Apart from that, I can imagine that introducing limited support for
> > rpi 4 is pretty much straight forward work to do, now that ARMv8 is
> > integral part of the Genode OS framework (see release 19.08 that
> > includes rpi 3 support in our own kernel). If you like to try it on
> > your own, I'll be glad to support you.
> >
> > Best regards
> > Stefan
> >
> > >
> > > Thanks.
> > >
> > > Sincerely,
> > > Kimberly
> >
> > > _______________________________________________
> > > Genode users mailing list
> > > users at lists.genode.org
> > > https://lists.genode.org/listinfo/users
> >
> >
> > --
> > Stefan Kalkowski
> > Genode labs
> >
> > https://github.com.skalk | https://genode.org
> >
> > _______________________________________________
> > Genode users mailing list
> > users at lists.genode.org
> > https://lists.genode.org/listinfo/users

> _______________________________________________
> Genode users mailing list
> users at lists.genode.org
> https://lists.genode.org/listinfo/users


-- 
Stefan Kalkowski
Genode labs

https://github.com.skalk | https://genode.org