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