acrn-kernel/arch/c6x/configs
..
dsk6455_defconfig
evmc6457_defconfig
evmc6472_defconfig
evmc6474_defconfig