arch/microblaze/platform/generic/Kconfig.auto

   1 #
   2 # (C) Copyright 2007 Michal Simek
   3 #
   4 # Michal SIMEK <monstr@monstr.eu>
   5 #
   6 # This program is free software; you can redistribute it and/or
   7 # modify it under the terms of the GNU General Public License as
   8 # published by the Free Software Foundation; either version 2 of
   9 # the License, or (at your option) any later version.
  10 #
  11 # This program is distributed in the hope that it will be useful,
  12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  14 # GNU General Public License for more details.
  15 #
  16 # You should have received a copy of the GNU General Public License
  17 # along with this program; if not, write to the Free Software
  18 # Foundation, Inc., 59 Temple Place, Suite 330, Boston,
  19 # MA 02111-1307 USA
  20 #
  21
  22 # Definitions for MICROBLAZE0
  23 comment "Definitions for MICROBLAZE0"
  24
  25 config KERNEL_BASE_ADDR
  26         hex "Physical address where Linux Kernel is"
  27         default "0x90000000"
  28         help
  29           BASE Address for kernel
  30
  31 config XILINX_MICROBLAZE0_FAMILY
  32         string "Targeted FPGA family"
  33         default "virtex5"
  34
  35 config XILINX_MICROBLAZE0_USE_MSR_INSTR
  36         int "USE_MSR_INSTR range (0:1)"
  37         default 0
  38
  39 config XILINX_MICROBLAZE0_USE_PCMP_INSTR
  40         int "USE_PCMP_INSTR range (0:1)"
  41         default 0
  42
  43 config XILINX_MICROBLAZE0_USE_BARREL
  44         int "USE_BARREL range (0:1)"
  45         default 0
  46
  47 config XILINX_MICROBLAZE0_USE_DIV
  48         int "USE_DIV range (0:1)"
  49         default 0
  50
  51 config XILINX_MICROBLAZE0_USE_HW_MUL
  52         int "USE_HW_MUL values (0=NONE, 1=MUL32, 2=MUL64)"
  53         default 0
  54
  55 config XILINX_MICROBLAZE0_USE_FPU
  56         int "USE_FPU values (0=NONE, 1=BASIC, 2=EXTENDED)"
  57         default 0
  58
  59 config XILINX_MICROBLAZE0_HW_VER
  60         string "Core version number"
  61         default 7.10.d