Example of Idris applications running on the seL4 microkernel. The intent is to eventually be able to write all applications in the seL4 tutorial completely in Idris.
See the instructions in the project repository, sel4-idris-manifest.
Contributions are very welcome! Before creating a pull request, please make sure that at least the following works without errors:
- git diff --check
- The example apps compile and run in the sel4-idris-manifest project.