SeL4 – a formally verified, capability-based microkernel

• Posted 4 hours ago by wh313
• 5 points