Package: refind
Version: 0.12.0-1
Severity: normal
I tried to boot an aarch64 MacchitoBin with TianoCore EDK II firmware
using rEFIind. The booting fails without output from rEFInd with the
following error shown on the console:
ASSERT [DxeCore] edk2/MdeModulePkg/Core/Dxe/Mem/Pool.c(697):
Head->Signature == ((('p') | ('h' << 8)) | ((('d') | ('0' << 8)) << 16))
|| Head->Signature == ((('p') | ('h' << 8)) | ((('d') | ('1' << 8)) << 16))
This indicates that the EDK II boot service FreePool() was called with
an address that was not allocated by EDK II. On possible reason for such
a failure would be calling FreePool() twice for the same address.
Best regards
Heinrich Schuchardt
