Drivers written in Idris for bare-metal apps
See build instructions, etc in the project repository, idris-bare-metal-manifest.
mokshasoft/bare-metal-idris-drivers
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Drivers written in Idris for bare-metal apps
See build instructions, etc in the project repository, idris-bare-metal-manifest.