# libsel4-idris-rts - Idris RTS library for the seL4 microkernel
The Idris RTS compiled to the seL4 microkernel.

## How to use this library?
See the instructions in the project repository, [mokshasoft/sel4-idris-manifest](https://github.com/mokshasoft/sel4-idris-manifest).