On Mon, Nov 2, 2020 at 9:09 PM Chubb, Peter (Data61, Kensington NSW) <[email protected]> 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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
