rjs%fdy2.co.uk@localhost (Robert Swindells) writes: >EDK2 for the Quartz64 can provide a DTB as well as the ACPI tables but >it is just a dummy device tree, it only contains a few entries. That dummy device tree is generated by our bootloader when it passes ACPI information.