if TARGET_ARIA
config SYS_BOARD
default "aria"
config SYS_VENDOR
default "davedenx"
config SYS_CONFIG_NAME
endif