1if TARGET_CEI_TK1_SOM 2 3config SYS_BOARD 4 default "cei-tk1-som" 5 6config SYS_VENDOR 7 default "cei" 8 9config SYS_CONFIG_NAME 10 default "cei-tk1-som" 11 12endif 13