blob: de4460c137aaff07c0e0dd2229b35329da2c7d9f [file] [log] [blame]
Michal Simekb513bcd2018-04-12 17:39:46 +02001CONFIG_ARM=y
2CONFIG_ARCH_ZYNQMP_R5=y
3CONFIG_SYS_TEXT_BASE=0x10000000
Tom Rinic9285bf2019-04-29 15:54:04 -04004CONFIG_NR_DRAM_BANKS=1
Michal Simeka932ae72018-06-04 08:33:30 +02005CONFIG_DEBUG_UART_BASE=0xff010000
6CONFIG_DEBUG_UART_CLOCK=100000000
Michal Simekb513bcd2018-04-12 17:39:46 +02007CONFIG_DEBUG_UART=y
Michal Simek8e434fc2018-04-18 14:03:56 +02008CONFIG_BOOTSTAGE=y
Michal Simekb513bcd2018-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 Simek8e434fc2018-04-18 14:03:56 +020013CONFIG_CMD_BOOTSTAGE=y
Michal Simekb513bcd2018-04-12 17:39:46 +020014CONFIG_OF_EMBED=y
Tom Rini74060322018-09-03 15:26:12 -040015CONFIG_DEFAULT_DEVICE_TREE="zynqmp-r5"
Michal Simekb513bcd2018-04-12 17:39:46 +020016CONFIG_DEBUG_UART_ZYNQ=y
Michal Simekb513bcd2018-04-12 17:39:46 +020017CONFIG_ZYNQ_SERIAL=y
18CONFIG_TIMER=y
19CONFIG_CADENCE_TTC_TIMER=y