| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 1 | if TARGET_NOKIA_RX51 |
| 2 | |||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 3 | config SYS_BOARD |
| 4 | string | ||||
| 5 | default "rx51" | ||||
| 6 | |||||
| 7 | config SYS_VENDOR | ||||
| 8 | string | ||||
| 9 | default "nokia" | ||||
| 10 | |||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 11 | config SYS_CONFIG_NAME |
| 12 | string | ||||
| 13 | default "nokia_rx51" | ||||
| 14 | |||||
| 15 | endif | ||||