Michal Simek | 1d6c54e | 2018-04-12 17:39:46 +0200 | [diff] [blame] | 1 | CONFIG_ARM=y |
Tom Rini | a2ac2b9 | 2021-08-27 21:18:30 -0400 | [diff] [blame^] | 2 | CONFIG_SKIP_LOWLEVEL_INIT=y |
Michal Simek | 1d6c54e | 2018-04-12 17:39:46 +0200 | [diff] [blame] | 3 | CONFIG_ARCH_ZYNQMP_R5=y |
| 4 | CONFIG_SYS_TEXT_BASE=0x10000000 |
Michal Simek | fff0771 | 2020-09-16 13:35:03 +0200 | [diff] [blame] | 5 | CONFIG_SYS_MALLOC_F_LEN=0x1000 |
Tom Rini | d168bcb | 2019-04-29 15:54:04 -0400 | [diff] [blame] | 6 | CONFIG_NR_DRAM_BANKS=1 |
Tom Rini | 554e551 | 2020-08-10 15:31:07 -0400 | [diff] [blame] | 7 | CONFIG_ENV_SIZE=0x20000 |
Tom Rini | 2bba780 | 2021-06-28 10:17:29 -0400 | [diff] [blame] | 8 | CONFIG_DEFAULT_DEVICE_TREE="zynqmp-r5" |
Michal Simek | dcd8a10 | 2018-06-04 08:33:30 +0200 | [diff] [blame] | 9 | CONFIG_DEBUG_UART_BASE=0xff010000 |
| 10 | CONFIG_DEBUG_UART_CLOCK=100000000 |
Michal Simek | 1d6c54e | 2018-04-12 17:39:46 +0200 | [diff] [blame] | 11 | CONFIG_DEBUG_UART=y |
Tom Rini | 49c8ef0 | 2021-08-23 10:25:31 -0400 | [diff] [blame] | 12 | CONFIG_SYS_LOAD_ADDR=0x0 |
Michal Simek | 56c0e64 | 2018-04-18 14:03:56 +0200 | [diff] [blame] | 13 | CONFIG_BOOTSTAGE=y |
Michal Simek | 1d6c54e | 2018-04-12 17:39:46 +0200 | [diff] [blame] | 14 | # CONFIG_DISPLAY_CPUINFO is not set |
| 15 | CONFIG_SYS_PROMPT="ZynqMP r5> " |
Michal Simek | 1d6c54e | 2018-04-12 17:39:46 +0200 | [diff] [blame] | 16 | # CONFIG_CMD_SETEXPR is not set |
Michal Simek | 56c0e64 | 2018-04-18 14:03:56 +0200 | [diff] [blame] | 17 | CONFIG_CMD_BOOTSTAGE=y |
Michal Simek | 1d6c54e | 2018-04-12 17:39:46 +0200 | [diff] [blame] | 18 | CONFIG_OF_EMBED=y |
Adam Ford | e91907a | 2020-07-03 06:48:56 -0500 | [diff] [blame] | 19 | CONFIG_ENV_OVERWRITE=y |
Tom Rini | 8d8ee47 | 2019-11-12 22:46:36 -0500 | [diff] [blame] | 20 | CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
Michal Simek | 1d6c54e | 2018-04-12 17:39:46 +0200 | [diff] [blame] | 21 | CONFIG_ZYNQ_SERIAL=y |
| 22 | CONFIG_TIMER=y |
| 23 | CONFIG_CADENCE_TTC_TIMER=y |
Michal Simek | b76907e | 2020-09-14 16:27:56 +0200 | [diff] [blame] | 24 | # CONFIG_EFI_LOADER is not set |