24 Oct
2016
24 Oct
'16
4:43 p.m.
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.