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.
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main
