[PATCH v3 00/13] UEFI boot and runtime services support for 32-bit ARM

On Mon, 23 Nov, at 10:06:20AM, Ard Biesheuvel wrote:

This series adds support for booting the 32-bit ARM kernel directly from
UEFI firmware using a builtin UEFI stub. It mostly reuses refactored arm64
code, and the differences (primarily the PE/COFF header and entry point and
the efi_create_mapping() implementation) are split out into arm64 and ARM
versions.

For the series,

Reviewed-by: Matt Fleming <redacted>

Ard, I think the next EFI area for refactoring could be the pgtable
switching code, since we've now got 3 architectures doing it. If I can
find some time in the new year I'll add a fourth (i386) and try and
pull out the common code.