The Windows Driver Kit C Runtime derivative intended for the Windows user mode and UEFI applications - View it on GitHub