On Mon, Nov 2, 2020 at 9:09 PM Chubb, Peter (Data61, Kensington NSW)
Hi Sachin, The gicv2 names need to heb the same in overlay and main DTS.
If you change the overlay to read /soc/gicv2 instead of /soc/gic400@40041000
I tried doing that but the error changed from: /host/VPI/camkes-project/build/kernel/kernel.dtb: ERROR (path_references): /chosen: Reference to non-existent node or label "/soc/gic400@40041000" to /host/VPI/camkes-project/build/kernel/kernel.dtb: ERROR (path_references): /chosen: Reference to non-existent node or label "/soc/gicv2" I do not have much experience with device trees. So I am suspecting I made a mistake/typo in constructing rpi4.dts from the linux file bcm2711-rpi-4-b.dts. thanks, Sachin
things might get a little further. -- Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group CSIRO's Data61