On Wednesday, 8 March 2017 at 13:50:28 UTC, Paulo Pinto wrote:
[...]I will just leave this here. https://muen.codelabs.ch/
This seems really cool, but I though seL4[1] were the first in the field.
Guess I'll have some more research to do :p [1] https://sel4.systems/
