| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 1 | CONFIG_ARM=y |
| Linus Walleij | f91afc4 | 2015-01-23 11:50:53 +0100 | [diff] [blame] | 2 | CONFIG_TARGET_VEXPRESS64_BASE_FVP=y |
| Masahiro Yamada | f1ef2b6 | 2014-09-22 19:59:06 +0900 | [diff] [blame] | 3 | CONFIG_DEFAULT_DEVICE_TREE="vexpress64" |