1*b6152676SPeter Chubbif TARGET_CEI_TK1_SOM 2*b6152676SPeter Chubb 3*b6152676SPeter Chubbconfig SYS_BOARD 4*b6152676SPeter Chubb default "cei-tk1-som" 5*b6152676SPeter Chubb 6*b6152676SPeter Chubbconfig SYS_VENDOR 7*b6152676SPeter Chubb default "cei" 8*b6152676SPeter Chubb 9*b6152676SPeter Chubbconfig SYS_CONFIG_NAME 10*b6152676SPeter Chubb default "cei-tk1-som" 11*b6152676SPeter Chubb 12*b6152676SPeter Chubbendif 13