can we have seL4 on USB Armory? seems like a perfect pairing @AndreaBarisani
@whitequark well there's genode from @GenodeLabs ;)
-
-
@AndreaBarisani I don't think Genode has a formal proof of security? -
@whitequark@AndreaBarisani Genode is an OS/Windowing framework that is kind of "kernel agnostic", can e.g. be run on L4 or other ukernel.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.