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