1 # For a description of the syntax of this configuration file,
2 # see Documentation/kbuild/kconfig-language.txt.
4 mainmenu "Linux/Microblaze Kernel Configuration"
13 config RWSEM_GENERIC_SPINLOCK
16 config RWSEM_XCHGADD_ALGORITHM
19 config ARCH_HAS_ILOG2_U32
22 config ARCH_HAS_ILOG2_U64
25 config GENERIC_FIND_NEXT_BIT
28 config GENERIC_HWEIGHT
31 config GENERIC_HARDIRQS
34 config GENERIC_IRQ_PROBE
37 config GENERIC_CALIBRATE_DELAY
43 config GENERIC_TIME_VSYSCALL
46 config GENERIC_CLOCKEVENTS
49 config GENERIC_HARDIRQS_NO__DO_IRQ
62 source "kernel/Kconfig.freezer"
64 source "arch/microblaze/platform/Kconfig.platform"
66 menu "Processor type and features"
68 source kernel/time/Kconfig
70 source "kernel/Kconfig.preempt"
72 source "kernel/Kconfig.hz"
82 comment "Boot options"
85 bool "Default bootloader kernel arguments"
88 string "Default kernel command string"
89 depends on CMDLINE_BOOL
90 default "console=ttyUL0,115200"
92 On some architectures there is currently no way for the boot loader
93 to pass arguments to the kernel. For these architectures, you should
94 supply some command-line options at build time by entering them
98 bool "Force default kernel command string"
99 depends on CMDLINE_BOOL
102 Set this to have arguments from the default kernel command string
103 override those passed by the boot loader.
111 config PROC_DEVICETREE
112 bool "Support for device tree in /proc"
115 This option adds a device-tree directory under /proc which contains
116 an image of the device tree that the kernel copies from Open
117 Firmware or other boot firmware. If unsure, say Y here.
123 menu "Exectuable file formats"
125 source "fs/Kconfig.binfmt"
131 source "drivers/Kconfig"
135 source "arch/microblaze/Kconfig.debug"
137 source "security/Kconfig"
139 source "crypto/Kconfig"