original_kernel/arch/c6x/boot/dts
..
Makefile
dsk6455.dts
evmc6457.dts
evmc6472.dts
evmc6474.dts
evmc6678.dts
tms320c6455.dtsi
tms320c6457.dtsi
tms320c6472.dtsi
tms320c6474.dtsi
tms320c6678.dtsi