I didn't run through the source code, but I'm wondering if it's possible to build and use this library in an UEFI environment. Since README mentions bare-metal, I think it should be almost possible. I'm not talking about gnu-efi and such for building, there are just general thoughts on this.