An example UEFI bootloader which loads a minimalistic hello world kernel. Originally called xdosr2, it was meant for my kernel development but i stopped working on it eventually.
It contains two directories, one for kernel and the other for the bootloader, which both try to conform to the Pitchfork project layout specification (https://github.com/vector-of-bool/pitchfork).
The EDK2 header files are used to interact with the UEFI subsystem (https://github.com/tianocore/edk2), though the library itself is not linked.