UEFI-OS

There’s a handful of research OSes written for UEFI:

new EFI-based operating systems

Now there’s one more:

https://github.com/queer/uefi-os

Granted, it’s probably the smallest one yet, merely a hello-world program.