Formal Specifications of seL4 See the sub directories for more details. The Makefile and ROOT file define runnable Isabelle sessions for these specifications.