bare-metal-idris - Idris bare-metal apps on BeagleBone How to use these apps? See the instructions in the project repository, bare-metal-idris-manifest. Developed by mokshasoft.com