7 Sep
2019
7 Sep
'19
1:32 p.m.
Hi,
how does Muen relate to seL4?
e.g. it claims to be the first verified microkernel.
- Gergely