idrOS
idrOS copied to clipboard
stepcut
An OS written in Idris (eventually...)
Results
1
idrOS issues
Sort by
recently updated
recently updated
newest added
Apparently you just write a C program with an `efi_main()` that links against EFI libs: http://www.rodsbooks.com/efi-programming/hello.html This way I could execute an Idris application from the boot loader, sitting there...
