]> git.ipfire.org Git - ipfire-3.x.git/blame - kernel/config-armv7hl-exynos
kernel: Update to 3.8.2.
[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#
160CONFIG_ARM_LPAE=y
161CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
162# CONFIG_ARM_THUMBEE is not set
163CONFIG_ARM_VIRT_EXT=y
164CONFIG_SWP_EMULATE=y
165# CONFIG_CPU_BPREDICT_DISABLE is not set
166CONFIG_OUTER_CACHE=y
167CONFIG_OUTER_CACHE_SYNC=y
168CONFIG_MIGHT_HAVE_CACHE_L2X0=y
169CONFIG_CACHE_L2X0=y
170CONFIG_CACHE_PL310=y
171CONFIG_ARM_L1_CACHE_SHIFT_6=y
172CONFIG_ARM_L1_CACHE_SHIFT=6
173CONFIG_ARM_DMA_MEM_BUFFERABLE=y
174CONFIG_ARM_ERRATA_430973=y
175CONFIG_ARM_ERRATA_458693=y
176CONFIG_ARM_ERRATA_460075=y
177CONFIG_ARM_ERRATA_742230=y
178CONFIG_ARM_ERRATA_742231=y
179CONFIG_PL310_ERRATA_588369=y
180CONFIG_ARM_ERRATA_720789=y
181CONFIG_PL310_ERRATA_727915=y
182CONFIG_ARM_ERRATA_743622=y
183CONFIG_ARM_ERRATA_751472=y
184CONFIG_PL310_ERRATA_753970=y
185CONFIG_ARM_ERRATA_754322=y
186CONFIG_ARM_ERRATA_754327=y
187CONFIG_ARM_ERRATA_764369=y
188CONFIG_PL310_ERRATA_769419=y
189CONFIG_ARM_ERRATA_775420=y
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
221CONFIG_PHYS_ADDR_T_64BIT=y
222
223#
224# Boot options
225#
226# CONFIG_USE_OF is not set
227CONFIG_CMDLINE="console=ttySAC1,115200 root=/dev/mmcblk0p2 rootwait"
228
229#
230# CPU Frequency scaling
231#
232# CONFIG_CPU_FREQ is not set
81bb0557
MT
233
234#
235# At least one emulation must be selected
236#
237CONFIG_VFPv3=y
238CONFIG_NEON=y
239
240#
241# Power management options
242#
243CONFIG_PM_SLEEP_SMP=y
244
245#
246# Classification
247#
248CONFIG_RPS=y
249CONFIG_RFS_ACCEL=y
250CONFIG_XPS=y
251
252#
253# Bluetooth device drivers
254#
255# CONFIG_RFKILL_REGULATOR is not set
256
257#
258# Generic Driver Options
259#
260CONFIG_REGMAP_I2C=y
81bb0557
MT
261
262#
263# Bus devices
264#
265CONFIG_MTD=y
266CONFIG_MTD_TESTS=m
267# CONFIG_MTD_REDBOOT_PARTS is not set
268CONFIG_MTD_CMDLINE_PARTS=y
269# CONFIG_MTD_AFS_PARTS is not set
270# CONFIG_MTD_AR7_PARTS is not set
271
272#
273# User Modules And Translation Layers
274#
275CONFIG_MTD_CHAR=y
276CONFIG_MTD_BLKDEVS=y
277CONFIG_MTD_BLOCK=y
278# CONFIG_FTL is not set
279# CONFIG_NFTL is not set
280# CONFIG_INFTL is not set
281# CONFIG_RFD_FTL is not set
282# CONFIG_SSFDC is not set
283CONFIG_SM_FTL=m
284# CONFIG_MTD_OOPS is not set
285# CONFIG_MTD_SWAP is not set
286
287#
288# RAM/ROM/Flash chip drivers
289#
290# CONFIG_MTD_CFI is not set
291# CONFIG_MTD_JEDECPROBE is not set
292CONFIG_MTD_MAP_BANK_WIDTH_1=y
293CONFIG_MTD_MAP_BANK_WIDTH_2=y
294CONFIG_MTD_MAP_BANK_WIDTH_4=y
295# CONFIG_MTD_MAP_BANK_WIDTH_8 is not set
296# CONFIG_MTD_MAP_BANK_WIDTH_16 is not set
297# CONFIG_MTD_MAP_BANK_WIDTH_32 is not set
298CONFIG_MTD_CFI_I1=y
299CONFIG_MTD_CFI_I2=y
300# CONFIG_MTD_CFI_I4 is not set
301# CONFIG_MTD_CFI_I8 is not set
302CONFIG_MTD_RAM=m
303# CONFIG_MTD_ROM is not set
304# CONFIG_MTD_ABSENT is not set
305
306#
307# Mapping drivers for chip access
308#
309# CONFIG_MTD_COMPLEX_MAPPINGS is not set
310CONFIG_MTD_PLATRAM=m
311
312#
313# Self-contained MTD device drivers
314#
315CONFIG_MTD_SLRAM=m
316CONFIG_MTD_PHRAM=m
317# CONFIG_MTD_MTDRAM is not set
318# CONFIG_MTD_BLOCK2MTD is not set
319
320#
321# Disk-On-Chip Device Drivers
322#
323# CONFIG_MTD_DOC2000 is not set
324# CONFIG_MTD_DOC2001 is not set
325# CONFIG_MTD_DOC2001PLUS is not set
326# CONFIG_MTD_DOCG3 is not set
327CONFIG_MTD_NAND_ECC=y
328# CONFIG_MTD_NAND_ECC_SMC is not set
329CONFIG_MTD_NAND=y
330# CONFIG_MTD_NAND_ECC_BCH is not set
331# CONFIG_MTD_SM_COMMON is not set
332# CONFIG_MTD_NAND_MUSEUM_IDS is not set
6ae109d5 333# CONFIG_MTD_NAND_DENALI is not set
81bb0557
MT
334# CONFIG_MTD_NAND_GPIO is not set
335CONFIG_MTD_NAND_IDS=y
336# CONFIG_MTD_NAND_DISKONCHIP is not set
337# CONFIG_MTD_NAND_DOCG4 is not set
338# CONFIG_MTD_NAND_NANDSIM is not set
339CONFIG_MTD_NAND_PLATFORM=y
340# CONFIG_MTD_ALAUDA is not set
341CONFIG_MTD_ONENAND=y
342# CONFIG_MTD_ONENAND_VERIFY_WRITE is not set
343# CONFIG_MTD_ONENAND_GENERIC is not set
344# CONFIG_MTD_ONENAND_SAMSUNG is not set
345# CONFIG_MTD_ONENAND_OTP is not set
346CONFIG_MTD_ONENAND_2X_PROGRAM=y
347CONFIG_MTD_ONENAND_SIM=m
348
349#
350# LPDDR flash memory drivers
351#
352# CONFIG_MTD_LPDDR is not set
353# CONFIG_MTD_UBI is not set
354# CONFIG_PARPORT is not set
355CONFIG_BLK_DEV_RAM_SIZE=65536
356CONFIG_MG_DISK=m
357CONFIG_MG_DISK_RES=0
358
359#
360# Generic fallback / legacy drivers
361#
362# CONFIG_MULTICORE_RAID456 is not set
363
364#
365# Input device support
366#
367CONFIG_INPUT_FF_MEMLESS=y
368
369#
370# Input Device Drivers
371#
81bb0557
MT
372CONFIG_KEYBOARD_TWL4030=m
373CONFIG_MOUSE_GPIO=m
374CONFIG_INPUT_TWL4030_PWRBUTTON=y
375CONFIG_INPUT_TWL4030_VIBRA=y
376CONFIG_INPUT_TWL6040_VIBRA=y
6ae109d5 377CONFIG_INPUT_DA9055_ONKEY=m
81bb0557
MT
378
379#
380# Serial drivers
381#
382CONFIG_SERIAL_8250_DETECT_IRQ=y
383
384#
385# Non-8250 serial port support
386#
387# CONFIG_SERIAL_AMBA_PL010 is not set
388CONFIG_SERIAL_SAMSUNG=y
389CONFIG_SERIAL_SAMSUNG_UARTS_4=y
390CONFIG_SERIAL_SAMSUNG_UARTS=4
391CONFIG_SERIAL_SAMSUNG_DEBUG=y
392CONFIG_SERIAL_SAMSUNG_CONSOLE=y
393CONFIG_I2C=y
394
395#
396# I2C system bus drivers (mostly embedded / system-on-chip)
397#
398# CONFIG_I2C_NOMADIK is not set
399# CONFIG_I2C_S3C2410 is not set
400
401#
6ae109d5 402# Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
81bb0557
MT
403#
404CONFIG_ARCH_REQUIRE_GPIOLIB=y
6ae109d5 405CONFIG_GPIO_DA9055=m
81bb0557
MT
406
407#
408# I2C GPIO expanders:
409#
410# CONFIG_GPIO_SX150X is not set
411CONFIG_GPIO_TWL4030=y
412CONFIG_GPIO_TWL6040=m
413
414#
415# 1-wire Slaves
416#
417# CONFIG_CHARGER_TWL4030 is not set
418# CONFIG_CHARGER_MANAGER is not set
419
420#
421# Native drivers
422#
6ae109d5 423CONFIG_SENSORS_DA9055=m
81bb0557
MT
424
425#
426# Watchdog Device Drivers
427#
6ae109d5 428CONFIG_DA9055_WATCHDOG=m
81bb0557
MT
429# CONFIG_S3C2410_WATCHDOG is not set
430# CONFIG_TWL4030_WATCHDOG is not set
431
432#
433# Multifunction device drivers
434#
435CONFIG_MFD_CORE=y
436# CONFIG_MFD_88PM860X is not set
437# CONFIG_MFD_88PM800 is not set
438# CONFIG_MFD_88PM805 is not set
439# CONFIG_HTC_I2CPLD is not set
440# CONFIG_MFD_TPS6586X is not set
441# CONFIG_MFD_TPS65910 is not set
442# CONFIG_MFD_TPS65912_I2C is not set
6ae109d5 443# CONFIG_MFD_TPS80031 is not set
81bb0557
MT
444CONFIG_TWL4030_CORE=y
445# CONFIG_TWL4030_MADC is not set
446CONFIG_TWL4030_POWER=y
447CONFIG_MFD_TWL4030_AUDIO=y
448CONFIG_TWL6040_CORE=y
449# CONFIG_MFD_STMPE is not set
450# CONFIG_MFD_TC3589X is not set
451CONFIG_MFD_SMSC=y
452# CONFIG_PMIC_DA903X is not set
453# CONFIG_MFD_DA9052_I2C is not set
454CONFIG_MFD_DA9055=y
455# CONFIG_PMIC_ADP5520 is not set
456CONFIG_MFD_LP8788=y
457# CONFIG_MFD_MAX77686 is not set
458# CONFIG_MFD_MAX77693 is not set
459CONFIG_MFD_MAX8907=m
460# CONFIG_MFD_MAX8925 is not set
461# CONFIG_MFD_MAX8997 is not set
462# CONFIG_MFD_MAX8998 is not set
463# CONFIG_MFD_SEC_CORE is not set
464# CONFIG_MFD_WM8400 is not set
465# CONFIG_MFD_WM831X_I2C is not set
466# CONFIG_MFD_WM8350_I2C is not set
467# CONFIG_MFD_WM8994 is not set
468CONFIG_MFD_TPS65090=y
469# CONFIG_MFD_AAT2870_CORE is not set
470# CONFIG_MFD_RC5T583 is not set
471# CONFIG_MFD_PALMAS is not set
6ae109d5 472# CONFIG_MFD_AS3711 is not set
81bb0557
MT
473CONFIG_REGULATOR=y
474# CONFIG_REGULATOR_DEBUG is not set
475# CONFIG_REGULATOR_DUMMY is not set
476CONFIG_REGULATOR_FIXED_VOLTAGE=y
477# CONFIG_REGULATOR_VIRTUAL_CONSUMER is not set
478# CONFIG_REGULATOR_USERSPACE_CONSUMER is not set
479CONFIG_REGULATOR_GPIO=y
480# CONFIG_REGULATOR_AD5398 is not set
6ae109d5 481# CONFIG_REGULATOR_DA9055 is not set
81bb0557
MT
482CONFIG_REGULATOR_FAN53555=m
483# CONFIG_REGULATOR_ISL6271A is not set
484# CONFIG_REGULATOR_MAX1586 is not set
485# CONFIG_REGULATOR_MAX8649 is not set
486# CONFIG_REGULATOR_MAX8660 is not set
487CONFIG_REGULATOR_MAX8907=m
488# CONFIG_REGULATOR_MAX8952 is not set
6ae109d5 489# CONFIG_REGULATOR_MAX8973 is not set
81bb0557
MT
490# CONFIG_REGULATOR_LP3971 is not set
491# CONFIG_REGULATOR_LP3972 is not set
492CONFIG_REGULATOR_LP872X=y
493CONFIG_REGULATOR_LP8788=y
6ae109d5 494# CONFIG_REGULATOR_TPS51632 is not set
81bb0557
MT
495CONFIG_REGULATOR_TPS62360=m
496# CONFIG_REGULATOR_TPS65023 is not set
497# CONFIG_REGULATOR_TPS6507X is not set
498CONFIG_REGULATOR_TPS65090=m
499CONFIG_REGULATOR_TWL4030=y
500
501#
502# Multimedia core support
503#
504CONFIG_VIDEO_V4L2=y
505
506#
507# Webcam, TV (analog/digital) USB devices
508#
509# CONFIG_VIDEO_SAMSUNG_S5P_FIMC is not set
510CONFIG_VIDEO_SAMSUNG_S5P_TV=y
511CONFIG_VIDEO_SAMSUNG_S5P_HDMI=y
512# CONFIG_VIDEO_SAMSUNG_S5P_HDMI_DEBUG is not set
513CONFIG_VIDEO_SAMSUNG_S5P_HDMIPHY=y
514CONFIG_VIDEO_SAMSUNG_S5P_SII9234=m
515CONFIG_VIDEO_SAMSUNG_S5P_SDO=m
516CONFIG_VIDEO_SAMSUNG_S5P_MIXER=m
517# CONFIG_VIDEO_SAMSUNG_S5P_MIXER_DEBUG is not set
518# CONFIG_VIDEO_SAMSUNG_S5P_G2D is not set
519# CONFIG_VIDEO_SAMSUNG_S5P_JPEG is not set
520# CONFIG_VIDEO_SAMSUNG_S5P_MFC is not set
521
522#
523# Media ancillary drivers (tuners, sensors, i2c, frontends)
524#
525CONFIG_VIDEO_IR_I2C=y
526
527#
528# I2C encoder or helper chips
529#
530# CONFIG_DRM_EXYNOS is not set
531# CONFIG_VGASTATE is not set
532# CONFIG_FB_DDC is not set
533CONFIG_FB_CFB_FILLRECT=y
534CONFIG_FB_CFB_COPYAREA=y
535CONFIG_FB_CFB_IMAGEBLIT=y
536# CONFIG_FB_SVGALIB is not set
537# CONFIG_FB_BACKLIGHT is not set
538
539#
540# Frame buffer hardware drivers
541#
542CONFIG_FB_S3C=y
543# CONFIG_FB_S3C_DEBUG_REGWRITE is not set
544# CONFIG_LCD_PLATFORM is not set
545# CONFIG_BACKLIGHT_PWM is not set
546# CONFIG_BACKLIGHT_PANDORA is not set
547
548#
549# Console display driver support
550#
551# CONFIG_SND_OPL3_LIB_SEQ is not set
552# CONFIG_SND_EMU10K1_SEQ is not set
553# CONFIG_SND_SOC_SAMSUNG is not set
554
555#
6ae109d5 556# I2C HID support
81bb0557
MT
557#
558# CONFIG_USB_ARCH_HAS_XHCI is not set
559
560#
561# USB Host Controller Drivers
562#
563CONFIG_USB_EHCI_S5P=y
564CONFIG_USB_OHCI_EXYNOS=y
565
566#
567# OTG and related infrastructure
568#
569CONFIG_USB_GPIO_VBUS=y
570CONFIG_MMC=y
571
572#
573# MMC/SD/SDIO Card Drivers
574#
575CONFIG_MMC_BLOCK=y
576
577#
578# MMC/SD/SDIO Host Controller Drivers
579#
580CONFIG_MMC_SDHCI=y
581CONFIG_MMC_SDHCI_S3C=y
582CONFIG_MMC_SDHCI_S3C_DMA=y
583
584#
585# LED drivers
586#
587CONFIG_LEDS_GPIO=y
588CONFIG_LEDS_LP8788=m
589# CONFIG_LEDS_REGULATOR is not set
590
591#
592# LED Triggers
593#
594CONFIG_LEDS_TRIGGER_HEARTBEAT=y
595
596#
597# I2C RTC drivers
598#
599CONFIG_RTC_DRV_MAX8907=m
600# CONFIG_RTC_DRV_TWL4030 is not set
601
6ae109d5
MT
602#
603# Platform RTC drivers
604#
605CONFIG_RTC_DRV_DA9055=m
606
81bb0557
MT
607#
608# on-CPU RTC drivers
609#
610# CONFIG_RTC_DRV_S3C is not set
611
612#
613# DMA Clients
614#
615# CONFIG_VFIO is not set
616
617#
618# Hardware Spinlock drivers
619#
620CONFIG_IOMMU_API=y
621CONFIG_EXYNOS_IOMMU=y
622# CONFIG_EXYNOS_IOMMU_DEBUG is not set
623
624#
625# Rpmsg drivers (EXPERIMENTAL)
626#
81bb0557 627CONFIG_PWM_SAMSUNG=y
6ae109d5
MT
628CONFIG_PWM_TWL=m
629CONFIG_PWM_TWL_LED=m
81bb0557
MT
630
631#
632# File systems
633#
634CONFIG_DCACHE_WORD_ACCESS=y
635
636#
637# Pseudo filesystems
638#
639# CONFIG_JFFS2_FS is not set
640
641#
642# Kernel hacking
643#
644CONFIG_RCU_CPU_STALL_TIMEOUT=60
645# CONFIG_RCU_CPU_STALL_INFO is not set
646# CONFIG_DEBUG_PER_CPU_MAPS is not set
647CONFIG_DEBUG_USER=y
648CONFIG_DEBUG_LL=y
649CONFIG_DEBUG_S3C_UART0=y
650# CONFIG_DEBUG_S3C_UART1 is not set
651# CONFIG_DEBUG_S3C_UART2 is not set
6ae109d5 652# CONFIG_DEBUG_S3C_UART3 is not set
81bb0557
MT
653# CONFIG_DEBUG_LL_UART_NONE is not set
654# CONFIG_DEBUG_ICEDCC is not set
655# CONFIG_DEBUG_SEMIHOSTING is not set
656CONFIG_EARLY_PRINTK=y
657CONFIG_OC_ETM=y
658# CONFIG_PID_IN_CONTEXTIDR is not set
659
660#
661# Non-executable pages
662#
663CONFIG_PAX_NOEXEC=y
664CONFIG_PAX_PAGEEXEC=y
665CONFIG_PAX_MPROTECT=y
666# CONFIG_PAX_MPROTECT_COMPAT is not set
667CONFIG_PAX_ELFRELOCS=y
81bb0557
MT
668
669#
670# Miscellaneous hardening features
671#
672CONFIG_PAX_REFCOUNT=y
673
674#
675# Kernel Auditing
676#
677CONFIG_GRKERNSEC_RWXMAP_LOG=y
678CONFIG_GRKERNSEC_AUDIT_TEXTREL=y
679
680#
681# Crypto core or helper
682#
683CONFIG_CRYPTO_PCRYPT=m
684
685#
686# Library routines
687#
688CONFIG_CPU_RMAP=y
689CONFIG_DDR=y