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