7 Sep
2019
7 Sep
'19
1:32 p.m.
Hi, how does Muen relate to seL4? https://muen.codelabs.ch/ e.g. it claims to be the first verified microkernel. - Gergely
2391
Age (days ago)
2391
Last active (days ago)
1 comments
2 participants
participants (2)
-
Gergely Buday -
Klein, Gerwin (Data61, Kensington NSW)