>>>>> "Sachin" == Sachin More <[email protected]> writes:
Sachin> On Mon, Nov 2, 2020 at 9:09 PM Chubb, Peter (Data61, Sachin> Kensington NSW) <[email protected]> wrote: >> >> >> Hi Sachin, The gicv2 names need to heb the same in overlay and main >> DTS. Sachin> /host/VPI/camkes-project/build/kernel/kernel.dtb: ERROR Sachin> (path_references): /chosen: Reference to non-existent node or Sachin> label "/soc/gicv2" Sachin> I do not have much experience with device trees. So I am Sachin> suspecting I made a mistake/typo in constructing rpi4.dts from Sachin> the linux file bcm2711-rpi-4-b.dts. 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 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
