if TARGET_NOKIA_RX51

config NR_DRAM_BANKS
	default 2

config SYS_BOARD
	default "rx51"

config SYS_VENDOR
	default "nokia"

config SYS_CONFIG_NAME
	default "nokia_rx51"

config SYS_PROMPT
	default "Nokia RX-51 # "

endif