| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 1 | if TARGET_MX31PDK |
| 2 | |||||
| 3 | config SYS_CPU | ||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 4 | default "arm1136" |
| 5 | |||||
| 6 | config SYS_BOARD | ||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 7 | default "mx31pdk" |
| 8 | |||||
| 9 | config SYS_VENDOR | ||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 10 | default "freescale" |
| 11 | |||||
| 12 | config SYS_SOC | ||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 13 | default "mx31" |
| 14 | |||||
| 15 | config SYS_CONFIG_NAME | ||||
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 16 | default "mx31pdk" |
| 17 | |||||
| 18 | endif | ||||