> 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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
