# SPDX-License-Identifier: GPL-2.0-only

if ARCH_ZYNQ

config ZYNQ_DEBUG_LL_UART_BASE
	hex
	default 0xe0001000 if MACH_ZEDBOARD

config ARCH_ZYNQ7000
	bool
	select CPU_V7
	select COMMON_CLK
	select COMMON_CLK_OF_PROVIDER
	select ARM_SMP_TWD
	select HAS_MACB
	select OFTREE
	select OFDEVICE

menu "select Zynq boards to be built"

config MACH_ZEDBOARD
	bool "Avnet Zynq-7000 ZedBoard"
	select ARCH_ZYNQ7000

endmenu

endif
