The gnu-efi development tree for GramadoOS.
The main goal here is building a simple EFI bootloader for Gramado OS.
The main project is hosted in https://github.com/gramado/kernel
https://uefi.org/specifications
https://wiki.osdev.org/GNU-EFI
https://wiki.osdev.org/UEFI_Bare_Bones
https://wiki.osdev.org/EFI_System_Partition
...
https://github.com/gramado/gnu-efi
https://github.com/vathpela/gnu-efi
https://sourceforge.net/p/gnu-efi/code/ci/master/tree/
...