kumquat-buildroot/board/octavo/osd32mp1-red/tfa-dts
..
osd32mp1_ddr_1x4Gb.dtsi
stm32mp157c-osd32mp1-red-fw-config.dts
stm32mp157c-osd32mp1-red.dts