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 ARCH_WANT_OPTIONAL_GPIOLIB
14 config RWSEM_GENERIC_SPINLOCK
17 config RWSEM_XCHGADD_ALGORITHM
20 config ARCH_HAS_ILOG2_U32
23 config ARCH_HAS_ILOG2_U64
26 config GENERIC_FIND_NEXT_BIT
29 config GENERIC_HWEIGHT
32 config GENERIC_HARDIRQS
35 config GENERIC_IRQ_PROBE
38 config GENERIC_CALIBRATE_DELAY
44 config GENERIC_TIME_VSYSCALL
47 config GENERIC_CLOCKEVENTS
50 config GENERIC_HARDIRQS_NO__DO_IRQ
66 source "kernel/Kconfig.freezer"
68 source "arch/microblaze/platform/Kconfig.platform"
70 menu "Processor type and features"
72 source kernel/time/Kconfig
74 source "kernel/Kconfig.preempt"
76 source "kernel/Kconfig.hz"
86 comment "Boot options"
89 bool "Default bootloader kernel arguments"
92 string "Default kernel command string"
93 depends on CMDLINE_BOOL
94 default "console=ttyUL0,115200"
96 On some architectures there is currently no way for the boot loader
97 to pass arguments to the kernel. For these architectures, you should
98 supply some command-line options at build time by entering them
102 bool "Force default kernel command string"
103 depends on CMDLINE_BOOL
106 Set this to have arguments from the default kernel command string
107 override those passed by the boot loader.
112 config PROC_DEVICETREE
113 bool "Support for device tree in /proc"
116 This option adds a device-tree directory under /proc which contains
117 an image of the device tree that the kernel copies from Open
118 Firmware or other boot firmware. If unsure, say Y here.
124 menu "Exectuable file formats"
126 source "fs/Kconfig.binfmt"
132 source "drivers/Kconfig"
136 source "arch/microblaze/Kconfig.debug"
138 source "security/Kconfig"
140 source "crypto/Kconfig"