U

uefi_alloc

UEFI allocation support

Forked from redox-os / uefi_alloc