Re: Can genode run on Rpi 4 ?

Stefan Kalkowski stefan.kalkowski@genode-labs.com writes:

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?

I did not have any free time in summer months but I hope I'll be able to get back to work on rpi support. Support for rpi 4 is something I'd like to work on too but it is a little further on my todo list - mostly because I think it will take more time.

Regards Tomasz