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

if ARCH_ZYNQ

config ARCH_TEXT_BASE
	hex
	default 0x0

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 HAVE_PBL_MULTI_IMAGES
	select OFTREE
	select OFDEVICE
	select RELOCATABLE



menu "select Zynq boards to be built"

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

endmenu

endif