Re: Compiling device tree overlays (finding the *.dts* sources for the specific RPi* firmware FreeBSD is set up to use)

[Also sending this to the arm list.]

You can see the *.dts* sources for 1-20210303 (the RPi* firmware
release FreeBSD is set up to use) via:

https://github.com/raspberrypi/linux/tree/raspberrypi-kernel_1.20210303-1/arch/arm/boot/dts/
and:
https://github.com/raspberrypi/linux/tree/raspberrypi-kernel_1.20210303-1/arch/arm/boot/dts/overlays/

You can find other versions via the tags visible via:

https://github.com/raspberrypi/linux/tags/

via:

Click on the tag name.
On the new page, click on the left most instance of the same tag name.
Traverse the directory structure.

Much more direct for what I wanted to accomplish
than I was doing before.

https://github.com/raspberrypi/linux/tags/ pages also allow clicking
on tar.gz links to download the full RPi Linux source code for local
access.

===
Mark Millard
marklmi at yahoo.com