Joking aside, this could be an exciting endeavor given how much robust software and tooling that INRIA alone has cranked out. Looking at their stuff, the French OS would probably be XtreemOS on Bertin&#x27;s hypervisor with trusted components rewritten in Ocaml, Bigloo Scheme, or Pharo Smalltalk. They&#x27;d fail overall given OS&#x27;s are a pain to write. However, we&#x27;d get a ton of type-safe, memory-safe, and possibly functional components out of it for every part of the stack.<p>Let&#x27;s just nudge and encourage them to go ahead with the project as it should be easy. Cuz we need those safe alternatives to UNIX like yesterday. By the time they&#x27;re done, the robust, C alternatives &amp; compilers should be mature enough to recode whatever components the academics came up with. I&#x27;m game! :)