S sel4.systems SeL4 – a formally verified, capability-based microkernel 6 points wh313 6 months ago 4 comments
