original_kernel/arch/tile/configs
..
tilegx_defconfig
tilepro_defconfig