| # SPDX-License-Identifier: GPL-2.0 |
| string "Board configuration name" |
| default "xilinx_versal_net" |
| 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. |
| int "Timer clock frequency" |
| Setup time clock frequency for certain platform |
| config IOU_SWITCH_DIVISOR0 |
| hex "IOU switch divisor0" |
| Setup time clock divisor for input clock. |
| config SYS_MEM_RSVD_FOR_MMU |
| bool "Reserve memory for MMU Table" |
| If defined this option is used to setup different space for |
| MMU table than the one which will be allocated during |
| config ZYNQ_SDHCI_MAX_FREQ |
| source "board/xilinx/Kconfig" |
| source "board/xilinx/versal-net/Kconfig" |