Supported ARM devices

[Yevgeny Lavrov]

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: <http://lists.genode.org/pipermail/users/attachments/20161024/714ae116/attachment.html>