GitHub repository: sel4devkit/seL4-DevKit-Doc
Description: Documentation for the seL4 DevKit