Module 2 – The Operating Systems That Inspired Agila
seL4
seL4 is one of the world’s most secure microkernels.
It is formally verified, meaning parts of its correctness have been mathematically proven.
Agila Learns
- Security
- Minimal trusted code
- High-assurance system design
Complete this lesson
Answer every check correctly to earn your lesson certificate. Feedback helps you review and try again.
Sign in · Save your progress and earn a certificate for this lesson.