# SPDX-License-Identifier: MIT

CONFIG_XILINX_MICROBLAZE0_FAMILY="virtex6"

# CPU ISA Config
CONFIG_XILINX_MICROBLAZE0_USE_MSR_INSTR=1
CONFIG_XILINX_MICROBLAZE0_USE_PCMP_INSTR=1
CONFIG_XILINX_MICROBLAZE0_USE_BARREL=1
CONFIG_XILINX_MICROBLAZE0_USE_DIV=1
CONFIG_XILINX_MICROBLAZE0_USE_HW_MUL=2
CONFIG_XILINX_MICROBLAZE0_USE_FPU=1
CONFIG_XILINX_MICROBLAZE0_HW_VER="8.50.a"

# Memory Base Address
CONFIG_KERNEL_BASE_ADDR=0x50000000