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@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@lists.genode.org
https://lists.genode.org/listinfo/users