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