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