Advanced
Operating Systems
Q83 / 100
What is the seL4 microkernel and its significance?
Correct! Well done.
Incorrect.
The correct answer is B) A formally verified microkernel with machine-checked proofs of functional correctness, security properties, and worst-case execution time bounds
B
Correct Answer
A formally verified microkernel with machine-checked proofs of functional correctness, security properties, and worst-case execution time bounds
Explanation
seL4 (2009) was the first OS kernel with complete formal verification of implementation correctness, proving no bugs like buffer overflows, undefined behavior, or security violations.
Progress
83/100