On Mon, Nov 2, 2020 at 9:09 PM Chubb, Peter (Data61, Kensington NSW) Peter.Chubb@data61.csiro.au wrote:
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