[seL4] Muen

[Gergely Buday]

Hi,

how does Muen relate to seL4?

https://muen.codelabs.ch/

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

- Gergely

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel