3 ms·Of course it's about Gernot Heiser's verified ukernel...by matachuan 8y agoOf course it's about Gernot Heiser's verified ukernel...