CS262a: Reading Assignment #26
Due Wednesday, April 27th
For
Wednesday, read the following paper:
seL4: Formal Verification of an OS Kernel, Gerwin Klein, Kevin Elphinstone, Gernot Heiser,
June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe,
Kai Engelhardt,
Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood. Appeared in Proceedings of the ACM Symposium on Operating Systems Principles, 2009
No summary is required!
Optional Reading:
Toward Real Microkernels, Jochen Liedtke. Appears in the Communictions of the ACM, Vol 39, No 9, Sept 1996, pp 70-77