Name		Name	Last commit message	Last commit date
parent directory ..
abstract		abstract
capDL		capDL
cspec		cspec
design		design
haskell		haskell
machine		machine
sep-abstract		sep-abstract
take-grant		take-grant
Makefile		Makefile
README.md		README.md
ROOT		ROOT
tests.xml		tests.xml

README.md

Formal Specifications of seL4

See the sub directories for more details.

The Makefile and ROOT file define runnable Isabelle sessions for these specifications.