| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 1 | if TARGET_NOKIA_RX51 |
| 2 | |||||
| Pali Rohár | 9ca6c91 | 2022-08-11 22:27:25 +0200 | [diff] [blame] | 3 | config NR_DRAM_BANKS |
| 4 | default 2 | ||||
| 5 | |||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 6 | config SYS_BOARD |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 7 | default "rx51" |
| 8 | |||||
| 9 | config SYS_VENDOR | ||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 10 | default "nokia" |
| 11 | |||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 12 | config SYS_CONFIG_NAME |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 13 | default "nokia_rx51" |
| 14 | |||||
| Pali Rohár | 9ca6c91 | 2022-08-11 22:27:25 +0200 | [diff] [blame] | 15 | config SYS_PROMPT |
| 16 | default "Nokia RX-51 # " | ||||
| 17 | |||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 18 | endif |