Hi Karol,
within your build directory you can find all device tree sources (.dts and .dtsi) inside the kernel -source folder on arch/arm/boot/dts
Best regards,
TIC
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------