kernel-fxtec-pro1x/arch/c6x/configs
..
dsk6455_defconfig
evmc6457_defconfig
evmc6472_defconfig
evmc6474_defconfig