| 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 |