https://puri.sm/shop/librem-5/
A seL4 port for that platform might be nice...
--
cmr
http://octayn.net/
+16038524272