git.iko.soy/Idris-dev
on master help sign in
Idris-dev/rts/seL4
3 files
../ CMakeLists.txtUpdate the seL4 build to use CMake instead of Kbuild README.mdUpdate the seL4 build to use CMake instead of Kbuild idris_main.cUpdate the seL4 build to use CMake instead of Kbuild