> Thanks Ben. Happy to help. In case the context is useful, I wound up here because I use U-Boot to load systemd-boot which then, in turn, loads the kernel. Unlike GRUB, systemd-boot does not provide decompression and recommends using EFI_ZBOOT[0].
Perhaps it is uncommon to: a) have the first good memory entry start at zero, b) use systemd-boot instead of GRUB, c) use the compressed kernel on aarch64, d) all of the above? :) Thanks for everyone's help! Ben [0] https://github.com/systemd/systemd/issues/23788
