On 04/10/2020 06:18, Kinsey Moore wrote: > This adds an AArch64 ILP32 BSP variant based on Qemu's Cortex-A53 > emulation with interrupt support using GICv3 and clock support using > the ARM GPT. Looks good.