if TARGET_ARIA

config SYS_BOARD
	default "aria"

config SYS_VENDOR
	default "davedenx"

config SYS_CONFIG_NAME
	default "aria"

endif