POSIX-UEF POSIX compatibility layer and build environment for UEFI

Very timely post!

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