7 Sep
2019
7 Sep
'19
5:32 a.m.
Hi, how does Muen relate to seL4? https://muen.codelabs.ch/ e.g. it claims to be the first verified microkernel. - Gergely