how does Muen relate to seL4?

e.g. it claims to be the first verified microkernel.

- Gergely