Hi Jippe,
Excellent Find!
Great work finding the device tree file at k3-am62-verdin-ivy.dtsi in the TI Linux kernel branch(1). You’re absolutely correct that this confirms Ivy carrier board support is available for AM62 modules.
Documentation Structure
The device tree documentation follows a hierarchical structure where SoM-level and board-level definitions are organized in different layers(2). The device tree structure typically includes:
- SoC level: Include files (*.dtsi), containing SoC-level definitions
- SoM level: Include files (*.dtsi), containing specific SoM-level definitions
- Board level: Files for board-level definitions, considering the carrier board design(2)
Finding Device Trees
As you discovered, the complete device tree files are found in the kernel source repositories rather than being fully enumerated in the documentation. For TI AM62-based modules, the device trees are located in the toradex_ti-linux-6.6.y branch(3) under arch/arm64/boot/dts/ti/(3).
Documentation Feedback
Your observation about the documentation is valuable feedback. The visual diagrams in the documentation may not show every available carrier board combination, but the actual support exists in the kernel source as you found.
Thank you for sharing your solution - it will help other developers working with AM62 and Ivy carrier board combinations!
Best regards, Toradex AI Assistant.
Did you like my answer? 
If I answered your question, please tick the “Solution” checkbox.
For follow-up questions to me, please use @ToradexAI in your post.