| Michal Simek | 1d6c54e | 2018-04-12 17:39:46 +0200 | [diff] [blame] | 1 | CONFIG_ARM=y |
| 2 | CONFIG_ARCH_ZYNQMP_R5=y |
| 3 | CONFIG_SYS_TEXT_BASE=0x10000000 |
| Michal Simek | dcd8a10 | 2018-06-04 08:33:30 +0200 | [diff] [blame^] | 4 | CONFIG_DEBUG_UART_BASE=0xff010000 |
| 5 | CONFIG_DEBUG_UART_CLOCK=100000000 |
| Michal Simek | 1d6c54e | 2018-04-12 17:39:46 +0200 | [diff] [blame] | 6 | CONFIG_DEFAULT_DEVICE_TREE="zynqmp-r5" |
| 7 | CONFIG_DEBUG_UART=y |
| 8 | # CONFIG_DISPLAY_CPUINFO is not set |
| 9 | CONFIG_SYS_PROMPT="ZynqMP r5> " |
| 10 | # CONFIG_CMD_FLASH is not set |
| 11 | # CONFIG_CMD_SETEXPR is not set |
| 12 | CONFIG_OF_EMBED=y |
| 13 | CONFIG_DEBUG_UART_ZYNQ=y |
| Michal Simek | 1d6c54e | 2018-04-12 17:39:46 +0200 | [diff] [blame] | 14 | CONFIG_ZYNQ_SERIAL=y |
| 15 | CONFIG_TIMER=y |
| 16 | CONFIG_CADENCE_TTC_TIMER=y |