rjs%fdy2.co.uk@localhost (Robert Swindells) writes: >How does EDK2 work when built for this platform, does it pass a complete >device tree to the kernel as well as providing the ACPI tables? When EDK2 provides ACPI, then we ignore the DTB.