Add the rt linux 4.1.3-rt3 as base
[kvmfornfv.git] / kernel / arch / microblaze / Kconfig.platform
1 # For a description of the syntax of this configuration file,
2 # see Documentation/kbuild/kconfig-language.txt.
3 #
4 # Platform selection Kconfig menu for MicroBlaze targets
5 #
6
7 menu "Platform options"
8
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.
19
20 config OPT_LIB_ASM
21         bool "Optimalized lib function ASM"
22         depends on OPT_LIB_FUNCTION && (XILINX_MICROBLAZE0_USE_BARREL = 1)
23         default n
24         help
25           Allows turn on optimalized library function (memcpy and memmove).
26           Function are written in asm code.
27
28 # Definitions for MICROBLAZE0
29 comment "Definitions for MICROBLAZE0"
30
31 config KERNEL_BASE_ADDR
32         hex "Physical address where Linux Kernel is"
33         default "0x90000000"
34         help
35           BASE Address for kernel
36
37 config XILINX_MICROBLAZE0_FAMILY
38         string "Targeted FPGA family"
39         default "virtex5"
40
41 config XILINX_MICROBLAZE0_USE_MSR_INSTR
42         int "USE_MSR_INSTR range (0:1)"
43         default 0
44
45 config XILINX_MICROBLAZE0_USE_PCMP_INSTR
46         int "USE_PCMP_INSTR range (0:1)"
47         default 0
48
49 config XILINX_MICROBLAZE0_USE_BARREL
50         int "USE_BARREL range (0:1)"
51         default 0
52
53 config XILINX_MICROBLAZE0_USE_DIV
54         int "USE_DIV range (0:1)"
55         default 0
56
57 config XILINX_MICROBLAZE0_USE_HW_MUL
58         int "USE_HW_MUL values (0=NONE, 1=MUL32, 2=MUL64)"
59         default 0
60
61 config XILINX_MICROBLAZE0_USE_FPU
62         int "USE_FPU values (0=NONE, 1=BASIC, 2=EXTENDED)"
63         default 0
64
65 config XILINX_MICROBLAZE0_HW_VER
66         string "Core version number"
67         default 7.10.d
68
69 endmenu