1# For a description of the syntax of this configuration file, 2# see Documentation/kbuild/kconfig-language.txt. 3 4mainmenu "Linux/Microblaze Kernel Configuration" 5 6config MICROBLAZE 7 def_bool y 8 select HAVE_LMB 9 select ARCH_WANT_OPTIONAL_GPIOLIB 10 11config SWAP 12 def_bool n 13 14config RWSEM_GENERIC_SPINLOCK 15 def_bool y 16 17config RWSEM_XCHGADD_ALGORITHM 18 bool 19 20config ARCH_HAS_ILOG2_U32 21 def_bool n 22 23config ARCH_HAS_ILOG2_U64 24 def_bool n 25 26config GENERIC_FIND_NEXT_BIT 27 def_bool y 28 29config GENERIC_HWEIGHT 30 def_bool y 31 32config GENERIC_HARDIRQS 33 def_bool y 34 35config GENERIC_IRQ_PROBE 36 def_bool y 37 38config GENERIC_CALIBRATE_DELAY 39 def_bool y 40 41config GENERIC_TIME 42 def_bool y 43 44config GENERIC_TIME_VSYSCALL 45 def_bool n 46 47config GENERIC_CLOCKEVENTS 48 def_bool y 49 50config GENERIC_HARDIRQS_NO__DO_IRQ 51 def_bool y 52 53config GENERIC_GPIO 54 def_bool y 55 56config PCI 57 depends on !MMU 58 def_bool n 59 60config NO_DMA 61 depends on !MMU 62 def_bool n 63 64source "init/Kconfig" 65 66source "kernel/Kconfig.freezer" 67 68source "arch/microblaze/platform/Kconfig.platform" 69 70menu "Processor type and features" 71 72source kernel/time/Kconfig 73 74source "kernel/Kconfig.preempt" 75 76source "kernel/Kconfig.hz" 77 78config MMU 79 def_bool n 80 81config NO_MMU 82 bool 83 depends on !MMU 84 default y 85 86comment "Boot options" 87 88config CMDLINE_BOOL 89 bool "Default bootloader kernel arguments" 90 91config CMDLINE 92 string "Default kernel command string" 93 depends on CMDLINE_BOOL 94 default "console=ttyUL0,115200" 95 help 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 99 here. 100 101config CMDLINE_FORCE 102 bool "Force default kernel command string" 103 depends on CMDLINE_BOOL 104 default n 105 help 106 Set this to have arguments from the default kernel command string 107 override those passed by the boot loader. 108 109config OF 110 def_bool y 111 112config PROC_DEVICETREE 113 bool "Support for device tree in /proc" 114 depends on PROC_FS 115 help 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. 119 120endmenu 121 122source "mm/Kconfig" 123 124menu "Exectuable file formats" 125 126source "fs/Kconfig.binfmt" 127 128endmenu 129 130source "net/Kconfig" 131 132source "drivers/Kconfig" 133 134source "fs/Kconfig" 135 136source "arch/microblaze/Kconfig.debug" 137 138source "security/Kconfig" 139 140source "crypto/Kconfig" 141 142source "lib/Kconfig" 143