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_CONFIG_NAME
47	string "Board configuration name"
48	default "zynq-common"
49	help
50	  This option contains information about board configuration name.
51	  Based on this option include/configs/<CONFIG_SYS_CONFIG_NAME>.h header
52	  will be used for board configuration.
53
54config SYS_MALLOC_F_LEN
55	default 0x800
56
57config SYS_MALLOC_LEN
58	default 0x1400000
59
60config BOOT_INIT_FILE
61	string "boot.bin init register filename"
62	default ""
63	help
64	  Add register writes to boot.bin format (max 256 pairs).
65	  Expect a table of register-value pairs, e.g. "0x12345678 0x4321"
66
67config ZYNQ_SDHCI_MAX_FREQ
68	default 52000000
69
70source "board/xilinx/Kconfig"
71source "board/xilinx/zynq/Kconfig"
72
73endif
74