GitHub repository: mskordal/SeL4-hello-world
Primary language: CMake
Description: Create a hello world project on Sel4 from scratch