j
k
j a
j l
https://puri.sm/shop/librem-5/
A seL4 port for that platform might be nice...
-- cmr http://octayn.net/ +16038524272
Attachments:
Show replies by date
devel@sel4.systems
Add to favorites Remove from favorites