if TARGET_TEC config SYS_BOARD default "tec" config SYS_VENDOR default "avionic-design" config SYS_CONFIG_NAME default "tec" endif