The source project of this merge request has been removed.
Update uefi_alloc
In release 0.1.1 of uefi_alloc I inadvertently overwrote the pointer for the allocator to 0, making it always return NULL. Explicitly require 0.1.2 or newer to fix the behavior.
Edited by Tim Crawford