An older presentation on this at USENIX (2016): <a href="https://www.usenix.org/conference/osdi16/technical-sessions/presentation/gu" rel="nofollow">https://www.usenix.org/conference/osdi16/technical-sessions/...</a><p>And here's the project page (at Yale): <a href="https://flint.cs.yale.edu/certikos/" rel="nofollow">https://flint.cs.yale.edu/certikos/</a>
I love reading all these new advancements no operating systems. I can't help but fear that we will be stuck for a long time with the same old "posix compliant unix like operating systems" though.