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