kasan, arm64: rename kasan_init_tags and mark as __init
[linux-2.6-microblaze.git] / arch / microblaze / Kconfig.platform
1 # SPDX-License-Identifier: GPL-2.0-only
2 # For a description of the syntax of this configuration file,
3 # see Documentation/kbuild/kconfig-language.rst.
4 #
5 # Platform selection Kconfig menu for MicroBlaze targets
6 #
7
8 menu "Platform options"
9
10 config OPT_LIB_FUNCTION
11         bool "Optimalized lib function"
12         default y
13         help
14           Allows turn on optimalized library function (memcpy and memmove).
15           They are optimized by using word alignment. This will work
16           fine if both source and destination are aligned on the same
17           boundary. However, if they are aligned on different boundaries
18           shifts will be necessary. This might result in bad performance
19           on MicroBlaze systems without a barrel shifter.
20
21 config OPT_LIB_ASM
22         bool "Optimalized lib function ASM"
23         depends on OPT_LIB_FUNCTION && (XILINX_MICROBLAZE0_USE_BARREL = 1)
24         depends on CPU_BIG_ENDIAN
25         default n
26         help
27           Allows turn on optimalized library function (memcpy and memmove).
28           Function are written in asm code.
29
30 # Definitions for MICROBLAZE0
31 comment "Definitions for MICROBLAZE0"
32
33 config KERNEL_BASE_ADDR
34         hex "Physical address where Linux Kernel is"
35         default "0x90000000"
36         help
37           BASE Address for kernel
38
39 config XILINX_MICROBLAZE0_FAMILY
40         string "Targeted FPGA family"
41         default "virtex5"
42
43 config XILINX_MICROBLAZE0_USE_MSR_INSTR
44         int "USE_MSR_INSTR range (0:1)"
45         default 0
46
47 config XILINX_MICROBLAZE0_USE_PCMP_INSTR
48         int "USE_PCMP_INSTR range (0:1)"
49         default 0
50
51 config XILINX_MICROBLAZE0_USE_BARREL
52         int "USE_BARREL range (0:1)"
53         default 0
54
55 config XILINX_MICROBLAZE0_USE_DIV
56         int "USE_DIV range (0:1)"
57         default 0
58
59 config XILINX_MICROBLAZE0_USE_HW_MUL
60         int "USE_HW_MUL values (0=NONE, 1=MUL32, 2=MUL64)"
61         default 0
62
63 config XILINX_MICROBLAZE0_USE_FPU
64         int "USE_FPU values (0=NONE, 1=BASIC, 2=EXTENDED)"
65         default 0
66
67 config XILINX_MICROBLAZE0_HW_VER
68         string "Core version number"
69         default "7.10.d"
70
71 endmenu