Re: [seL4] raspberry pi 4

...

...

...

...

"Sachin" == Sachin More writes:

Sachin> On Mon, Nov 2, 2020 at 9:09 PM Chubb, Peter (Data61, Sachin> Kensington NSW) 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