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.