diff options
Diffstat (limited to 'conf/machine/boards/kc705/kc705-trd-microblazeel.kconfig.cfg')
| -rw-r--r-- | conf/machine/boards/kc705/kc705-trd-microblazeel.kconfig.cfg | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/conf/machine/boards/kc705/kc705-trd-microblazeel.kconfig.cfg b/conf/machine/boards/kc705/kc705-trd-microblazeel.kconfig.cfg deleted file mode 100644 index b50d7040..00000000 --- a/conf/machine/boards/kc705/kc705-trd-microblazeel.kconfig.cfg +++ /dev/null @@ -1,9 +0,0 @@ -CONFIG_XILINX_MICROBLAZE0_FAMILY="kintex7" -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" -CONFIG_KERNEL_BASE_ADDR=0x80000000 |