if TARGET_XILINX_MBV

config SYS_BOARD
	default "mbv"

config SYS_VENDOR
	default "xilinx"

config SYS_CPU
	default "generic"

config SYS_CONFIG_NAME
	default "xilinx_mbv"

config TEXT_BASE
	default 0x80000000 if !RISCV_SMODE
	default 0x80400000 if RISCV_SMODE && ARCH_RV32I

config BOARD_SPECIFIC_OPTIONS
	def_bool y
	select GENERIC_RISCV
	imply BOARD_LATE_INIT
	imply CMD_SBI
	imply CMD_PING

source "board/xilinx/Kconfig"

endif