123456789101112131415161718192021222324252627282930313233343536373839 |
- # SPDX-License-Identifier: GPL-2.0+
- if ARCH_VERSAL
- config SYS_BOARD
- string "Board name"
- default "versal"
- config SYS_VENDOR
- string "Vendor name"
- default "xilinx"
- config SYS_SOC
- default "versal"
- config SYS_CONFIG_NAME
- string "Board configuration name"
- default "xilinx_versal"
- help
- This option contains information about board configuration name.
- Based on this option include/configs/<CONFIG_SYS_CONFIG_NAME>.h header
- will be used for board configuration.
- config GICV3
- def_bool y
- config SYS_MALLOC_LEN
- default 0x2000000
- config COUNTER_FREQUENCY
- int "Timer clock frequency"
- default 0
- help
- Setup time clock frequency for certain platform
- config ZYNQ_SDHCI_MAX_FREQ
- default 200000000
- endif
|