[seL4] interesting i.MX8 hardware

[Corey Richardson]

https://puri.sm/shop/librem-5/

A seL4 port for that platform might be nice...

--
cmr
http://octayn.net/
+16038524272


_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel