if TARGET_TAO3530
config SYS_BOARD
default "tao3530"
config SYS_VENDOR
default "technexion"
config SYS_CONFIG_NAME
endif