1if ARCH_ZYNQ
2
3config SPL_FS_FAT
4	default y
5
6config SPL_LIBCOMMON_SUPPORT
7	default y
8
9config SPL_LIBDISK_SUPPORT
10	default y
11
12config SPL_LIBGENERIC_SUPPORT
13	default y
14
15config SPL_MMC
16	default y if MMC_SDHCI_ZYNQ
17
18config SPL_SERIAL
19	default y
20
21config SPL_SPI_FLASH_SUPPORT
22	default y if ZYNQ_QSPI
23
24config SPL_SPI
25	default y if ZYNQ_QSPI
26
27config ZYNQ_DDRC_INIT
28	bool "Zynq DDRC initialization"
29	default y
30	help
31	  This option used to perform DDR specific initialization
32	  if required. There might be cases like ddr less where we
33	  want to skip ddr init and this option is useful for it.
34
35config SYS_BOARD
36	string "Board name"
37	default "zynq"
38
39config SYS_VENDOR
40	string "Vendor name"
41	default "xilinx"
42
43config SYS_SOC
44	default "zynq"
45
46config SYS_MALLOC_F_LEN
47	default 0x800
48
49config SYS_MALLOC_LEN
50	default 0x1400000
51
52config BOOT_INIT_FILE
53	string "boot.bin init register filename"
54	default ""
55	help
56	  Add register writes to boot.bin format (max 256 pairs).
57	  Expect a table of register-value pairs, e.g. "0x12345678 0x4321"
58
59config ZYNQ_SDHCI_MAX_FREQ
60	default 52000000
61
62source "board/xilinx/Kconfig"
63source "board/xilinx/zynq/Kconfig"
64
65endif
66