]> git.ipfire.org Git - ipfire-3.x.git/blame - kernel/config-armv7hl-exynos
kernel: Update to 3.8.6.
[ipfire-3.x.git] / kernel / config-armv7hl-exynos
CommitLineData
81bb0557
MT
1CONFIG_NO_IOPORT=y
2CONFIG_ARCH_HAS_CPUFREQ=y
3CONFIG_NEED_MACH_GPIO_H=y
4CONFIG_NEED_MACH_MEMORY_H=y
5
6#
7# IRQ subsystem
8#
9CONFIG_GENERIC_IRQ_CHIP=y
10CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
11
12#
13# RCU Subsystem
14#
15CONFIG_TREE_RCU=y
16CONFIG_RCU_FANOUT=32
17CONFIG_RCU_FANOUT_LEAF=16
18# CONFIG_RCU_FANOUT_EXACT is not set
19CONFIG_RCU_FAST_NO_HZ=y
6ae109d5 20CONFIG_RCU_NOCB_CPU=y
81bb0557
MT
21
22#
23# Kernel Performance Events And Counters
24#
25CONFIG_USE_GENERIC_SMP_HELPERS=y
26
27#
28# IO Schedulers
29#
30CONFIG_PADATA=y
31CONFIG_MUTEX_SPIN_ON_OWNER=y
32
33#
34# System Type
35#
36# CONFIG_ARCH_VERSATILE is not set
37CONFIG_ARCH_EXYNOS=y
38CONFIG_PLAT_SAMSUNG=y
39CONFIG_PLAT_S5P=y
40
41#
42# Boot options
43#
44# CONFIG_S3C_BOOT_ERROR_RESET is not set
45CONFIG_S3C_BOOT_UART_FORCE_FIFO=y
46CONFIG_S3C_LOWLEVEL_UART_PORT=1
47CONFIG_SAMSUNG_CLOCK=y
48CONFIG_SAMSUNG_CLKSRC=y
49CONFIG_S5P_CLOCK=y
50CONFIG_SAMSUNG_IRQ_VIC_TIMER=y
51CONFIG_S5P_IRQ=y
52CONFIG_SAMSUNG_GPIOLIB_4BIT=y
53CONFIG_S5P_GPIO_DRVSTR=y
54CONFIG_SAMSUNG_GPIO_EXTRA=0
55CONFIG_S3C_GPIO_SPACE=0
56CONFIG_S3C_GPIO_TRACK=y
57# CONFIG_S3C_ADC is not set
58CONFIG_S3C_DEV_HSMMC2=y
59CONFIG_S3C_DEV_HSMMC3=y
60CONFIG_S3C_DEV_I2C1=y
61CONFIG_S3C_DEV_I2C3=y
62CONFIG_S3C_DEV_I2C7=y
63CONFIG_S3C_DEV_USB_HSOTG=y
64CONFIG_S3C_DEV_WDT=y
65CONFIG_S3C_DEV_RTC=y
66CONFIG_SAMSUNG_DEV_KEYPAD=y
67CONFIG_SAMSUNG_DEV_PWM=y
68CONFIG_SAMSUNG_DEV_BACKLIGHT=y
69CONFIG_S5P_DEV_FIMC0=y
70CONFIG_S5P_DEV_FIMC1=y
71CONFIG_S5P_DEV_FIMC2=y
72CONFIG_S5P_DEV_FIMC3=y
73CONFIG_S5P_DEV_FIMD0=y
74CONFIG_S5P_DEV_MFC=y
75CONFIG_S3C24XX_PWM=y
76CONFIG_SAMSUNG_DMADEV=y
77
78#
79# Power management
80#
81# CONFIG_SAMSUNG_PM_DEBUG is not set
82# CONFIG_SAMSUNG_PM_CHECK is not set
83CONFIG_S5P_PM=y
84CONFIG_S5P_SLEEP=y
85CONFIG_DEBUG_S3C_UART=0
86
87#
88# SAMSUNG EXYNOS SoCs Support
89#
90CONFIG_ARCH_EXYNOS4=y
91# CONFIG_ARCH_EXYNOS5 is not set
92
93#
94# EXYNOS SoCs
95#
96# CONFIG_CPU_EXYNOS4210 is not set
97CONFIG_SOC_EXYNOS4212=y
98CONFIG_SOC_EXYNOS4412=y
99CONFIG_EXYNOS4_MCT=y
100CONFIG_EXYNOS_DEV_DMA=y
101CONFIG_EXYNOS_DEV_DRM=y
102CONFIG_EXYNOS4_SETUP_FIMD0=y
103CONFIG_EXYNOS_DEV_SYSMMU=y
104CONFIG_EXYNOS4_SETUP_I2C1=y
105CONFIG_EXYNOS4_SETUP_I2C3=y
106CONFIG_EXYNOS4_SETUP_I2C7=y
107CONFIG_EXYNOS4_SETUP_KEYPAD=y
108CONFIG_EXYNOS4_SETUP_SDHCI=y
109CONFIG_EXYNOS4_SETUP_SDHCI_GPIO=y
110CONFIG_EXYNOS4_SETUP_USB_PHY=y
111
112#
113# EXYNOS4210 Boards
114#
115# CONFIG_MACH_SMDKC210 is not set
116# CONFIG_MACH_SMDKV310 is not set
117# CONFIG_MACH_ARMLEX4210 is not set
118# CONFIG_MACH_UNIVERSAL_C210 is not set
119# CONFIG_MACH_NURI is not set
120# CONFIG_MACH_ORIGEN is not set
121
122#
123# EXYNOS4212 Boards
124#
125CONFIG_MACH_SMDK4212=y
126
127#
128# EXYNOS4412 Boards
129#
130CONFIG_MACH_SMDK4412=y
131
132#
133# Flattened Device Tree based board for EXYNOS SoCs
134#
135# CONFIG_MACH_EXYNOS4_DT is not set
136
137#
138# Configuration for HSMMC 8-bit bus width
139#
140# CONFIG_EXYNOS4_SDHCI_CH0_8BIT is not set
141# CONFIG_EXYNOS4_SDHCI_CH2_8BIT is not set
142
143#
144# Processor Type
145#
146CONFIG_CPU_V7=y
147CONFIG_CPU_32v6K=y
148CONFIG_CPU_32v7=y
149CONFIG_CPU_ABRT_EV7=y
150CONFIG_CPU_PABRT_V7=y
151CONFIG_CPU_CACHE_V7=y
152CONFIG_CPU_CACHE_VIPT=y
153CONFIG_CPU_COPY_V6=y
154CONFIG_CPU_TLB_V7=y
155CONFIG_CPU_HAS_ASID=y
156
157#
158# Processor Features
159#
967da24b 160# CONFIG_ARM_LPAE is not set
81bb0557
MT
161# CONFIG_ARM_THUMBEE is not set
162CONFIG_ARM_VIRT_EXT=y
163CONFIG_SWP_EMULATE=y
164# CONFIG_CPU_BPREDICT_DISABLE is not set
165CONFIG_OUTER_CACHE=y
166CONFIG_OUTER_CACHE_SYNC=y
167CONFIG_MIGHT_HAVE_CACHE_L2X0=y
168CONFIG_CACHE_L2X0=y
169CONFIG_CACHE_PL310=y
170CONFIG_ARM_L1_CACHE_SHIFT_6=y
171CONFIG_ARM_L1_CACHE_SHIFT=6
172CONFIG_ARM_DMA_MEM_BUFFERABLE=y
173CONFIG_ARM_ERRATA_430973=y
174CONFIG_ARM_ERRATA_458693=y
175CONFIG_ARM_ERRATA_460075=y
176CONFIG_ARM_ERRATA_742230=y
177CONFIG_ARM_ERRATA_742231=y
178CONFIG_PL310_ERRATA_588369=y
179CONFIG_ARM_ERRATA_720789=y
180CONFIG_PL310_ERRATA_727915=y
181CONFIG_ARM_ERRATA_743622=y
182CONFIG_ARM_ERRATA_751472=y
183CONFIG_PL310_ERRATA_753970=y
184CONFIG_ARM_ERRATA_754322=y
185CONFIG_ARM_ERRATA_754327=y
186CONFIG_ARM_ERRATA_764369=y
187CONFIG_PL310_ERRATA_769419=y
188CONFIG_ARM_ERRATA_775420=y
0122c4a7 189CONFIG_ARM_ERRATA_798181=y
81bb0557
MT
190CONFIG_ARM_GIC=y
191CONFIG_GIC_NON_BANKED=y
192
193#
194# Bus support
195#
196# CONFIG_PCI_SYSCALL is not set
197# CONFIG_PCCARD is not set
198
199#
200# Kernel Features
201#
202CONFIG_SMP=y
203CONFIG_SMP_ON_UP=y
204CONFIG_ARM_CPU_TOPOLOGY=y
205CONFIG_SCHED_MC=y
206CONFIG_SCHED_SMT=y
207# CONFIG_ARM_ARCH_TIMER is not set
208CONFIG_NR_CPUS=8
209CONFIG_HOTPLUG_CPU=y
210CONFIG_LOCAL_TIMERS=y
211CONFIG_HZ=200
212# CONFIG_THUMB2_KERNEL is not set
213CONFIG_ARCH_HAS_HOLES_MEMORYMODEL=y
214CONFIG_ARCH_SPARSEMEM_ENABLE=y
215CONFIG_ARCH_SPARSEMEM_DEFAULT=y
216CONFIG_ARCH_SELECT_MEMORY_MODEL=y
217CONFIG_SPARSEMEM_MANUAL=y
218CONFIG_SPARSEMEM=y
219CONFIG_SPARSEMEM_EXTREME=y
220CONFIG_SPLIT_PTLOCK_CPUS=4
81bb0557
MT
221
222#
223# Boot options
224#
225# CONFIG_USE_OF is not set
226CONFIG_CMDLINE="console=ttySAC1,115200 root=/dev/mmcblk0p2 rootwait"
227
228#
229# CPU Frequency scaling
230#
231# CONFIG_CPU_FREQ is not set
81bb0557
MT
232
233#
234# At least one emulation must be selected
235#
236CONFIG_VFPv3=y
237CONFIG_NEON=y
238
239#
240# Power management options
241#
242CONFIG_PM_SLEEP_SMP=y
243
244#
245# Classification
246#
247CONFIG_RPS=y
248CONFIG_RFS_ACCEL=y
249CONFIG_XPS=y
250
251#
252# Bluetooth device drivers
253#
254# CONFIG_RFKILL_REGULATOR is not set
255
256#
257# Generic Driver Options
258#
259CONFIG_REGMAP_I2C=y
81bb0557
MT
260
261#
262# Bus devices
263#
264CONFIG_MTD=y
265CONFIG_MTD_TESTS=m
266# CONFIG_MTD_REDBOOT_PARTS is not set
267CONFIG_MTD_CMDLINE_PARTS=y
268# CONFIG_MTD_AFS_PARTS is not set
269# CONFIG_MTD_AR7_PARTS is not set
270
271#
272# User Modules And Translation Layers
273#
274CONFIG_MTD_CHAR=y
275CONFIG_MTD_BLKDEVS=y
276CONFIG_MTD_BLOCK=y
277# CONFIG_FTL is not set
278# CONFIG_NFTL is not set
279# CONFIG_INFTL is not set
280# CONFIG_RFD_FTL is not set
281# CONFIG_SSFDC is not set
282CONFIG_SM_FTL=m
283# CONFIG_MTD_OOPS is not set
284# CONFIG_MTD_SWAP is not set
285
286#
287# RAM/ROM/Flash chip drivers
288#
289# CONFIG_MTD_CFI is not set
290# CONFIG_MTD_JEDECPROBE is not set
291CONFIG_MTD_MAP_BANK_WIDTH_1=y
292CONFIG_MTD_MAP_BANK_WIDTH_2=y
293CONFIG_MTD_MAP_BANK_WIDTH_4=y
294# CONFIG_MTD_MAP_BANK_WIDTH_8 is not set
295# CONFIG_MTD_MAP_BANK_WIDTH_16 is not set
296# CONFIG_MTD_MAP_BANK_WIDTH_32 is not set
297CONFIG_MTD_CFI_I1=y
298CONFIG_MTD_CFI_I2=y
299# CONFIG_MTD_CFI_I4 is not set
300# CONFIG_MTD_CFI_I8 is not set
301CONFIG_MTD_RAM=m
302# CONFIG_MTD_ROM is not set
303# CONFIG_MTD_ABSENT is not set
304
305#
306# Mapping drivers for chip access
307#
308# CONFIG_MTD_COMPLEX_MAPPINGS is not set
309CONFIG_MTD_PLATRAM=m
310
311#
312# Self-contained MTD device drivers
313#
314CONFIG_MTD_SLRAM=m
315CONFIG_MTD_PHRAM=m
316# CONFIG_MTD_MTDRAM is not set
317# CONFIG_MTD_BLOCK2MTD is not set
318
319#
320# Disk-On-Chip Device Drivers
321#
322# CONFIG_MTD_DOC2000 is not set
323# CONFIG_MTD_DOC2001 is not set
324# CONFIG_MTD_DOC2001PLUS is not set
325# CONFIG_MTD_DOCG3 is not set
326CONFIG_MTD_NAND_ECC=y
327# CONFIG_MTD_NAND_ECC_SMC is not set
328CONFIG_MTD_NAND=y
329# CONFIG_MTD_NAND_ECC_BCH is not set
330# CONFIG_MTD_SM_COMMON is not set
331# CONFIG_MTD_NAND_MUSEUM_IDS is not set
6ae109d5 332# CONFIG_MTD_NAND_DENALI is not set
81bb0557
MT
333# CONFIG_MTD_NAND_GPIO is not set
334CONFIG_MTD_NAND_IDS=y
335# CONFIG_MTD_NAND_DISKONCHIP is not set
336# CONFIG_MTD_NAND_DOCG4 is not set
337# CONFIG_MTD_NAND_NANDSIM is not set
338CONFIG_MTD_NAND_PLATFORM=y
339# CONFIG_MTD_ALAUDA is not set
340CONFIG_MTD_ONENAND=y
341# CONFIG_MTD_ONENAND_VERIFY_WRITE is not set
342# CONFIG_MTD_ONENAND_GENERIC is not set
343# CONFIG_MTD_ONENAND_SAMSUNG is not set
344# CONFIG_MTD_ONENAND_OTP is not set
345CONFIG_MTD_ONENAND_2X_PROGRAM=y
346CONFIG_MTD_ONENAND_SIM=m
347
348#
349# LPDDR flash memory drivers
350#
351# CONFIG_MTD_LPDDR is not set
352# CONFIG_MTD_UBI is not set
353# CONFIG_PARPORT is not set
354CONFIG_BLK_DEV_RAM_SIZE=65536
355CONFIG_MG_DISK=m
356CONFIG_MG_DISK_RES=0
357
358#
359# Generic fallback / legacy drivers
360#
361# CONFIG_MULTICORE_RAID456 is not set
362
363#
364# Input device support
365#
366CONFIG_INPUT_FF_MEMLESS=y
367
368#
369# Input Device Drivers
370#
81bb0557
MT
371CONFIG_KEYBOARD_TWL4030=m
372CONFIG_MOUSE_GPIO=m
373CONFIG_INPUT_TWL4030_PWRBUTTON=y
374CONFIG_INPUT_TWL4030_VIBRA=y
375CONFIG_INPUT_TWL6040_VIBRA=y
6ae109d5 376CONFIG_INPUT_DA9055_ONKEY=m
81bb0557
MT
377
378#
379# Serial drivers
380#
381CONFIG_SERIAL_8250_DETECT_IRQ=y
382
383#
384# Non-8250 serial port support
385#
386# CONFIG_SERIAL_AMBA_PL010 is not set
387CONFIG_SERIAL_SAMSUNG=y
388CONFIG_SERIAL_SAMSUNG_UARTS_4=y
389CONFIG_SERIAL_SAMSUNG_UARTS=4
390CONFIG_SERIAL_SAMSUNG_DEBUG=y
391CONFIG_SERIAL_SAMSUNG_CONSOLE=y
392CONFIG_I2C=y
393
394#
395# I2C system bus drivers (mostly embedded / system-on-chip)
396#
397# CONFIG_I2C_NOMADIK is not set
398# CONFIG_I2C_S3C2410 is not set
399
400#
6ae109d5 401# Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
81bb0557
MT
402#
403CONFIG_ARCH_REQUIRE_GPIOLIB=y
6ae109d5 404CONFIG_GPIO_DA9055=m
81bb0557
MT
405
406#
407# I2C GPIO expanders:
408#
409# CONFIG_GPIO_SX150X is not set
410CONFIG_GPIO_TWL4030=y
411CONFIG_GPIO_TWL6040=m
412
413#
414# 1-wire Slaves
415#
416# CONFIG_CHARGER_TWL4030 is not set
417# CONFIG_CHARGER_MANAGER is not set
418
419#
420# Native drivers
421#
6ae109d5 422CONFIG_SENSORS_DA9055=m
81bb0557
MT
423
424#
425# Watchdog Device Drivers
426#
6ae109d5 427CONFIG_DA9055_WATCHDOG=m
81bb0557
MT
428# CONFIG_S3C2410_WATCHDOG is not set
429# CONFIG_TWL4030_WATCHDOG is not set
430
431#
432# Multifunction device drivers
433#
434CONFIG_MFD_CORE=y
435# CONFIG_MFD_88PM860X is not set
436# CONFIG_MFD_88PM800 is not set
437# CONFIG_MFD_88PM805 is not set
438# CONFIG_HTC_I2CPLD is not set
439# CONFIG_MFD_TPS6586X is not set
440# CONFIG_MFD_TPS65910 is not set
441# CONFIG_MFD_TPS65912_I2C is not set
6ae109d5 442# CONFIG_MFD_TPS80031 is not set
81bb0557
MT
443CONFIG_TWL4030_CORE=y
444# CONFIG_TWL4030_MADC is not set
445CONFIG_TWL4030_POWER=y
446CONFIG_MFD_TWL4030_AUDIO=y
447CONFIG_TWL6040_CORE=y
448# CONFIG_MFD_STMPE is not set
449# CONFIG_MFD_TC3589X is not set
450CONFIG_MFD_SMSC=y
451# CONFIG_PMIC_DA903X is not set
452# CONFIG_MFD_DA9052_I2C is not set
453CONFIG_MFD_DA9055=y
454# CONFIG_PMIC_ADP5520 is not set
455CONFIG_MFD_LP8788=y
456# CONFIG_MFD_MAX77686 is not set
457# CONFIG_MFD_MAX77693 is not set
458CONFIG_MFD_MAX8907=m
459# CONFIG_MFD_MAX8925 is not set
460# CONFIG_MFD_MAX8997 is not set
461# CONFIG_MFD_MAX8998 is not set
462# CONFIG_MFD_SEC_CORE is not set
463# CONFIG_MFD_WM8400 is not set
464# CONFIG_MFD_WM831X_I2C is not set
465# CONFIG_MFD_WM8350_I2C is not set
466# CONFIG_MFD_WM8994 is not set
467CONFIG_MFD_TPS65090=y
468# CONFIG_MFD_AAT2870_CORE is not set
469# CONFIG_MFD_RC5T583 is not set
470# CONFIG_MFD_PALMAS is not set
6ae109d5 471# CONFIG_MFD_AS3711 is not set
81bb0557
MT
472CONFIG_REGULATOR=y
473# CONFIG_REGULATOR_DEBUG is not set
474# CONFIG_REGULATOR_DUMMY is not set
475CONFIG_REGULATOR_FIXED_VOLTAGE=y
476# CONFIG_REGULATOR_VIRTUAL_CONSUMER is not set
477# CONFIG_REGULATOR_USERSPACE_CONSUMER is not set
478CONFIG_REGULATOR_GPIO=y
479# CONFIG_REGULATOR_AD5398 is not set
6ae109d5 480# CONFIG_REGULATOR_DA9055 is not set
81bb0557
MT
481CONFIG_REGULATOR_FAN53555=m
482# CONFIG_REGULATOR_ISL6271A is not set
483# CONFIG_REGULATOR_MAX1586 is not set
484# CONFIG_REGULATOR_MAX8649 is not set
485# CONFIG_REGULATOR_MAX8660 is not set
486CONFIG_REGULATOR_MAX8907=m
487# CONFIG_REGULATOR_MAX8952 is not set
6ae109d5 488# CONFIG_REGULATOR_MAX8973 is not set
81bb0557
MT
489# CONFIG_REGULATOR_LP3971 is not set
490# CONFIG_REGULATOR_LP3972 is not set
491CONFIG_REGULATOR_LP872X=y
492CONFIG_REGULATOR_LP8788=y
6ae109d5 493# CONFIG_REGULATOR_TPS51632 is not set
81bb0557
MT
494CONFIG_REGULATOR_TPS62360=m
495# CONFIG_REGULATOR_TPS65023 is not set
496# CONFIG_REGULATOR_TPS6507X is not set
497CONFIG_REGULATOR_TPS65090=m
498CONFIG_REGULATOR_TWL4030=y
499
500#
501# Multimedia core support
502#
503CONFIG_VIDEO_V4L2=y
504
505#
506# Webcam, TV (analog/digital) USB devices
507#
508# CONFIG_VIDEO_SAMSUNG_S5P_FIMC is not set
509CONFIG_VIDEO_SAMSUNG_S5P_TV=y
510CONFIG_VIDEO_SAMSUNG_S5P_HDMI=y
511# CONFIG_VIDEO_SAMSUNG_S5P_HDMI_DEBUG is not set
512CONFIG_VIDEO_SAMSUNG_S5P_HDMIPHY=y
513CONFIG_VIDEO_SAMSUNG_S5P_SII9234=m
514CONFIG_VIDEO_SAMSUNG_S5P_SDO=m
515CONFIG_VIDEO_SAMSUNG_S5P_MIXER=m
516# CONFIG_VIDEO_SAMSUNG_S5P_MIXER_DEBUG is not set
517# CONFIG_VIDEO_SAMSUNG_S5P_G2D is not set
518# CONFIG_VIDEO_SAMSUNG_S5P_JPEG is not set
519# CONFIG_VIDEO_SAMSUNG_S5P_MFC is not set
520
521#
522# Media ancillary drivers (tuners, sensors, i2c, frontends)
523#
524CONFIG_VIDEO_IR_I2C=y
525
526#
527# I2C encoder or helper chips
528#
529# CONFIG_DRM_EXYNOS is not set
530# CONFIG_VGASTATE is not set
531# CONFIG_FB_DDC is not set
532CONFIG_FB_CFB_FILLRECT=y
533CONFIG_FB_CFB_COPYAREA=y
534CONFIG_FB_CFB_IMAGEBLIT=y
535# CONFIG_FB_SVGALIB is not set
536# CONFIG_FB_BACKLIGHT is not set
537
538#
539# Frame buffer hardware drivers
540#
541CONFIG_FB_S3C=y
542# CONFIG_FB_S3C_DEBUG_REGWRITE is not set
543# CONFIG_LCD_PLATFORM is not set
544# CONFIG_BACKLIGHT_PWM is not set
545# CONFIG_BACKLIGHT_PANDORA is not set
546
547#
548# Console display driver support
549#
550# CONFIG_SND_OPL3_LIB_SEQ is not set
551# CONFIG_SND_EMU10K1_SEQ is not set
552# CONFIG_SND_SOC_SAMSUNG is not set
553
554#
6ae109d5 555# I2C HID support
81bb0557
MT
556#
557# CONFIG_USB_ARCH_HAS_XHCI is not set
558
559#
560# USB Host Controller Drivers
561#
562CONFIG_USB_EHCI_S5P=y
563CONFIG_USB_OHCI_EXYNOS=y
564
565#
566# OTG and related infrastructure
567#
568CONFIG_USB_GPIO_VBUS=y
569CONFIG_MMC=y
570
571#
572# MMC/SD/SDIO Card Drivers
573#
574CONFIG_MMC_BLOCK=y
575
576#
577# MMC/SD/SDIO Host Controller Drivers
578#
579CONFIG_MMC_SDHCI=y
580CONFIG_MMC_SDHCI_S3C=y
581CONFIG_MMC_SDHCI_S3C_DMA=y
582
583#
584# LED drivers
585#
586CONFIG_LEDS_GPIO=y
587CONFIG_LEDS_LP8788=m
588# CONFIG_LEDS_REGULATOR is not set
589
590#
591# LED Triggers
592#
593CONFIG_LEDS_TRIGGER_HEARTBEAT=y
594
595#
596# I2C RTC drivers
597#
598CONFIG_RTC_DRV_MAX8907=m
599# CONFIG_RTC_DRV_TWL4030 is not set
600
6ae109d5
MT
601#
602# Platform RTC drivers
603#
604CONFIG_RTC_DRV_DA9055=m
605
81bb0557
MT
606#
607# on-CPU RTC drivers
608#
609# CONFIG_RTC_DRV_S3C is not set
610
611#
612# DMA Clients
613#
614# CONFIG_VFIO is not set
615
616#
617# Hardware Spinlock drivers
618#
619CONFIG_IOMMU_API=y
620CONFIG_EXYNOS_IOMMU=y
621# CONFIG_EXYNOS_IOMMU_DEBUG is not set
622
623#
624# Rpmsg drivers (EXPERIMENTAL)
625#
81bb0557 626CONFIG_PWM_SAMSUNG=y
6ae109d5
MT
627CONFIG_PWM_TWL=m
628CONFIG_PWM_TWL_LED=m
81bb0557
MT
629
630#
631# File systems
632#
633CONFIG_DCACHE_WORD_ACCESS=y
634
635#
636# Pseudo filesystems
637#
638# CONFIG_JFFS2_FS is not set
639
640#
641# Kernel hacking
642#
643CONFIG_RCU_CPU_STALL_TIMEOUT=60
644# CONFIG_RCU_CPU_STALL_INFO is not set
645# CONFIG_DEBUG_PER_CPU_MAPS is not set
646CONFIG_DEBUG_USER=y
647CONFIG_DEBUG_LL=y
648CONFIG_DEBUG_S3C_UART0=y
649# CONFIG_DEBUG_S3C_UART1 is not set
650# CONFIG_DEBUG_S3C_UART2 is not set
6ae109d5 651# CONFIG_DEBUG_S3C_UART3 is not set
81bb0557
MT
652# CONFIG_DEBUG_LL_UART_NONE is not set
653# CONFIG_DEBUG_ICEDCC is not set
654# CONFIG_DEBUG_SEMIHOSTING is not set
655CONFIG_EARLY_PRINTK=y
656CONFIG_OC_ETM=y
657# CONFIG_PID_IN_CONTEXTIDR is not set
658
659#
660# Non-executable pages
661#
662CONFIG_PAX_NOEXEC=y
663CONFIG_PAX_PAGEEXEC=y
664CONFIG_PAX_MPROTECT=y
665# CONFIG_PAX_MPROTECT_COMPAT is not set
666CONFIG_PAX_ELFRELOCS=y
967da24b 667# CONFIG_PAX_KERNEXEC is not set
81bb0557
MT
668
669#
670# Miscellaneous hardening features
671#
967da24b 672# CONFIG_PAX_MEMORY_UDEREF is not set
81bb0557
MT
673CONFIG_PAX_REFCOUNT=y
674
675#
676# Kernel Auditing
677#
678CONFIG_GRKERNSEC_RWXMAP_LOG=y
679CONFIG_GRKERNSEC_AUDIT_TEXTREL=y
680
681#
682# Crypto core or helper
683#
684CONFIG_CRYPTO_PCRYPT=m
685
686#
687# Library routines
688#
689CONFIG_CPU_RMAP=y
690CONFIG_DDR=y