MP009 Enguerrand Decorne Enguerrand on hacking with mirageOS LINKS: 04:41 Inria 04:43 Ocsigen 05:41 Canopy 06:30 ocaml-git 10:53 L4 10:57 Solo5 11:02 Microkernel 11:48 AWS Lambda