We've verified that the organization ipxe controls the domain:
iPXE network bootloader
C 1k 525
iPXE for the Raspberry Pi
Makefile 159 32
WIM bootloader
C 148 30
UEFI loader protocol proxy
C 7 4
SAN Boot Configuration Driver for Windows
C 5 3
The systemd System and Service Manager
Reviews of shim
UEFI shim loader
UEFI shim reproducible build container
UEFI shim transparent loader demo
SAN bootability package
EDK II