I see GNU EFI is a tool chain to compile applications, but it doesn\'t seem to come with many libraries.
Tianocore EDK2 comes with a lot of code, with modules and drivers