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