KVM: MMU: protect kvm_mmu_change_mmu_pages with mmu_lock
[linux-2.6/cjktty.git] / arch / microblaze / Kconfig
blob8cc312b5d4dce12b0f591bb9b1063b7b33827bd0
1 # For a description of the syntax of this configuration file,
2 # see Documentation/kbuild/kconfig-language.txt.
4 mainmenu "Linux/Microblaze Kernel Configuration"
6 config MICROBLAZE
7         def_bool y
8         select HAVE_LMB
10 config SWAP
11         def_bool n
13 config RWSEM_GENERIC_SPINLOCK
14         def_bool y
16 config RWSEM_XCHGADD_ALGORITHM
17         bool
19 config ARCH_HAS_ILOG2_U32
20         def_bool n
22 config ARCH_HAS_ILOG2_U64
23         def_bool n
25 config GENERIC_FIND_NEXT_BIT
26         def_bool y
28 config GENERIC_HWEIGHT
29         def_bool y
31 config GENERIC_HARDIRQS
32         def_bool y
34 config GENERIC_IRQ_PROBE
35         def_bool y
37 config GENERIC_CALIBRATE_DELAY
38         def_bool y
40 config GENERIC_TIME
41         def_bool y
43 config GENERIC_TIME_VSYSCALL
44         def_bool n
46 config GENERIC_CLOCKEVENTS
47         def_bool y
49 config GENERIC_HARDIRQS_NO__DO_IRQ
50         def_bool y
52 config PCI
53         depends on !MMU
54         def_bool n
56 config NO_DMA
57         depends on !MMU
58         def_bool n
60 source "init/Kconfig"
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"
74 config MMU
75         def_bool n
77 config NO_MMU
78         bool
79         depends on !MMU
80         default y
82 comment "Boot options"
84 config CMDLINE_BOOL
85         bool "Default bootloader kernel arguments"
87 config 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.
97 config 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.
105 config OF
106         def_bool y
108 config OF_DEVICE
109         def_bool y
111 config 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.
119 endmenu
121 source "mm/Kconfig"
123 menu "Exectuable file formats"
125 source "fs/Kconfig.binfmt"
127 endmenu
129 source "net/Kconfig"
131 source "drivers/Kconfig"
133 source "fs/Kconfig"
135 source "arch/microblaze/Kconfig.debug"
137 source "security/Kconfig"
139 source "crypto/Kconfig"
141 source "lib/Kconfig"