2 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
3 CONFIG_RWSEM_GENERIC_SPINLOCK=y
4 CONFIG_ARCH_HAS_CPUFREQ=y
5 CONFIG_VECTORS_BASE=0xffff0000
6 CONFIG_ARM_PATCH_PHYS_VIRT=y
11 CONFIG_HARDIRQS_SW_RESEND=y
12 CONFIG_GENERIC_IRQ_CHIP=y
21 # CPU/Task time and stats accounting
23 # CONFIG_IRQ_TIME_ACCOUNTING is not set
28 CONFIG_GENERIC_SCHED_CLOCK=y
29 CONFIG_PERF_USE_VMALLOC=y
32 # Kernel Performance Events And Counters
34 CONFIG_GENERIC_IDLE_POLL_SETUP=y
35 CONFIG_ARCH_WANT_IPC_PARSE_VERSION=y
36 CONFIG_MODULES_USE_ELF_REL=y
37 CONFIG_CLONE_BACKWARDS=y
38 CONFIG_OLD_SIGACTION=y
41 # GCOV-based kernel profiling
48 # CONFIG_ARCH_INTEGRATOR is not set
49 # CONFIG_ARCH_REALVIEW is not set
50 # CONFIG_ARCH_VERSATILE is not set
51 # CONFIG_ARCH_AT91 is not set
52 # CONFIG_ARCH_CLPS711X is not set
53 # CONFIG_ARCH_GEMINI is not set
54 # CONFIG_ARCH_EBSA110 is not set
55 # CONFIG_ARCH_EP93XX is not set
56 # CONFIG_ARCH_FOOTBRIDGE is not set
57 # CONFIG_ARCH_NETX is not set
58 # CONFIG_ARCH_IOP13XX is not set
59 # CONFIG_ARCH_IOP32X is not set
60 # CONFIG_ARCH_IOP33X is not set
61 # CONFIG_ARCH_IXP4XX is not set
62 # CONFIG_ARCH_DOVE is not set
63 # CONFIG_ARCH_MV78XX0 is not set
64 # CONFIG_ARCH_ORION5X is not set
65 # CONFIG_ARCH_MMP is not set
66 # CONFIG_ARCH_KS8695 is not set
67 # CONFIG_ARCH_W90X900 is not set
68 # CONFIG_ARCH_LPC32XX is not set
69 # CONFIG_ARCH_PXA is not set
70 # CONFIG_ARCH_MSM is not set
71 # CONFIG_ARCH_SHMOBILE_LEGACY is not set
72 # CONFIG_ARCH_RPC is not set
73 # CONFIG_ARCH_SA1100 is not set
74 # CONFIG_ARCH_S3C24XX is not set
75 # CONFIG_ARCH_S3C64XX is not set
76 # CONFIG_ARCH_S5P64X0 is not set
77 # CONFIG_ARCH_S5PC100 is not set
78 # CONFIG_ARCH_S5PV210 is not set
79 # CONFIG_ARCH_EXYNOS is not set
80 # CONFIG_ARCH_DAVINCI is not set
81 # CONFIG_ARCH_OMAP1 is not set
84 # Qualcomm SoC Selection
86 # CONFIG_PLAT_SPEAR is not set
89 # Versatile Express platform type
102 # CONFIG_ARCH_PHYS_ADDR_T_64BIT is not set
104 # CONFIG_CPU_ICACHE_DISABLE is not set
105 # CONFIG_CPU_DCACHE_DISABLE is not set
106 CONFIG_KUSER_HELPERS=y
108 CONFIG_CACHE_FEROCEON_L2=y
109 # CONFIG_CACHE_FEROCEON_L2_WRITETHROUGH is not set
110 CONFIG_ARM_NR_BANKS=8
111 CONFIG_MULTI_IRQ_HANDLER=y
117 # CONFIG_PCI_MSI is not set
118 # CONFIG_PCI_STUB is not set
119 # CONFIG_PCI_IOV is not set
120 # CONFIG_PCI_PRI is not set
121 # CONFIG_PCI_PASID is not set
124 # PCI host controller drivers
126 # CONFIG_PCI_MVEBU is not set
127 # CONFIG_PCCARD is not set
133 # CONFIG_VMSPLIT_2G is not set
134 # CONFIG_VMSPLIT_1G is not set
135 CONFIG_PAGE_OFFSET=0xC0000000
137 # CONFIG_HZ_200 is not set
138 # CONFIG_HZ_500 is not set
140 # CONFIG_ARCH_SPARSEMEM_DEFAULT is not set
141 # CONFIG_ARCH_SELECT_MEMORY_MODEL is not set
143 # CONFIG_HIGHPTE is not set
144 CONFIG_HW_PERF_EVENTS=y
146 CONFIG_FLAT_NODE_MEM_MAP=y
147 # CONFIG_PHYS_ADDR_T_64BIT is not set
148 CONFIG_DEFAULT_MMAP_MIN_ADDR=32768
149 CONFIG_ALIGNMENT_TRAP=y
156 # CONFIG_DEPRECATED_PARAM_STRUCT is not set
157 CONFIG_ZBOOT_ROM_TEXT=0
158 CONFIG_ZBOOT_ROM_BSS=0
159 CONFIG_ARM_APPENDED_DTB=y
160 CONFIG_CMDLINE_FROM_BOOTLOADER=y
161 # CONFIG_CMDLINE_EXTEND is not set
162 # CONFIG_CMDLINE_FORCE is not set
163 CONFIG_AUTO_ZRELADDR=y
166 # CPU Frequency scaling
168 CONFIG_CPU_FREQ_STAT=y
169 # CONFIG_CPU_FREQ_STAT_DETAILS is not set
172 # ARM CPU frequency scaling drivers
174 # CONFIG_ARM_KIRKWOOD_CPUFREQ is not set
177 # At least one emulation must be selected
182 # Power management options
184 CONFIG_APM_EMULATION=y
186 CONFIG_ARM_CPU_SUSPEND=y
194 # Bluetooth device drivers
196 # CONFIG_BT_HCIBTSDIO is not set
197 # CONFIG_BT_MRVL_SDIO is not set
198 # CONFIG_RFKILL_REGULATOR is not set
199 # CONFIG_RFKILL_GPIO is not set
202 # Generic Driver Options
204 CONFIG_FIRMWARE_IN_KERNEL=y
208 # Default contiguous memory area size:
210 CONFIG_CMA_SIZE_MBYTES=16
211 CONFIG_CMA_SIZE_SEL_MBYTES=y
212 # CONFIG_CMA_SIZE_SEL_PERCENTAGE is not set
213 # CONFIG_CMA_SIZE_SEL_MIN is not set
214 # CONFIG_CMA_SIZE_SEL_MAX is not set
215 CONFIG_CMA_ALIGNMENT=8
227 # Device Tree and Open Firmware support
229 # CONFIG_OF_SELFTEST is not set
231 CONFIG_OF_EARLY_FLATTREE=y
233 CONFIG_OF_ADDRESS_PCI=y
239 CONFIG_OF_RESERVED_MEM=y
240 # CONFIG_PARPORT is not set
241 # CONFIG_BLK_DEV_PCIESSD_MTIP32XX is not set
242 # CONFIG_BLK_CPQ_CISS_DA is not set
243 # CONFIG_BLK_DEV_DAC960 is not set
244 # CONFIG_BLK_DEV_UMEM is not set
245 # CONFIG_BLK_DEV_NVME is not set
246 # CONFIG_BLK_DEV_SX8 is not set
247 CONFIG_BLK_DEV_RAM_SIZE=4096
248 # CONFIG_MG_DISK is not set
249 # CONFIG_BLK_DEV_RSXX is not set
254 # CONFIG_SENSORS_LIS3LV02D is not set
255 # CONFIG_SGI_IOC4 is not set
256 # CONFIG_HP_ILO is not set
257 # CONFIG_PCH_PHUB is not set
262 CONFIG_AIC79XX_RESET_DELAY_MS=5000
263 CONFIG_AIC79XX_DEBUG_ENABLE=y
264 CONFIG_AIC79XX_REG_PRETTY_PRINT=y
265 CONFIG_AIC94XX_DEBUG=y
266 CONFIG_SCSI_MVSAS_DEBUG=y
267 # CONFIG_SCSI_MVSAS_TASKLET is not set
268 # CONFIG_MEGARAID_NEWGEN is not set
272 # IEEE 1394 (FireWire) support
274 CONFIG_I2O_LCT_NOTIFY_ON_CHANGES=y
275 # CONFIG_I2O_BUS is not set
276 # CONFIG_I2O_BLOCK is not set
277 # CONFIG_I2O_SCSI is not set
278 # CONFIG_I2O_PROC is not set
280 # CONFIG_ATM_LANAI is not set
281 # CONFIG_ATM_ENI is not set
282 # CONFIG_ATM_NICSTAR is not set
283 # CONFIG_ATM_IDT77252 is not set
284 # CONFIG_ATM_HE is not set
285 # CONFIG_ATM_SOLOS is not set
288 # Distributed Switch Architecture drivers
294 # CONFIG_CHELSIO_T1_1G is not set
295 CONFIG_NET_VENDOR_CIRRUS=y
297 CONFIG_CS89x0_PLATFORM=y
299 # CONFIG_DM9000_FORCE_SIMPLE_PHY_POLL is not set
300 # CONFIG_DE2104X is not set
301 # CONFIG_TULIP_MMIO is not set
302 # CONFIG_TULIP_NAPI is not set
303 CONFIG_NET_VENDOR_FARADAY=y
306 # CONFIG_I40E_VXLAN is not set
309 # CONFIG_SKGE_GENESIS is not set
311 CONFIG_AX88796_93CX6=y
312 # CONFIG_QLCNIC_VXLAN is not set
314 # CONFIG_8139TOO_8129 is not set
317 # CONFIG_STMMAC_PCI is not set
318 # CONFIG_VIA_RHINE_MMIO is not set
321 # MII PHY device drivers
323 CONFIG_MDIO_BUS_MUX=m
324 CONFIG_MDIO_BUS_MUX_GPIO=m
325 CONFIG_MDIO_BUS_MUX_MMIOREG=m
328 # USB Network Adapters
330 # CONFIG_ATH5K_DEBUG is not set
331 CONFIG_WIL6210_TRACING=y
332 # CONFIG_IPW2100_MONITOR is not set
333 # CONFIG_IPW2200_MONITOR is not set
334 # CONFIG_IPW2200_QOS is not set
337 # Input device support
339 # CONFIG_INPUT_FF_MEMLESS is not set
342 # Userland interfaces
344 # CONFIG_INPUT_APMPOWER is not set
347 # Input Device Drivers
349 # CONFIG_KEYBOARD_ADP5520 is not set
350 CONFIG_KEYBOARD_PMIC8XXX=m
351 # CONFIG_KEYBOARD_STMPE is not set
352 # CONFIG_KEYBOARD_TC3589X is not set
353 # CONFIG_INPUT_PM8XXX_VIBRATOR is not set
354 CONFIG_INPUT_PMIC8XXX_PWRKEY=m
355 # CONFIG_INPUT_MAX8997_HAPTIC is not set
356 # CONFIG_INPUT_GPIO_BEEPER is not set
357 # CONFIG_INPUT_TWL4030_PWRBUTTON is not set
358 # CONFIG_INPUT_TWL4030_VIBRA is not set
359 # CONFIG_INPUT_TWL6040_VIBRA is not set
360 # CONFIG_INPUT_PWM_BEEPER is not set
365 CONFIG_SERIO_APBPS2=m
370 # CONFIG_ROCKETPORT is not set
371 # CONFIG_CYCLADES is not set
372 # CONFIG_SYNCLINKMP is not set
373 # CONFIG_SYNCLINK_GT is not set
374 # CONFIG_NOZOMI is not set
379 CONFIG_SERIAL_8250_EM=m
382 # Non-8250 serial port support
384 # CONFIG_SERIAL_JSM is not set
385 CONFIG_SERIAL_OF_PLATFORM=y
386 # CONFIG_SERIAL_SCCNXP is not set
387 # CONFIG_SERIAL_XILINX_PS_UART is not set
388 # CONFIG_SERIAL_ARC is not set
389 # CONFIG_SERIAL_RP2 is not set
390 CONFIG_SERIAL_ST_ASC=m
391 # CONFIG_HVC_DCC is not set
392 # CONFIG_VIRTIO_CONSOLE is not set
395 # Multiplexer I2C Chip support
397 # CONFIG_I2C_ARB_GPIO_CHALLENGE is not set
400 # PC SMBus host controller drivers
409 # I2C system bus drivers (mostly embedded / system-on-chip)
418 CONFIG_GENERIC_PINCONF=y
419 # CONFIG_PINCTRL_AS3722 is not set
420 # CONFIG_PINCTRL_BCM281XX is not set
422 CONFIG_PINCTRL_MSM8X74=m
423 # CONFIG_PINCTRL_PALMAS is not set
424 CONFIG_PINCTRL_MVEBU=y
425 CONFIG_ARCH_HAVE_CUSTOM_GPIO_H=y
426 CONFIG_ARCH_REQUIRE_GPIOLIB=y
428 CONFIG_GPIO_GENERIC=y
431 # Memory mapped GPIO drivers:
433 # CONFIG_GPIO_DWAPB is not set
434 # CONFIG_GPIO_EM is not set
435 # CONFIG_GPIO_ZEVIO is not set
437 # CONFIG_GPIO_RCAR is not set
438 # CONFIG_GPIO_SYSCON is not set
439 # CONFIG_GPIO_GRGPIO is not set
442 # I2C GPIO expanders:
447 # PCI GPIO expanders:
449 # CONFIG_GPIO_BT8XX is not set
452 # SPI GPIO expanders:
454 # CONFIG_GPIO_MCP23S08 is not set
457 # MODULbus GPIO expanders:
459 CONFIG_GPIO_BCM_KONA=y
464 # CONFIG_APM_POWER is not set
465 # CONFIG_MAX8925_POWER is not set
466 # CONFIG_WM831X_BACKUP is not set
467 # CONFIG_WM831X_POWER is not set
468 # CONFIG_WM8350_POWER is not set
469 # CONFIG_BATTERY_88PM860X is not set
470 # CONFIG_BATTERY_DA9030 is not set
471 # CONFIG_BATTERY_DA9052 is not set
472 # CONFIG_BATTERY_TWL4030_MADC is not set
473 # CONFIG_BATTERY_RX51 is not set
474 # CONFIG_CHARGER_TWL4030 is not set
475 # CONFIG_CHARGER_MANAGER is not set
476 # CONFIG_CHARGER_MAX8997 is not set
477 # CONFIG_CHARGER_MAX8998 is not set
478 # CONFIG_CHARGER_TPS65090 is not set
479 CONFIG_POWER_RESET_AS3722=y
480 CONFIG_POWER_RESET_GPIO=y
481 # CONFIG_POWER_RESET_QNAP is not set
482 CONFIG_POWER_RESET_RESTART=y
483 CONFIG_POWER_RESET_VEXPRESS=y
488 CONFIG_SENSORS_VEXPRESS=m
490 # CONFIG_CPU_THERMAL is not set
493 # Watchdog Device Drivers
495 CONFIG_GPIO_WATCHDOG=m
496 CONFIG_ORION_WATCHDOG=m
497 CONFIG_MAX63XX_WATCHDOG=m
500 # PCI-based Watchdog Cards
502 # CONFIG_PCIPCWATCHDOG is not set
503 # CONFIG_WDTPCI is not set
506 # Multifunction device drivers
509 # CONFIG_MFD_ASIC3 is not set
510 # CONFIG_HTC_EGPIO is not set
511 # CONFIG_LPC_ICH is not set
513 CONFIG_MFD_PM8921_CORE=m
514 # CONFIG_MFD_RTSX_PCI is not set
517 # STMicroelectronics STMPE Interface Drivers
519 CONFIG_TWL4030_POWER=y
520 # CONFIG_MFD_T7L66XB is not set
521 # CONFIG_MFD_TC6387XB is not set
522 # CONFIG_MFD_TC6393XB is not set
523 CONFIG_VEXPRESS_CONFIG=y
525 # CONFIG_REGULATOR_DEBUG is not set
526 CONFIG_REGULATOR_FIXED_VOLTAGE=y
527 # CONFIG_REGULATOR_VIRTUAL_CONSUMER is not set
528 # CONFIG_REGULATOR_USERSPACE_CONSUMER is not set
529 CONFIG_REGULATOR_88PM800=m
530 CONFIG_REGULATOR_ACT8865=m
531 CONFIG_REGULATOR_AD5398=m
532 CONFIG_REGULATOR_ANATOP=m
533 CONFIG_REGULATOR_AAT2870=m
534 CONFIG_REGULATOR_AS3711=m
535 CONFIG_REGULATOR_AS3722=m
536 CONFIG_REGULATOR_BCM590XX=m
537 CONFIG_REGULATOR_DA903X=m
538 CONFIG_REGULATOR_DA9052=m
539 CONFIG_REGULATOR_DA9055=m
540 CONFIG_REGULATOR_DA9063=m
541 CONFIG_REGULATOR_DA9210=m
542 CONFIG_REGULATOR_FAN53555=m
543 CONFIG_REGULATOR_ISL6271A=m
544 CONFIG_REGULATOR_LP3971=m
545 CONFIG_REGULATOR_LP3972=m
546 CONFIG_REGULATOR_LP8755=m
547 CONFIG_REGULATOR_MAX14577=m
548 CONFIG_REGULATOR_MAX1586=m
549 CONFIG_REGULATOR_MAX8649=m
550 CONFIG_REGULATOR_MAX8660=m
551 CONFIG_REGULATOR_MAX8907=m
552 CONFIG_REGULATOR_MAX8925=m
553 CONFIG_REGULATOR_MAX8952=m
554 CONFIG_REGULATOR_MAX8973=m
555 CONFIG_REGULATOR_MAX8997=m
556 CONFIG_REGULATOR_MAX8998=m
557 CONFIG_REGULATOR_MAX77686=m
558 CONFIG_REGULATOR_MAX77693=m
559 CONFIG_REGULATOR_PALMAS=m
560 CONFIG_REGULATOR_PFUZE100=m
561 CONFIG_REGULATOR_RC5T583=m
562 CONFIG_REGULATOR_S2MPA01=m
563 CONFIG_REGULATOR_S2MPS11=m
564 CONFIG_REGULATOR_S5M8767=m
565 CONFIG_REGULATOR_TPS51632=m
566 CONFIG_REGULATOR_TPS62360=m
567 CONFIG_REGULATOR_TPS65023=m
568 CONFIG_REGULATOR_TPS6507X=m
569 CONFIG_REGULATOR_TPS65090=m
570 CONFIG_REGULATOR_TPS65218=m
571 CONFIG_REGULATOR_TPS6586X=m
572 CONFIG_REGULATOR_TPS65910=m
573 CONFIG_REGULATOR_TPS65912=m
574 CONFIG_REGULATOR_TPS80031=m
575 CONFIG_REGULATOR_VEXPRESS=m
576 CONFIG_REGULATOR_WM831X=m
577 CONFIG_REGULATOR_WM8350=m
578 CONFIG_REGULATOR_WM8400=m
579 CONFIG_REGULATOR_WM8994=m
582 # Multimedia core support
584 # CONFIG_TTPCI_EEPROM is not set
587 # Digital TV USB devices
589 CONFIG_DVB_TTUSB_BUDGET=y
590 CONFIG_DVB_TTUSB_DEC=y
593 # Media capture/analog/hybrid TV support
595 # CONFIG_VIDEO_CX18 is not set
596 # CONFIG_VIDEO_CX23885 is not set
597 # CONFIG_VIDEO_CX25821 is not set
598 # CONFIG_VIDEO_CX88 is not set
599 # CONFIG_VIDEO_BT848 is not set
600 # CONFIG_VIDEO_SAA7134 is not set
601 # CONFIG_VIDEO_SAA7164 is not set
604 # Media digital TV PCI Adapters
606 # CONFIG_DVB_AV7110 is not set
607 # CONFIG_DVB_BUDGET_CORE is not set
608 # CONFIG_DVB_B2C2_FLEXCOP_PCI is not set
609 # CONFIG_DVB_PLUTO2 is not set
610 # CONFIG_DVB_DM1105 is not set
611 # CONFIG_DVB_PT1 is not set
612 # CONFIG_MANTIS_CORE is not set
613 # CONFIG_DVB_NGENE is not set
614 # CONFIG_VIDEO_SH_MOBILE_CSI2 is not set
615 # CONFIG_VIDEO_SH_MOBILE_CEU is not set
618 # DVB-S (satellite) frontends
624 # DVB-T (terrestrial) frontends
627 CONFIG_DVB_TDA1004X=y
630 # DVB-C (cable) frontends
636 # SEC control devices for DVB-S
641 # Direct Rendering Manager
643 CONFIG_DRM_GEM_CMA_HELPER=y
644 CONFIG_DRM_KMS_CMA_HELPER=y
647 # I2C encoder or helper chips
649 # CONFIG_DRM_RADEON is not set
650 # CONFIG_DRM_NOUVEAU is not set
653 CONFIG_DRM_RCAR_LVDS=y
654 CONFIG_DRM_SHMOBILE=m
655 # CONFIG_DRM_TILCDC is not set
658 # Frame buffer Devices
660 CONFIG_FB_SYS_FILLRECT=y
661 CONFIG_FB_SYS_COPYAREA=y
662 CONFIG_FB_SYS_IMAGEBLIT=y
663 # CONFIG_FB_BACKLIGHT is not set
666 # Frame buffer hardware drivers
668 # CONFIG_FB_SSD1307 is not set
669 # CONFIG_BACKLIGHT_PWM is not set
672 # Console display driver support
674 CONFIG_SND_COMPRESS_OFFLOAD=m
675 # CONFIG_SND_ALI5451 is not set
682 CONFIG_SND_ATMEL_SOC=m
683 CONFIG_SND_DESIGNWARE_I2S=m
684 CONFIG_SND_KIRKWOOD_SOC=m
687 # SoC Audio support for SuperH
689 CONFIG_SND_SOC_I2C_AND_SPI=m
694 CONFIG_SND_SOC_ADAU1701=m
695 CONFIG_SND_SOC_AK4554=m
696 CONFIG_SND_SOC_AK4642=m
697 CONFIG_SND_SOC_AK5386=m
698 CONFIG_SND_SOC_CS42L51=m
699 CONFIG_SND_SOC_CS42L52=m
700 CONFIG_SND_SOC_CS42L73=m
701 CONFIG_SND_SOC_CS4270=m
702 CONFIG_SND_SOC_CS4271=m
703 CONFIG_SND_SOC_CS42XX8=m
704 CONFIG_SND_SOC_CS42XX8_I2C=m
705 CONFIG_SND_SOC_HDMI_CODEC=m
706 CONFIG_SND_SOC_PCM1681=m
707 CONFIG_SND_SOC_PCM512x=m
708 CONFIG_SND_SOC_PCM512x_I2C=m
709 CONFIG_SND_SOC_SGTL5000=m
710 CONFIG_SND_SOC_SIGMADSP=m
711 CONFIG_SND_SOC_SIRF_AUDIO_CODEC=m
712 CONFIG_SND_SOC_SPDIF=m
713 CONFIG_SND_SOC_TAS5086=m
714 CONFIG_SND_SOC_TLV320AIC3X=m
715 CONFIG_SND_SOC_WM8510=m
716 CONFIG_SND_SOC_WM8523=m
717 CONFIG_SND_SOC_WM8580=m
718 CONFIG_SND_SOC_WM8711=m
719 CONFIG_SND_SOC_WM8728=m
720 CONFIG_SND_SOC_WM8731=m
721 CONFIG_SND_SOC_WM8737=m
722 CONFIG_SND_SOC_WM8741=m
723 CONFIG_SND_SOC_WM8750=m
724 CONFIG_SND_SOC_WM8753=m
725 CONFIG_SND_SOC_WM8776=m
726 CONFIG_SND_SOC_WM8804=m
727 CONFIG_SND_SOC_WM8903=m
728 CONFIG_SND_SOC_WM8962=m
729 CONFIG_SND_SOC_TPA6130A2=m
730 CONFIG_SND_SIMPLE_CARD=m
733 # USB Host Controller Drivers
735 CONFIG_USB_EHCI_HCD_ORION=y
738 # USB Imaging devices
740 CONFIG_USB_MUSB_DSPS=m
741 CONFIG_USB_MUSB_AM335X_CHILD=m
744 # USB Physical Layer drivers
746 CONFIG_AM335X_CONTROL_USB=m
747 CONFIG_AM335X_PHY_USB=m
751 # MMC/SD/SDIO Host Controller Drivers
753 CONFIG_MMC_SDHCI_OF_ARASAN=m
756 CONFIG_MMC_DW_IDMAC=y
757 CONFIG_MMC_DW_PLTFM=m
758 CONFIG_MMC_DW_EXYNOS=m
765 CONFIG_LEDS_REGULATOR=m
768 # iptables trigger is under Netfilter config (LED target)
770 # CONFIG_EDAC is not set
775 CONFIG_RTC_DRV_AS3722=m
776 CONFIG_RTC_DRV_HYM8563=m
782 CONFIG_RTC_DRV_PM8XXX=m
783 CONFIG_RTC_DRV_SNVS=m
788 # CONFIG_DW_DMAC is not set
790 CONFIG_DMA_VIRTUAL_CHANNELS=m
794 # Common Clock Framework
796 CONFIG_COMMON_CLK_SI570=m
797 CONFIG_COMMON_CLK_QCOM=m
798 CONFIG_MSM_GCC_8660=m
799 CONFIG_MSM_GCC_8960=m
800 CONFIG_MSM_MMCC_8960=m
801 CONFIG_MSM_GCC_8974=m
802 CONFIG_MSM_MMCC_8974=m
803 CONFIG_MVEBU_CLK_COMMON=y
806 # Hardware Spinlock drivers
816 CONFIG_MVEBU_DEVBUS=y
819 # Analog to digital converters
821 # CONFIG_EXYNOS_ADC is not set
825 # Temperature sensors
830 CONFIG_ORION_IRQCHIP=y
835 CONFIG_PHY_MVEBU_SATA=y
840 # CONFIG_DEBUG_HIGHMEM is not set
845 # CONFIG_FTRACE_SYSCALLS is not set
850 # CONFIG_ARM_PTDUMP is not set
852 # CONFIG_DEBUG_USER is not set
853 # CONFIG_DEBUG_LL is not set
854 # CONFIG_DEBUG_UART_PL01X is not set
855 # CONFIG_DEBUG_SET_MODULE_RONX is not set
858 # Executable Protections
860 # CONFIG_GRKERNSEC_SETXID is not set
865 CONFIG_LSM_MMAP_MIN_ADDR=32768
868 # Crypto core or helper
870 CONFIG_CRYPTO_GF128MUL=m
881 CONFIG_CRYPTO_SHA1_ARM=m
886 CONFIG_CRYPTO_AES_ARM=m
889 # Random Number Generation
891 CONFIG_CRYPTO_DEV_MV_CESA=m
896 CONFIG_ARCH_USE_CMPXCHG_LOCKREF=y
897 CONFIG_AUDIT_GENERIC=y