Linux kernel for Verdin?

I like to create an additional device tree overlay as described in Manual Device Tree Overlays Compilation.
On that page is a link Pre-Requisite Software that suggests creating of device tree overlays needs source code from Linux Kernel Source.
Now, when I go to, there is a description on top of the page that tells me: “Linux kernel for Apalis and Colibri modules”
So I’m not shure if this source is applicable for Verdin modules also?

Hi @zorro, how are you?

Thanks for posting on the community.

This description is outdated and shall soon be replaced to include the Verdin modules. If you have a look on this repository you’ll find many files related to the Verdin family such as:

Best regards,

Hi @zorro,

The naming on the page should be fixed already.

Best regards,