Can genode run on Rpi 4 ?

[Stefan Kalkowski]

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