# redox_uefi_alloc

A global allocator for UEFI.