Hi Peter, > Rather than just RPi4 support we should add generic qemu support, as > opposed to emulated RPi4 in qemu support as qemu already supports ACPI > on aarch64 for generic SystemReady support with pci/network etc that > way the support is much easier to test in CI. > That sounds reasonable. I'll look into that as well.
> Also are the ACPI tables you use here compatible with the tianocore > raspberry pi 4 support so users don't end up with weird differences > between firmware? > The ACPI code is identical to the tianocore one. However the U-Boot implementation is a bare minimum to boot a Linux OS, thus yes there are differences between those firmwares. EDK2 has more quirks for various boards and reads in UEFI variables to enable/disable certain devices or features.
