Start by building the dtb in teh linux source tree, then use dtc -I dtb -O dts bcm2711-rpi-4-b.dtb > bcm2711-rpi-4-b.dts
Or, even better (because U-Boot can steal some RAM): Boot into Linux, then as root on the rpi4 do: dtc -I fs -O dts /proc/device-tree > bcm2711-rpi-4-b.dts
Thanks for the hint! I had to change the overlay file reference to /soc/interrupt-controller@40041000, for some reason /soc/gicv2 is still problematic. The next issue are the following warnings: WARNING:root:Only mapping 4096/8192 bytes from node /soc/interrupt-controller@40041000, region 1. Set kernel_size in YAML to silence. WARNING:root:Only mapping 4096/8192 bytes from node /soc/interrupt-controller@40041000, region 2. Set kernel_size in YAML to silence. What do they mean? thanks, Sachin
Peter C -- Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group CSIRO's Data61