Kernel

Good reading -

How the ARM32 kernel starts — linuswlinusw

We should be able to use earlyprintk now that we know how (in theory) to use UEFI to boot into Linux. i.e. UEFI -> GRUB2 (signed) -> EFISTUB Linux kernel (signed)