1235783Skib# SPDX-License-Identifier: GPL-2.0 2235783Skib 3235783Skibif ARCH_VERSAL_NET 4235783Skib 5235783Skibconfig SYS_BOARD 6235783Skib string "Board name" 7235783Skib default "versal-net" 8235783Skib 9235783Skibconfig SYS_VENDOR 10235783Skib string "Vendor name" 11235783Skib default "xilinx" 12235783Skib 13235783Skibconfig SYS_SOC 14235783Skib default "versal-net" 15235783Skib 16235783Skibconfig COUNTER_FREQUENCY 17235783Skib int "Timer clock frequency" 18235783Skib default 0 19235783Skib help 20235783Skib Setup time clock frequency for certain platform 21235783Skib 22235783Skibconfig IOU_SWITCH_DIVISOR0 23235783Skib hex "IOU switch divisor0" 24235783Skib default 0x20 25235783Skib help 26235783Skib Setup time clock divisor for input clock. 27235783Skib 28235783Skibconfig SYS_MEM_RSVD_FOR_MMU 29235783Skib bool "Reserve memory for MMU Table" 30235783Skib help 31235783Skib If defined this option is used to setup different space for 32235783Skib MMU table than the one which will be allocated during 33235783Skib relocation. 34235783Skib 35235783Skibconfig GICV3 36235783Skib def_bool y 37235783Skib 38235783Skibconfig GICV3_SUPPORT_GIC600 39235783Skib def_bool y 40235783Skib 41235783Skibconfig SYS_MALLOC_LEN 42282199Sdumbbell default 0x2000000 43235783Skib 44282199Sdumbbellconfig ZYNQ_SDHCI_MAX_FREQ 45282199Sdumbbell default 200000000 46282199Sdumbbell 47235783Skibsource "board/xilinx/Kconfig" 48282199Sdumbbellsource "board/xilinx/versal-net/Kconfig" 49282199Sdumbbell 50235783Skibendif 51282199Sdumbbell