if TARGET_TK71
config SYS_BOARD
default "tk71"
config SYS_VENDOR
default "karo"
config SYS_CONFIG_NAME
endif