@geoff_collyer Similarly, trying to work out how to get the thing even to boot to my kernel was painful. The qemu docs say things that simply don't work. I fell back on u-boot, and the way I got that to work doesn't give me a working device tree. Apparently I now have to read a 2000-page spec for UEFI, and completely change the booting, just so that I can get a DT.

It's very frustrating, and it's hard to see how anyone's actually meant to understand this massive stack of stuff enough to use it.