GitHub repository: michalsimek/docs
Description: This is the source of the seL4 docs.