| Masahiro Yamada | 0d46c34 | 2014-09-14 03:01:51 +0900 | [diff] [blame] | 1 | CONFIG_SYS_EXTRA_OPTIONS="SEMIHOSTING,BASE_FVP" |
| Masahiro Yamada | d3ae678 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 2 | CONFIG_ARM=y |
| Masahiro Yamada | 7488744 | 2014-09-14 03:01:50 +0900 | [diff] [blame] | 3 | CONFIG_TARGET_VEXPRESS_AEMV8A=y |
| Masahiro Yamada | 8c65b9d | 2014-09-22 19:59:06 +0900 | [diff] [blame] | 4 | CONFIG_DEFAULT_DEVICE_TREE="vexpress64" |