Hacker News new | ask | show | jobs
by matachuan 2864 days ago
Of course it's about Gernot Heiser's verified ukernel...