redox_uefi

UEFI data structures and definitions.