redoxuefialloc

A global allocator for UEFI.