kernel-fxtec-pro1x/arch/tile/configs
..
tilegx_defconfig
tilepro_defconfig