recipes-kernel/linux/config/xilinx-machine/bsp/kc705-trd-microblazeel/kc705-trd-microblazeel.cfg


1
2
3
4
5
6
7
8
9
10
11
12
13
14

CONFIG_XILINX_MICROBLAZE0_FAMILY="kintex7"

# 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=0
CONFIG_XILINX_MICROBLAZE0_USE_HW_MUL=1
CONFIG_XILINX_MICROBLAZE0_USE_FPU=0
CONFIG_XILINX_MICROBLAZE0_HW_VER="8.50.a"

# Memory Base Address
CONFIG_KERNEL_BASE_ADDR=0x80000000