1 # For a description of the syntax of this configuration file,
2 # see Documentation/kbuild/kconfig-language.txt.
4 mainmenu "Linux/Microblaze Kernel Configuration"
9 select HAVE_FUNCTION_TRACER
10 select HAVE_FUNCTION_TRACE_MCOUNT_TEST
11 select USB_ARCH_HAS_EHCI
12 select ARCH_WANT_OPTIONAL_GPIOLIB
17 config RWSEM_GENERIC_SPINLOCK
20 config RWSEM_XCHGADD_ALGORITHM
23 config ARCH_HAS_ILOG2_U32
26 config ARCH_HAS_ILOG2_U64
29 config GENERIC_FIND_NEXT_BIT
32 config GENERIC_HWEIGHT
35 config GENERIC_HARDIRQS
38 config GENERIC_IRQ_PROBE
41 config GENERIC_CALIBRATE_DELAY
47 config GENERIC_TIME_VSYSCALL
50 config GENERIC_CLOCKEVENTS
53 config GENERIC_HARDIRQS_NO__DO_IRQ
62 config STACKTRACE_SUPPORT
65 config LOCKDEP_SUPPORT
68 config HAVE_LATENCYTOP_SUPPORT
79 source "kernel/Kconfig.freezer"
81 source "arch/microblaze/platform/Kconfig.platform"
83 menu "Processor type and features"
85 source kernel/time/Kconfig
87 source "kernel/Kconfig.preempt"
89 source "kernel/Kconfig.hz"
100 comment "Boot options"
103 bool "Default bootloader kernel arguments"
106 string "Default kernel command string"
107 depends on CMDLINE_BOOL
108 default "console=ttyUL0,115200"
110 On some architectures there is currently no way for the boot loader
111 to pass arguments to the kernel. For these architectures, you should
112 supply some command-line options at build time by entering them
116 bool "Force default kernel command string"
117 depends on CMDLINE_BOOL
120 Set this to have arguments from the default kernel command string
121 override those passed by the boot loader.
126 config PROC_DEVICETREE
127 bool "Support for device tree in /proc"
130 This option adds a device-tree directory under /proc which contains
131 an image of the device tree that the kernel copies from Open
132 Firmware or other boot firmware. If unsure, say Y here.
136 menu "Advanced setup"
138 config ADVANCED_OPTIONS
139 bool "Prompt for advanced kernel configuration options"
142 This option will enable prompting for a variety of advanced kernel
143 configuration options. These options can cause the kernel to not
144 work if they are set incorrectly, but can be used to optimize certain
145 aspects of kernel memory management.
147 Unless you know what you are doing, say N here.
149 comment "Default settings for advanced configuration options are used"
150 depends on !ADVANCED_OPTIONS
152 config HIGHMEM_START_BOOL
153 bool "Set high memory pool address"
154 depends on ADVANCED_OPTIONS && HIGHMEM
156 This option allows you to set the base address of the kernel virtual
157 area used to map high memory pages. This can be useful in
158 optimizing the layout of kernel virtual memory.
160 Say N here unless you know what you are doing.
163 hex "Virtual start address of high memory pool" if HIGHMEM_START_BOOL
167 config LOWMEM_SIZE_BOOL
168 bool "Set maximum low memory"
169 depends on ADVANCED_OPTIONS
171 This option allows you to set the maximum amount of memory which
172 will be used as "low memory", that is, memory which the kernel can
173 access directly, without having to set up a kernel virtual mapping.
174 This can be useful in optimizing the layout of kernel virtual
177 Say N here unless you know what you are doing.
180 hex "Maximum low memory size (in bytes)" if LOWMEM_SIZE_BOOL
184 config KERNEL_START_BOOL
185 bool "Set custom kernel base address"
186 depends on ADVANCED_OPTIONS
188 This option allows you to set the kernel virtual address at which
189 the kernel will map low memory (the kernel image will be linked at
190 this address). This can be useful in optimizing the virtual memory
191 layout of the system.
193 Say N here unless you know what you are doing.
196 hex "Virtual address of kernel base" if KERNEL_START_BOOL
197 default "0xc0000000" if MMU
198 default KERNEL_BASE_ADDR if !MMU
200 config TASK_SIZE_BOOL
201 bool "Set custom user task size"
202 depends on ADVANCED_OPTIONS
204 This option allows you to set the amount of virtual address space
205 allocated to user tasks. This can be useful in optimizing the
206 virtual memory layout of the system.
208 Say N here unless you know what you are doing.
211 hex "Size of user task space" if TASK_SIZE_BOOL
215 config CONSISTENT_START_BOOL
216 bool "Set custom consistent memory pool address"
217 depends on ADVANCED_OPTIONS && NOT_COHERENT_CACHE
219 This option allows you to set the base virtual address
220 of the the consistent memory pool. This pool of virtual
221 memory is used to make consistent memory allocations.
223 config CONSISTENT_START
224 hex "Base virtual address of consistent memory pool" if CONSISTENT_START_BOOL
226 default "0xff100000" if NOT_COHERENT_CACHE
228 config CONSISTENT_SIZE_BOOL
229 bool "Set custom consistent memory pool size"
230 depends on ADVANCED_OPTIONS && NOT_COHERENT_CACHE
232 This option allows you to set the size of the the
233 consistent memory pool. This pool of virtual memory
234 is used to make consistent memory allocations.
236 config CONSISTENT_SIZE
237 hex "Size of consistent memory pool" if CONSISTENT_SIZE_BOOL
239 default "0x00200000" if NOT_COHERENT_CACHE
245 menu "Exectuable file formats"
247 source "fs/Kconfig.binfmt"
253 source "drivers/Kconfig"
257 source "arch/microblaze/Kconfig.debug"
259 source "security/Kconfig"
261 source "crypto/Kconfig"