mm: fix exec activate_mm vs TLB shootdown and lazy tlb switching race
[linux/fpc-iii.git] / arch / arm / mach-s3c64xx / Kconfig
blobafd1f20be49ed6d309b924e69b3e5870dce35c25
1 # Copyright 2008 Openmoko, Inc.
2 #       Simtec Electronics, Ben Dooks <ben@simtec.co.uk>
4 # Licensed under GPLv2
5 menuconfig ARCH_S3C64XX
6         bool "Samsung S3C64XX"
7         depends on ARCH_MULTI_V6
8         select ARM_AMBA
9         select ARM_VIC
10         select CLKSRC_SAMSUNG_PWM
11         select COMMON_CLK_SAMSUNG
12         select GPIO_SAMSUNG if ATAGS
13         select GPIOLIB
14         select HAVE_S3C2410_I2C if I2C
15         select HAVE_S3C2410_WATCHDOG if WATCHDOG
16         select HAVE_TCM
17         select PLAT_SAMSUNG
18         select PM_GENERIC_DOMAINS if PM
19         select S3C_DEV_NAND if ATAGS
20         select S3C_GPIO_TRACK if ATAGS
21         select SAMSUNG_ATAGS if ATAGS
22         select SAMSUNG_WAKEMASK if PM
23         select SAMSUNG_WDT_RESET
24         help
25           Samsung S3C64XX series based systems
27 if ARCH_S3C64XX
29 # Configuration options for the S3C6410 CPU
31 config CPU_S3C6400
32         bool
33         help
34           Enable S3C6400 CPU support
36 config CPU_S3C6410
37         bool
38         help
39           Enable S3C6410 CPU support
41 config S3C64XX_PL080
42         def_bool DMADEVICES
43         select AMBA_PL08X
45 config S3C64XX_SETUP_SDHCI
46         bool
47         select S3C64XX_SETUP_SDHCI_GPIO
48         help
49           Internal configuration for default SDHCI setup for S3C6400 and
50           S3C6410 SoCs.
52 config S3C64XX_DEV_ONENAND1
53         bool
54         help
55           Compile in platform device definition for OneNAND1 controller
57 config SAMSUNG_DEV_BACKLIGHT
58         bool
59         depends on SAMSUNG_DEV_PWM
60         help
61           Compile in platform device definition LCD backlight with PWM Timer
63 # platform specific device setup
65 config S3C64XX_SETUP_I2C0
66         bool
67         default y
68         help
69           Common setup code for i2c bus 0.
71           Note, currently since i2c0 is always compiled, this setup helper
72           is always compiled with it.
74 config S3C64XX_SETUP_I2C1
75         bool
76         help
77           Common setup code for i2c bus 1.
79 config S3C64XX_SETUP_IDE
80         bool
81         help
82           Common setup code for S3C64XX IDE.
84 config S3C64XX_SETUP_FB_24BPP
85         bool
86         help
87           Common setup code for S3C64XX with an 24bpp RGB display helper.
89 config S3C64XX_SETUP_KEYPAD
90         bool
91         help
92           Common setup code for S3C64XX KEYPAD GPIO configurations
94 config S3C64XX_SETUP_SDHCI_GPIO
95         bool
96         help
97           Common setup code for S3C64XX SDHCI GPIO configurations
99 config S3C64XX_SETUP_SPI
100         bool
101         help
102          Common setup code for SPI GPIO configurations
104 config S3C64XX_SETUP_USB_PHY
105         bool
106         help
107           Common setup code for USB PHY controller
109 # S36400 Macchine support
111 config MACH_SMDK6400
112        bool "SMDK6400"
113         depends on ATAGS
114         select CPU_S3C6400
115         select S3C64XX_SETUP_SDHCI
116         select S3C_DEV_HSMMC1
117         help
118           Machine support for the Samsung SMDK6400
120 # S3C6410 machine support
122 config MACH_ANW6410
123         bool "A&W6410"
124         depends on ATAGS
125         select CPU_S3C6410
126         select S3C64XX_SETUP_FB_24BPP
127         select S3C_DEV_FB
128         help
129           Machine support for the A&W6410
131 config MACH_MINI6410
132         bool "MINI6410"
133         depends on ATAGS
134         select CPU_S3C6410
135         select S3C64XX_SETUP_FB_24BPP
136         select S3C64XX_SETUP_SDHCI
137         select S3C_DEV_FB
138         select S3C_DEV_HSMMC
139         select S3C_DEV_HSMMC1
140         select S3C_DEV_NAND
141         select S3C_DEV_USB_HOST
142         select SAMSUNG_DEV_ADC
143         select SAMSUNG_DEV_TS
144         help
145           Machine support for the FriendlyARM MINI6410
147 config MACH_REAL6410
148         bool "REAL6410"
149         depends on ATAGS
150         select CPU_S3C6410
151         select S3C64XX_SETUP_FB_24BPP
152         select S3C64XX_SETUP_SDHCI
153         select S3C_DEV_FB
154         select S3C_DEV_HSMMC
155         select S3C_DEV_HSMMC1
156         select S3C_DEV_NAND
157         select S3C_DEV_USB_HOST
158         select SAMSUNG_DEV_ADC
159         select SAMSUNG_DEV_TS
160         help
161           Machine support for the CoreWind REAL6410
163 config MACH_SMDK6410
164         bool "SMDK6410"
165         depends on ATAGS
166         select CPU_S3C6410
167         select HAVE_S3C2410_WATCHDOG if WATCHDOG
168         select S3C64XX_SETUP_FB_24BPP
169         select S3C64XX_SETUP_I2C1
170         select S3C64XX_SETUP_IDE
171         select S3C64XX_SETUP_KEYPAD
172         select S3C64XX_SETUP_SDHCI
173         select S3C64XX_SETUP_USB_PHY
174         select S3C_DEV_FB
175         select S3C_DEV_HSMMC
176         select S3C_DEV_HSMMC1
177         select S3C_DEV_I2C1
178         select S3C_DEV_RTC
179         select S3C_DEV_USB_HOST
180         select S3C_DEV_USB_HSOTG
181         select S3C_DEV_WDT
182         select SAMSUNG_DEV_ADC
183         select SAMSUNG_DEV_BACKLIGHT
184         select SAMSUNG_DEV_IDE
185         select SAMSUNG_DEV_KEYPAD
186         select SAMSUNG_DEV_PWM
187         select SAMSUNG_DEV_TS
188         help
189           Machine support for the Samsung SMDK6410
191 # At least some of the SMDK6410s were shipped with the card detect
192 # for the MMC/SD slots connected to the same input. This means that
193 # either the boards need to be altered to have channel0 to an alternate
194 # configuration or that only one slot can be used.
196 choice
197         prompt "SMDK6410 MMC/SD slot setup"
198         depends on MACH_SMDK6410
200 config SMDK6410_SD_CH0
201         bool "Use channel 0 only"
202         depends on MACH_SMDK6410
203         help
204           Select CON7 (channel 0) as the MMC/SD slot, as
205           at least some SMDK6410 boards come with the
206           resistors fitted so that the card detects for
207           channels 0 and 1 are the same.
209 config SMDK6410_SD_CH1
210         bool "Use channel 1 only"
211         depends on MACH_SMDK6410
212         help
213           Select CON6 (channel 1) as the MMC/SD slot, as
214           at least some SMDK6410 boards come with the
215           resistors fitted so that the card detects for
216           channels 0 and 1 are the same.
218 endchoice
220 config SMDK6410_WM1190_EV1
221         bool "Support Wolfson Microelectronics 1190-EV1 PMIC card"
222         depends on MACH_SMDK6410
223         depends on I2C=y
224         select MFD_WM8350_I2C
225         select REGULATOR
226         select REGULATOR_WM8350
227         help
228           The Wolfson Microelectronics 1190-EV1 is a WM835x based PMIC
229           and audio daughtercard for the Samsung SMDK6410 reference
230           platform.  Enabling this option will build support for this
231           module into the kernel.  The presence of the module will be
232           detected at runtime so the resulting kernel can be used
233           with or without the 1190-EV1 fitted.
235 config SMDK6410_WM1192_EV1
236         bool "Support Wolfson Microelectronics 1192-EV1 PMIC card"
237         depends on MACH_SMDK6410
238         depends on I2C=y
239         select MFD_WM831X
240         select MFD_WM831X_I2C
241         select REGULATOR
242         select REGULATOR_WM831X
243         help
244           The Wolfson Microelectronics 1192-EV1 is a WM831x based PMIC
245           daughtercard for the Samsung SMDK6410 reference platform.
246           Enabling this option will build support for this module into
247           the kernel.  The presence of the daughtercard will be
248           detected at runtime so the resulting kernel can be used
249           with or without the 1192-EV1 fitted.
251 config MACH_NCP
252         bool "NCP"
253         depends on ATAGS
254         select CPU_S3C6410
255         select S3C64XX_SETUP_I2C1
256         select S3C_DEV_HSMMC1
257         select S3C_DEV_I2C1
258         help
259           Machine support for the Samsung NCP
261 config MACH_HMT
262         bool "Airgoo HMT"
263         depends on ATAGS
264         select CPU_S3C6410
265         select S3C64XX_SETUP_FB_24BPP
266         select S3C_DEV_FB
267         select S3C_DEV_NAND
268         select S3C_DEV_USB_HOST
269         select SAMSUNG_DEV_PWM
270         help
271           Machine support for the Airgoo HMT
273 config MACH_SMARTQ
274         bool
275         select CPU_S3C6410
276         select S3C64XX_SETUP_FB_24BPP
277         select S3C64XX_SETUP_SDHCI
278         select S3C64XX_SETUP_USB_PHY
279         select S3C_DEV_FB
280         select S3C_DEV_HSMMC
281         select S3C_DEV_HSMMC1
282         select S3C_DEV_HSMMC2
283         select S3C_DEV_HWMON
284         select S3C_DEV_RTC
285         select S3C_DEV_USB_HOST
286         select S3C_DEV_USB_HSOTG
287         select SAMSUNG_DEV_ADC
288         select SAMSUNG_DEV_PWM
289         select SAMSUNG_DEV_TS
290         help
291             Shared machine support for SmartQ 5/7
293 config MACH_SMARTQ5
294         bool "SmartQ 5"
295         depends on ATAGS
296         select MACH_SMARTQ
297         help
298             Machine support for the SmartQ 5
300 config MACH_SMARTQ7
301         bool "SmartQ 7"
302         depends on ATAGS
303         select MACH_SMARTQ
304         help
305             Machine support for the SmartQ 7
307 config MACH_WLF_CRAGG_6410
308         bool "Wolfson Cragganmore 6410"
309         depends on ATAGS
310         depends on I2C=y
311         select CPU_S3C6410
312         select LEDS_GPIO_REGISTER
313         select S3C64XX_DEV_SPI0
314         select S3C64XX_SETUP_FB_24BPP
315         select S3C64XX_SETUP_I2C1
316         select S3C64XX_SETUP_IDE
317         select S3C64XX_SETUP_KEYPAD
318         select S3C64XX_SETUP_SDHCI
319         select S3C64XX_SETUP_SPI
320         select S3C64XX_SETUP_USB_PHY
321         select S3C_DEV_FB
322         select S3C_DEV_HSMMC
323         select S3C_DEV_HSMMC1
324         select S3C_DEV_HSMMC2
325         select S3C_DEV_I2C1
326         select S3C_DEV_RTC
327         select S3C_DEV_USB_HOST
328         select S3C_DEV_USB_HSOTG
329         select S3C_DEV_WDT
330         select SAMSUNG_DEV_ADC
331         select SAMSUNG_DEV_KEYPAD
332         select SAMSUNG_DEV_PWM
333         help
334           Machine support for the Wolfson Cragganmore S3C6410 variant.
336 config MACH_S3C64XX_DT
337         bool "Samsung S3C6400/S3C6410 machine using Device Tree"
338         select TIMER_OF
339         select CPU_S3C6400
340         select CPU_S3C6410
341         select PINCTRL
342         select PINCTRL_S3C64XX
343         help
344           Machine support for Samsung S3C6400/S3C6410 machines with Device Tree
345           enabled.
346           Select this if a fdt blob is available for your S3C64XX SoC based
347           board.
348           Note: This is under development and not all peripherals can be
349           supported with this machine file.
351 endif