Can genode run on Rpi 4 ?

[kimberly nNA]

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 ?

Thanks.

Sincerely,
Kimberly
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20190903/7278121f/attachment.html>