seL4: Formal Verification of an OS Kernel [pdf]cse.unsw.edu.au3 points·xj9··0 commentsOpen articleSaveView on HN