GitHub repository: seL4/refos-manifest
Description: Reference Operating system based on seL4 --- example code