| Masahiro Yamada | 016a954 | 2014-09-14 03:01:51 +0900 | [diff] [blame] | 1 | CONFIG_SYS_EXTRA_OPTIONS="SEMIHOSTING,BASE_FVP" |
| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 2 | CONFIG_ARM=y |
| Masahiro Yamada | 8813fda | 2014-09-14 03:01:50 +0900 | [diff] [blame] | 3 | CONFIG_TARGET_VEXPRESS_AEMV8A=y |
| Masahiro Yamada | f1ef2b6 | 2014-09-22 19:59:06 +0900 | [diff] [blame^] | 4 | CONFIG_DEFAULT_DEVICE_TREE="vexpress64" |