Sel4?
PDF: https://www.eng.auburn.edu/~kchang/comp6710/readings/They%20...
Reply on news.ycombinator.com