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 next to a linux kernel. Was picturing doing unikernel apps this way.
Would that arduino rts .c file be a good start for an entry point?
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 next to a linux kernel. Was picturing doing unikernel apps this way.
Would that arduino rts .c file be a good start for an entry point?