blob: 42f079406952d53f986477ec1317f78f3df75475 [file] [log] [blame]
Michal Simek1d6c54e2018-04-12 17:39:46 +02001CONFIG_ARM=y
2CONFIG_ARCH_ZYNQMP_R5=y
3CONFIG_SYS_TEXT_BASE=0x10000000
Michal Simekdcd8a102018-06-04 08:33:30 +02004CONFIG_DEBUG_UART_BASE=0xff010000
5CONFIG_DEBUG_UART_CLOCK=100000000
Michal Simek1d6c54e2018-04-12 17:39:46 +02006CONFIG_DEBUG_UART=y
Tom Rini86cf1c82018-08-16 08:16:24 -04007CONFIG_NR_DRAM_BANKS=1
Michal Simek56c0e642018-04-18 14:03:56 +02008CONFIG_BOOTSTAGE=y
Michal Simek1d6c54e2018-04-12 17:39:46 +02009# CONFIG_DISPLAY_CPUINFO is not set
10CONFIG_SYS_PROMPT="ZynqMP r5> "
11# CONFIG_CMD_FLASH is not set
12# CONFIG_CMD_SETEXPR is not set
Michal Simek56c0e642018-04-18 14:03:56 +020013CONFIG_CMD_BOOTSTAGE=y
Michal Simek1d6c54e2018-04-12 17:39:46 +020014CONFIG_OF_EMBED=y
Tom Rini8c5cad02018-09-03 15:26:12 -040015CONFIG_DEFAULT_DEVICE_TREE="zynqmp-r5"
Michal Simek1d6c54e2018-04-12 17:39:46 +020016CONFIG_DEBUG_UART_ZYNQ=y
Michal Simek1d6c54e2018-04-12 17:39:46 +020017CONFIG_ZYNQ_SERIAL=y
18CONFIG_TIMER=y
19CONFIG_CADENCE_TTC_TIMER=y