• Table of Contents
• Introduction
• Getting the EDK2 Source with AArch64 support (ARM 64-bit architecture)
• Build EDK2 Tianocore
• Start Linux from UEFI on the FVPs
• Build AArch64 Linux
• Run Linux from UEFI on the Foundation FVP
• Run Linux from UEFI on the Base FVP