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