Very timely post! How does this compare to https://github.com/tianocore/edk2-libc https://github.com/tianocore/edk2-libc and https://libc.llvm.org/uefi/index.h

Very timely post! How does this compare to https://github.com/tianocore/edk2-libc https://github.com/tianocore/edk2-libc and https://libc.llvm.org/uefi/index.html https://libc.llvm.org/uefi/index.html, for example?