Comment by JdeBP

Yes, it is. And that in turn enables fairly simple installation of NetBSD and suchlike, which have ARM ports that know how to talk to and layer themselves on top of EFI firmware.

An interesting further little feature of TianoCore particularly for Pi 4 users is that it maintains a fake hardware clock. It only ticks forward when the firmware is in boot services mode; it is persisted to the firmware's own image file in the EFI System Partition; and it isn't as effective as even a simple fake-hwclock utility. But it does satisfy the operating systems that assume that there must be a hardware clock, because every computer is PC98-compatible.