Oct 5, 2026, 4:39 PM@neal @dalias @elly @cas Well EDKII, at least on Honeycomb LX2K, has a toggle between ACPI and DeviceTree.
And IIRC (noticed a bad ram address it something like 6 months ago, haven't booted it since) in-spi u-boot on the VisionFive2 also provides it's DeviceTree to the kernel.
And I guess on RockPro64 where you can have in-spi u-boot, it could be provided in the same way if not already the case (as there's even the tow-boot project providing pre-built u-boot images to be flashed).
And IIRC (noticed a bad ram address it something like 6 months ago, haven't booted it since) in-spi u-boot on the VisionFive2 also provides it's DeviceTree to the kernel.
And I guess on RockPro64 where you can have in-spi u-boot, it could be provided in the same way if not already the case (as there's even the tow-boot project providing pre-built u-boot images to be flashed).