1 CONFIG_ARCH_HAS_CPUFREQ=y
6 CONFIG_GENERIC_IRQ_CHIP=y
8 CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
15 CONFIG_RCU_FANOUT_LEAF=16
16 # CONFIG_RCU_FANOUT_EXACT is not set
17 CONFIG_RCU_FAST_NO_HZ=y
21 # Kernel Performance Events And Counters
23 CONFIG_USE_GENERIC_SMP_HELPERS=y
29 CONFIG_MUTEX_SPIN_ON_OWNER=y
34 # CONFIG_ARCH_VERSATILE is not set
38 # TI OMAP Common Features
40 # CONFIG_ARCH_OMAP1 is not set
41 CONFIG_ARCH_OMAP2PLUS=y
44 # OMAP Feature Selections
46 CONFIG_POWER_AVS_OMAP=y
47 CONFIG_POWER_AVS_OMAP_CLASS3=y
48 CONFIG_OMAP_RESET_CLOCKS=y
50 # CONFIG_OMAP_MUX_DEBUG is not set
51 CONFIG_OMAP_MUX_WARNINGS=y
52 CONFIG_OMAP_MBOX_FWK=m
53 CONFIG_OMAP_MBOX_KFIFO_SIZE=256
54 CONFIG_OMAP_32K_TIMER=y
55 # CONFIG_OMAP3_L2_AUX_SECURE_SAVE_RESTORE is not set
56 CONFIG_OMAP_32K_TIMER_HZ=128
57 CONFIG_OMAP_DM_TIMER=y
59 CONFIG_MACH_OMAP_GENERIC=y
62 # TI OMAP2/3/4 Specific Features
64 CONFIG_ARCH_OMAP2PLUS_TYPICAL=y
65 CONFIG_SOC_HAS_OMAP2_SDRC=y
66 CONFIG_SOC_HAS_REALTIME_COUNTER=y
67 # CONFIG_ARCH_OMAP2 is not set
74 CONFIG_OMAP_PACKAGE_CBB=y
75 CONFIG_OMAP_PACKAGE_CUS=y
76 CONFIG_OMAP_PACKAGE_CBP=y
77 CONFIG_OMAP_PACKAGE_CBL=y
78 CONFIG_OMAP_PACKAGE_CBS=y
83 CONFIG_MACH_OMAP3_BEAGLE=y
84 CONFIG_MACH_DEVKIT8000=y
85 CONFIG_MACH_OMAP_LDP=y
86 CONFIG_MACH_OMAP3530_LV_SOM=y
87 CONFIG_MACH_OMAP3_TORPEDO=y
89 CONFIG_MACH_OMAP3EVM=y
90 CONFIG_MACH_OMAP3517EVM=y
91 CONFIG_MACH_CRANEBOARD=y
92 CONFIG_MACH_OMAP3_PANDORA=y
93 CONFIG_MACH_TOUCHBOOK=y
94 CONFIG_MACH_OMAP_3430SDP=y
95 CONFIG_MACH_NOKIA_RM680=y
96 CONFIG_MACH_NOKIA_RX51=y
97 CONFIG_MACH_OMAP_ZOOM2=y
98 CONFIG_MACH_OMAP_ZOOM3=y
100 CONFIG_MACH_CM_T3517=y
101 CONFIG_MACH_CM_T3730=y
102 CONFIG_MACH_IGEP0020=y
103 CONFIG_MACH_IGEP0030=y
104 CONFIG_MACH_SBC3530=y
105 CONFIG_MACH_OMAP_3630SDP=y
106 CONFIG_MACH_TI8168EVM=y
107 CONFIG_MACH_TI8148EVM=y
108 CONFIG_MACH_OMAP_4430SDP=y
109 CONFIG_MACH_OMAP4_PANDA=y
111 # CONFIG_OMAP3_SDRC_AC_TIMING is not set
112 CONFIG_OMAP4_ERRATA_I688=y
120 CONFIG_CPU_ABRT_EV7=y
121 CONFIG_CPU_PABRT_V7=y
122 CONFIG_CPU_CACHE_V7=y
123 CONFIG_CPU_CACHE_VIPT=y
126 CONFIG_CPU_HAS_ASID=y
131 # CONFIG_ARM_LPAE is not set
132 # CONFIG_ARM_THUMBEE is not set
133 CONFIG_ARM_VIRT_EXT=y
135 # CONFIG_CPU_BPREDICT_DISABLE is not set
137 CONFIG_OUTER_CACHE_SYNC=y
140 CONFIG_ARM_L1_CACHE_SHIFT_6=y
141 CONFIG_ARM_L1_CACHE_SHIFT=6
142 CONFIG_ARM_DMA_MEM_BUFFERABLE=y
143 CONFIG_ARCH_HAS_BARRIERS=y
144 CONFIG_ARM_ERRATA_430973=y
145 # CONFIG_ARM_ERRATA_458693 is not set
146 # CONFIG_ARM_ERRATA_460075 is not set
147 # CONFIG_ARM_ERRATA_742230 is not set
148 # CONFIG_ARM_ERRATA_742231 is not set
149 CONFIG_PL310_ERRATA_588369=y
150 CONFIG_ARM_ERRATA_720789=y
151 CONFIG_PL310_ERRATA_727915=y
152 # CONFIG_ARM_ERRATA_743622 is not set
153 # CONFIG_ARM_ERRATA_751472 is not set
154 # CONFIG_PL310_ERRATA_753970 is not set
155 # CONFIG_ARM_ERRATA_754322 is not set
156 # CONFIG_ARM_ERRATA_754327 is not set
157 # CONFIG_ARM_ERRATA_764369 is not set
158 CONFIG_PL310_ERRATA_769419=y
159 CONFIG_ARM_ERRATA_775420=y
165 # CONFIG_PCI_SYSCALL is not set
166 # CONFIG_PCCARD is not set
173 CONFIG_ARM_CPU_TOPOLOGY=y
176 CONFIG_ARM_ARCH_TIMER=y
179 CONFIG_LOCAL_TIMERS=y
180 CONFIG_ARCH_NR_GPIO=512
182 # CONFIG_THUMB2_KERNEL is not set
183 CONFIG_ARCH_HAS_HOLES_MEMORYMODEL=y
184 CONFIG_SPLIT_PTLOCK_CPUS=4
185 CONFIG_MMU_NOTIFIER=y
186 CONFIG_FORCE_MAX_ZONEORDER=12
191 # CPU Frequency scaling
193 # CONFIG_CPU_FREQ is not set
194 CONFIG_ARCH_NEEDS_CPU_IDLE_COUPLED=y
197 # At least one emulation must be selected
203 # Power management options
205 CONFIG_PM_SLEEP_SMP=y
206 CONFIG_ARCH_HAS_OPP=y
217 # Bluetooth device drivers
219 # CONFIG_RFKILL_REGULATOR is not set
222 # Generic Driver Options
224 CONFIG_SYS_HYPERVISOR=y
230 CONFIG_OMAP_OCP2SCP=m
231 CONFIG_OMAP_INTERCONNECT=y
234 # CONFIG_MTD_REDBOOT_PARTS is not set
235 CONFIG_MTD_CMDLINE_PARTS=y
236 # CONFIG_MTD_AFS_PARTS is not set
237 CONFIG_MTD_OF_PARTS=y
238 # CONFIG_MTD_AR7_PARTS is not set
241 # User Modules And Translation Layers
246 # CONFIG_FTL is not set
247 # CONFIG_NFTL is not set
248 # CONFIG_INFTL is not set
249 # CONFIG_RFD_FTL is not set
250 # CONFIG_SSFDC is not set
252 # CONFIG_MTD_OOPS is not set
253 # CONFIG_MTD_SWAP is not set
256 # RAM/ROM/Flash chip drivers
258 # CONFIG_MTD_CFI is not set
259 # CONFIG_MTD_JEDECPROBE is not set
260 CONFIG_MTD_MAP_BANK_WIDTH_1=y
261 CONFIG_MTD_MAP_BANK_WIDTH_2=y
262 CONFIG_MTD_MAP_BANK_WIDTH_4=y
263 # CONFIG_MTD_MAP_BANK_WIDTH_8 is not set
264 # CONFIG_MTD_MAP_BANK_WIDTH_16 is not set
265 # CONFIG_MTD_MAP_BANK_WIDTH_32 is not set
268 # CONFIG_MTD_CFI_I4 is not set
269 # CONFIG_MTD_CFI_I8 is not set
271 # CONFIG_MTD_ROM is not set
272 # CONFIG_MTD_ABSENT is not set
275 # Mapping drivers for chip access
277 # CONFIG_MTD_COMPLEX_MAPPINGS is not set
281 # Self-contained MTD device drivers
285 # CONFIG_MTD_MTDRAM is not set
286 # CONFIG_MTD_BLOCK2MTD is not set
289 # Disk-On-Chip Device Drivers
291 # CONFIG_MTD_DOC2000 is not set
292 # CONFIG_MTD_DOC2001 is not set
293 # CONFIG_MTD_DOC2001PLUS is not set
294 # CONFIG_MTD_DOCG3 is not set
295 CONFIG_MTD_NAND_ECC=y
296 # CONFIG_MTD_NAND_ECC_SMC is not set
298 # CONFIG_MTD_NAND_ECC_BCH is not set
299 # CONFIG_MTD_SM_COMMON is not set
300 # CONFIG_MTD_NAND_MUSEUM_IDS is not set
301 # CONFIG_MTD_NAND_DENALI is not set
302 # CONFIG_MTD_NAND_GPIO is not set
303 CONFIG_MTD_NAND_OMAP2=y
304 # CONFIG_MTD_NAND_OMAP_BCH is not set
305 CONFIG_MTD_NAND_IDS=y
306 # CONFIG_MTD_NAND_DISKONCHIP is not set
307 # CONFIG_MTD_NAND_DOCG4 is not set
308 # CONFIG_MTD_NAND_NANDSIM is not set
309 CONFIG_MTD_NAND_PLATFORM=y
310 # CONFIG_MTD_ALAUDA is not set
312 # CONFIG_MTD_ONENAND_VERIFY_WRITE is not set
313 # CONFIG_MTD_ONENAND_GENERIC is not set
314 CONFIG_MTD_ONENAND_OMAP2=y
315 # CONFIG_MTD_ONENAND_OTP is not set
316 CONFIG_MTD_ONENAND_2X_PROGRAM=y
317 CONFIG_MTD_ONENAND_SIM=m
320 # LPDDR flash memory drivers
322 # CONFIG_MTD_LPDDR is not set
323 # CONFIG_MTD_UBI is not set
326 # Device Tree and Open Firmware support
330 # CONFIG_PARPORT is not set
331 CONFIG_BLK_DEV_RAM_SIZE=65536
334 CONFIG_XEN_BLKDEV_FRONTEND=m
335 CONFIG_XEN_BLKDEV_BACKEND=m
338 # Altera FPGA firmware download module
340 # CONFIG_ALTERA_STAPL is not set
343 # Generic fallback / legacy drivers
345 # CONFIG_MULTICORE_RAID456 is not set
348 # Distributed Switch Architecture drivers
350 # CONFIG_TI_DAVINCI_EMAC is not set
351 CONFIG_TI_DAVINCI_MDIO=m
352 CONFIG_TI_DAVINCI_CPDMA=m
353 # CONFIG_TI_CPSW is not set
356 # Enable WiMAX (Networking options) to see the WiMAX drivers
358 CONFIG_XEN_NETDEV_FRONTEND=m
359 CONFIG_XEN_NETDEV_BACKEND=m
362 # Input device support
364 CONFIG_INPUT_FF_MEMLESS=y
367 # Input Device Drivers
369 # CONFIG_KEYBOARD_OMAP4 is not set
370 CONFIG_KEYBOARD_TWL4030=m
372 CONFIG_INPUT_TWL4030_PWRBUTTON=y
373 CONFIG_INPUT_TWL4030_VIBRA=y
374 CONFIG_INPUT_TWL6040_VIBRA=y
375 CONFIG_INPUT_XEN_KBDDEV_FRONTEND=m
380 CONFIG_SERIAL_8250_DETECT_IRQ=y
383 # Non-8250 serial port support
385 # CONFIG_SERIAL_AMBA_PL010 is not set
387 CONFIG_SERIAL_OMAP_CONSOLE=y
390 CONFIG_HVC_XEN_FRONTEND=y
394 # I2C system bus drivers (mostly embedded / system-on-chip)
396 # CONFIG_I2C_NOMADIK is not set
400 # Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
409 # CONFIG_DEBUG_PINCTRL is not set
410 # CONFIG_PINCTRL_SINGLE is not set
411 CONFIG_PINCTRL_SAMSUNG=y
412 CONFIG_PINCTRL_EXYNOS=y
413 CONFIG_PINCTRL_EXYNOS5440=y
414 CONFIG_ARCH_REQUIRE_GPIOLIB=y
417 # I2C GPIO expanders:
419 # CONFIG_GPIO_SX150X is not set
420 CONFIG_GPIO_TWL4030=y
421 CONFIG_GPIO_TWL6040=m
426 # CONFIG_HDQ_MASTER_OMAP is not set
431 # CONFIG_CHARGER_TWL4030 is not set
432 # CONFIG_CHARGER_MANAGER is not set
435 # Watchdog Device Drivers
437 # CONFIG_MPCORE_WATCHDOG is not set
438 CONFIG_OMAP_WATCHDOG=y
439 # CONFIG_TWL4030_WATCHDOG is not set
443 # Multifunction device drivers
446 # CONFIG_MFD_88PM860X is not set
447 # CONFIG_MFD_88PM800 is not set
448 # CONFIG_MFD_88PM805 is not set
449 # CONFIG_HTC_I2CPLD is not set
450 # CONFIG_MFD_TPS6586X is not set
451 # CONFIG_MFD_TPS65910 is not set
452 # CONFIG_MFD_TPS65912_I2C is not set
453 # CONFIG_MFD_TPS80031 is not set
454 CONFIG_TWL4030_CORE=y
455 # CONFIG_TWL4030_MADC is not set
456 CONFIG_TWL4030_POWER=y
457 CONFIG_MFD_TWL4030_AUDIO=y
458 CONFIG_TWL6040_CORE=y
459 # CONFIG_MFD_STMPE is not set
460 # CONFIG_MFD_TC3589X is not set
462 # CONFIG_PMIC_DA903X is not set
463 # CONFIG_MFD_DA9052_I2C is not set
464 # CONFIG_MFD_DA9055 is not set
465 # CONFIG_PMIC_ADP5520 is not set
466 # CONFIG_MFD_LP8788 is not set
467 # CONFIG_MFD_MAX77686 is not set
468 # CONFIG_MFD_MAX77693 is not set
469 # CONFIG_MFD_MAX8907 is not set
470 # CONFIG_MFD_MAX8925 is not set
471 # CONFIG_MFD_MAX8997 is not set
472 # CONFIG_MFD_MAX8998 is not set
473 # CONFIG_MFD_SEC_CORE is not set
474 # CONFIG_MFD_WM8400 is not set
475 # CONFIG_MFD_WM831X_I2C is not set
476 # CONFIG_MFD_WM8350_I2C is not set
477 # CONFIG_MFD_WM8994 is not set
478 CONFIG_MFD_OMAP_USB_HOST=y
479 CONFIG_MFD_TPS65090=y
480 # CONFIG_MFD_AAT2870_CORE is not set
481 # CONFIG_MFD_RC5T583 is not set
482 # CONFIG_MFD_PALMAS is not set
483 # CONFIG_MFD_AS3711 is not set
485 # CONFIG_REGULATOR_DEBUG is not set
486 # CONFIG_REGULATOR_DUMMY is not set
487 CONFIG_REGULATOR_FIXED_VOLTAGE=y
488 # CONFIG_REGULATOR_VIRTUAL_CONSUMER is not set
489 # CONFIG_REGULATOR_USERSPACE_CONSUMER is not set
490 CONFIG_REGULATOR_GPIO=y
491 # CONFIG_REGULATOR_AD5398 is not set
492 # CONFIG_REGULATOR_FAN53555 is not set
493 # CONFIG_REGULATOR_ISL6271A is not set
494 # CONFIG_REGULATOR_MAX1586 is not set
495 # CONFIG_REGULATOR_MAX8649 is not set
496 # CONFIG_REGULATOR_MAX8660 is not set
497 # CONFIG_REGULATOR_MAX8952 is not set
498 # CONFIG_REGULATOR_MAX8973 is not set
499 # CONFIG_REGULATOR_LP3971 is not set
500 # CONFIG_REGULATOR_LP3972 is not set
501 CONFIG_REGULATOR_LP872X=y
502 # CONFIG_REGULATOR_TPS51632 is not set
503 CONFIG_REGULATOR_TPS62360=m
504 # CONFIG_REGULATOR_TPS65023 is not set
505 # CONFIG_REGULATOR_TPS6507X is not set
506 CONFIG_REGULATOR_TPS65090=m
507 CONFIG_REGULATOR_TWL4030=y
510 # Multimedia core support
517 # CONFIG_IR_RX51 is not set
520 # Webcam, TV (analog/digital) USB devices
522 # CONFIG_VIDEO_VPFE_CAPTURE is not set
523 CONFIG_VIDEO_OMAP2_VOUT_VRFB=y
524 CONFIG_VIDEO_OMAP2_VOUT=m
527 # Media ancillary drivers (tuners, sensors, i2c, frontends)
529 CONFIG_VIDEO_IR_I2C=y
532 # I2C encoder or helper chips
534 # CONFIG_VGASTATE is not set
535 # CONFIG_FB_DDC is not set
536 # CONFIG_FB_SVGALIB is not set
537 # CONFIG_FB_BACKLIGHT is not set
540 # Frame buffer hardware drivers
542 CONFIG_XEN_FBDEV_FRONTEND=m
545 # CONFIG_OMAP2_DSS_DEBUG is not set
546 # CONFIG_OMAP2_DSS_DEBUGFS is not set
547 CONFIG_OMAP2_DSS_DPI=y
548 # CONFIG_OMAP2_DSS_RFBI is not set
549 CONFIG_OMAP2_DSS_VENC=y
550 CONFIG_OMAP4_DSS_HDMI=y
551 # CONFIG_OMAP2_DSS_SDI is not set
552 # CONFIG_OMAP2_DSS_DSI is not set
553 CONFIG_OMAP2_DSS_MIN_FCK_PER_PCK=1
554 CONFIG_OMAP2_DSS_SLEEP_AFTER_VENC_RESET=y
556 CONFIG_FB_OMAP2_DEBUG_SUPPORT=y
557 CONFIG_FB_OMAP2_NUM_FBS=3
560 # OMAP2/3 Display Device Drivers
562 CONFIG_PANEL_GENERIC_DPI=y
563 CONFIG_PANEL_TFP410=m
564 CONFIG_PANEL_SHARP_LS037V7DW01=y
565 # CONFIG_PANEL_PICODLP is not set
566 # CONFIG_LCD_PLATFORM is not set
567 # CONFIG_BACKLIGHT_PANDORA is not set
570 # Console display driver support
572 # CONFIG_FB_SSD1307 is not set
573 # CONFIG_SND_OPL3_LIB_SEQ is not set
574 # CONFIG_SND_EMU10K1_SEQ is not set
575 # CONFIG_SND_OMAP_SOC is not set
580 # CONFIG_USB_ARCH_HAS_XHCI is not set
583 # USB Host Controller Drivers
585 CONFIG_USB_EHCI_HCD_OMAP=y
586 CONFIG_USB_OHCI_HCD_OMAP3=y
589 # USB Physical Layer drivers
594 # OTG and related infrastructure
596 CONFIG_USB_GPIO_VBUS=y
600 # MMC/SD/SDIO Card Drivers
605 # MMC/SD/SDIO Host Controller Drivers
615 # CONFIG_LEDS_REGULATOR is not set
620 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
625 # CONFIG_RTC_DRV_TWL4030 is not set
630 # CONFIG_RTC_DRV_OMAP is not set
636 CONFIG_DMA_VIRTUAL_CHANNELS=y
641 CONFIG_XEN_DEV_EVTCHN=m
644 CONFIG_XEN_COMPAT_XENFS=y
645 CONFIG_XEN_SYS_HYPERVISOR=y
646 CONFIG_XEN_XENBUS_FRONTEND=y
648 CONFIG_XEN_GRANT_DEV_ALLOC=m
650 # CONFIG_TIDSPBRIDGE is not set
653 # Speakup console speech
656 CONFIG_DRM_OMAP_NUM_CRTCS=1
661 # CONFIG_OMAP_BANDGAP is not set
665 # Common Clock Framework
667 # CONFIG_COMMON_CLK_DEBUG is not set
668 # CONFIG_CLK_TWL6040 is not set
672 # Hardware Spinlock drivers
674 CONFIG_HWSPINLOCK_OMAP=m
675 # CONFIG_OMAP_IOMMU is not set
678 # Rpmsg drivers (EXPERIMENTAL)
681 # CONFIG_PWM is not set
686 CONFIG_DCACHE_WORD_ACCESS=y
691 # CONFIG_JFFS2_FS is not set
696 CONFIG_RCU_CPU_STALL_TIMEOUT=60
697 # CONFIG_RCU_CPU_STALL_INFO is not set
698 # CONFIG_DEBUG_PER_CPU_MAPS is not set
700 # CONFIG_PID_IN_CONTEXTIDR is not set
703 # Non-executable pages
706 CONFIG_PAX_PAGEEXEC=y
707 CONFIG_PAX_MPROTECT=y
708 # CONFIG_PAX_MPROTECT_COMPAT is not set
709 CONFIG_PAX_ELFRELOCS=y
712 # Miscellaneous hardening features
714 CONFIG_PAX_REFCOUNT=y
719 CONFIG_GRKERNSEC_RWXMAP_LOG=y
720 CONFIG_GRKERNSEC_AUDIT_TEXTREL=y
723 # Crypto core or helper
725 CONFIG_CRYPTO_PCRYPT=m
728 # Random Number Generation
730 CONFIG_CRYPTO_DEV_OMAP_SHAM=m
731 CONFIG_CRYPTO_DEV_OMAP_AES=m