SeL4 – a formally verified, capability-based microkernel

by wh313 | View on Hacker News