Can genode run on Rpi 4 ?

[Tomasz Gajewski]

Stefan Kalkowski <stefan.kalkowski at 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