Supported ARM devices

Yevgeny Lavrov ylavrov13 at ...9...
Mon Oct 24 18:43:51 CEST 2016

Hello. My current task is to bring Genode, preferably with seL4 on ARM. Can
you please provide me a list of supported ARM devices, or recommend an ARM
device that would be the best suited for this task. Thank you.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list