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
132 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
134 CONFIG_ARM_VIRT_EXT=y
136 # CONFIG_CPU_BPREDICT_DISABLE is not set
138 CONFIG_OUTER_CACHE_SYNC=y
141 CONFIG_ARM_L1_CACHE_SHIFT_6=y
142 CONFIG_ARM_L1_CACHE_SHIFT=6
143 CONFIG_ARM_DMA_MEM_BUFFERABLE=y
144 CONFIG_ARCH_HAS_BARRIERS=y
145 CONFIG_ARM_ERRATA_430973=y
146 # CONFIG_ARM_ERRATA_458693 is not set
147 # CONFIG_ARM_ERRATA_460075 is not set
148 # CONFIG_ARM_ERRATA_742230 is not set
149 # CONFIG_ARM_ERRATA_742231 is not set
150 CONFIG_PL310_ERRATA_588369=y
151 CONFIG_ARM_ERRATA_720789=y
152 CONFIG_PL310_ERRATA_727915=y
153 # CONFIG_ARM_ERRATA_743622 is not set
154 # CONFIG_ARM_ERRATA_751472 is not set
155 # CONFIG_PL310_ERRATA_753970 is not set
156 # CONFIG_ARM_ERRATA_754322 is not set
157 # CONFIG_ARM_ERRATA_754327 is not set
158 # CONFIG_ARM_ERRATA_764369 is not set
159 CONFIG_PL310_ERRATA_769419=y
160 CONFIG_ARM_ERRATA_775420=y
166 # CONFIG_PCI_SYSCALL is not set
167 # CONFIG_PCCARD is not set
174 CONFIG_ARM_CPU_TOPOLOGY=y
177 CONFIG_ARM_ARCH_TIMER=y
180 CONFIG_LOCAL_TIMERS=y
181 CONFIG_ARCH_NR_GPIO=512
183 # CONFIG_THUMB2_KERNEL is not set
184 CONFIG_ARCH_HAS_HOLES_MEMORYMODEL=y
185 CONFIG_SPLIT_PTLOCK_CPUS=4
186 CONFIG_PHYS_ADDR_T_64BIT=y
187 CONFIG_MMU_NOTIFIER=y
188 CONFIG_FORCE_MAX_ZONEORDER=12
193 # CPU Frequency scaling
195 # CONFIG_CPU_FREQ is not set
196 CONFIG_ARCH_NEEDS_CPU_IDLE_COUPLED=y
199 # At least one emulation must be selected
205 # Power management options
207 CONFIG_PM_SLEEP_SMP=y
208 CONFIG_ARCH_HAS_OPP=y
219 # Bluetooth device drivers
221 # CONFIG_RFKILL_REGULATOR is not set
224 # Generic Driver Options
226 CONFIG_SYS_HYPERVISOR=y
232 CONFIG_OMAP_OCP2SCP=m
233 CONFIG_OMAP_INTERCONNECT=y
236 # CONFIG_MTD_REDBOOT_PARTS is not set
237 CONFIG_MTD_CMDLINE_PARTS=y
238 # CONFIG_MTD_AFS_PARTS is not set
239 CONFIG_MTD_OF_PARTS=y
240 # CONFIG_MTD_AR7_PARTS is not set
243 # User Modules And Translation Layers
248 # CONFIG_FTL is not set
249 # CONFIG_NFTL is not set
250 # CONFIG_INFTL is not set
251 # CONFIG_RFD_FTL is not set
252 # CONFIG_SSFDC is not set
254 # CONFIG_MTD_OOPS is not set
255 # CONFIG_MTD_SWAP is not set
258 # RAM/ROM/Flash chip drivers
260 # CONFIG_MTD_CFI is not set
261 # CONFIG_MTD_JEDECPROBE is not set
262 CONFIG_MTD_MAP_BANK_WIDTH_1=y
263 CONFIG_MTD_MAP_BANK_WIDTH_2=y
264 CONFIG_MTD_MAP_BANK_WIDTH_4=y
265 # CONFIG_MTD_MAP_BANK_WIDTH_8 is not set
266 # CONFIG_MTD_MAP_BANK_WIDTH_16 is not set
267 # CONFIG_MTD_MAP_BANK_WIDTH_32 is not set
270 # CONFIG_MTD_CFI_I4 is not set
271 # CONFIG_MTD_CFI_I8 is not set
273 # CONFIG_MTD_ROM is not set
274 # CONFIG_MTD_ABSENT is not set
277 # Mapping drivers for chip access
279 # CONFIG_MTD_COMPLEX_MAPPINGS is not set
283 # Self-contained MTD device drivers
287 # CONFIG_MTD_MTDRAM is not set
288 # CONFIG_MTD_BLOCK2MTD is not set
291 # Disk-On-Chip Device Drivers
293 # CONFIG_MTD_DOC2000 is not set
294 # CONFIG_MTD_DOC2001 is not set
295 # CONFIG_MTD_DOC2001PLUS is not set
296 # CONFIG_MTD_DOCG3 is not set
297 CONFIG_MTD_NAND_ECC=y
298 # CONFIG_MTD_NAND_ECC_SMC is not set
300 # CONFIG_MTD_NAND_ECC_BCH is not set
301 # CONFIG_MTD_SM_COMMON is not set
302 # CONFIG_MTD_NAND_MUSEUM_IDS is not set
303 # CONFIG_MTD_NAND_DENALI is not set
304 # CONFIG_MTD_NAND_GPIO is not set
305 CONFIG_MTD_NAND_OMAP2=y
306 # CONFIG_MTD_NAND_OMAP_BCH is not set
307 CONFIG_MTD_NAND_IDS=y
308 # CONFIG_MTD_NAND_DISKONCHIP is not set
309 # CONFIG_MTD_NAND_DOCG4 is not set
310 # CONFIG_MTD_NAND_NANDSIM is not set
311 CONFIG_MTD_NAND_PLATFORM=y
312 # CONFIG_MTD_ALAUDA is not set
314 # CONFIG_MTD_ONENAND_VERIFY_WRITE is not set
315 # CONFIG_MTD_ONENAND_GENERIC is not set
316 CONFIG_MTD_ONENAND_OMAP2=y
317 # CONFIG_MTD_ONENAND_OTP is not set
318 CONFIG_MTD_ONENAND_2X_PROGRAM=y
319 CONFIG_MTD_ONENAND_SIM=m
322 # LPDDR flash memory drivers
324 # CONFIG_MTD_LPDDR is not set
325 # CONFIG_MTD_UBI is not set
328 # Device Tree and Open Firmware support
332 # CONFIG_PARPORT is not set
333 CONFIG_BLK_DEV_RAM_SIZE=65536
336 CONFIG_XEN_BLKDEV_FRONTEND=m
337 CONFIG_XEN_BLKDEV_BACKEND=m
340 # Altera FPGA firmware download module
342 # CONFIG_ALTERA_STAPL is not set
345 # Generic fallback / legacy drivers
347 # CONFIG_MULTICORE_RAID456 is not set
350 # Distributed Switch Architecture drivers
352 # CONFIG_TI_DAVINCI_EMAC is not set
353 CONFIG_TI_DAVINCI_MDIO=m
354 CONFIG_TI_DAVINCI_CPDMA=m
355 # CONFIG_TI_CPSW is not set
358 # Enable WiMAX (Networking options) to see the WiMAX drivers
360 CONFIG_XEN_NETDEV_FRONTEND=m
361 CONFIG_XEN_NETDEV_BACKEND=m
364 # Input device support
366 CONFIG_INPUT_FF_MEMLESS=y
369 # Input Device Drivers
371 # CONFIG_KEYBOARD_OMAP4 is not set
372 CONFIG_KEYBOARD_TWL4030=m
374 CONFIG_INPUT_TWL4030_PWRBUTTON=y
375 CONFIG_INPUT_TWL4030_VIBRA=y
376 CONFIG_INPUT_TWL6040_VIBRA=y
377 CONFIG_INPUT_XEN_KBDDEV_FRONTEND=m
382 CONFIG_SERIAL_8250_DETECT_IRQ=y
385 # Non-8250 serial port support
387 # CONFIG_SERIAL_AMBA_PL010 is not set
389 CONFIG_SERIAL_OMAP_CONSOLE=y
392 CONFIG_HVC_XEN_FRONTEND=y
396 # I2C system bus drivers (mostly embedded / system-on-chip)
398 # CONFIG_I2C_NOMADIK is not set
402 # Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
411 # CONFIG_DEBUG_PINCTRL is not set
412 # CONFIG_PINCTRL_SINGLE is not set
413 CONFIG_PINCTRL_SAMSUNG=y
414 CONFIG_PINCTRL_EXYNOS=y
415 CONFIG_PINCTRL_EXYNOS5440=y
416 CONFIG_ARCH_REQUIRE_GPIOLIB=y
419 # I2C GPIO expanders:
421 # CONFIG_GPIO_SX150X is not set
422 CONFIG_GPIO_TWL4030=y
423 CONFIG_GPIO_TWL6040=m
428 # CONFIG_HDQ_MASTER_OMAP is not set
433 # CONFIG_CHARGER_TWL4030 is not set
434 # CONFIG_CHARGER_MANAGER is not set
437 # Watchdog Device Drivers
439 # CONFIG_MPCORE_WATCHDOG is not set
440 CONFIG_OMAP_WATCHDOG=y
441 # CONFIG_TWL4030_WATCHDOG is not set
445 # Multifunction device drivers
448 # CONFIG_MFD_88PM860X is not set
449 # CONFIG_MFD_88PM800 is not set
450 # CONFIG_MFD_88PM805 is not set
451 # CONFIG_HTC_I2CPLD is not set
452 # CONFIG_MFD_TPS6586X is not set
453 # CONFIG_MFD_TPS65910 is not set
454 # CONFIG_MFD_TPS65912_I2C is not set
455 # CONFIG_MFD_TPS80031 is not set
456 CONFIG_TWL4030_CORE=y
457 # CONFIG_TWL4030_MADC is not set
458 CONFIG_TWL4030_POWER=y
459 CONFIG_MFD_TWL4030_AUDIO=y
460 CONFIG_TWL6040_CORE=y
461 # CONFIG_MFD_STMPE is not set
462 # CONFIG_MFD_TC3589X is not set
464 # CONFIG_PMIC_DA903X is not set
465 # CONFIG_MFD_DA9052_I2C is not set
466 # CONFIG_MFD_DA9055 is not set
467 # CONFIG_PMIC_ADP5520 is not set
468 # CONFIG_MFD_LP8788 is not set
469 # CONFIG_MFD_MAX77686 is not set
470 # CONFIG_MFD_MAX77693 is not set
471 # CONFIG_MFD_MAX8907 is not set
472 # CONFIG_MFD_MAX8925 is not set
473 # CONFIG_MFD_MAX8997 is not set
474 # CONFIG_MFD_MAX8998 is not set
475 # CONFIG_MFD_SEC_CORE is not set
476 # CONFIG_MFD_WM8400 is not set
477 # CONFIG_MFD_WM831X_I2C is not set
478 # CONFIG_MFD_WM8350_I2C is not set
479 # CONFIG_MFD_WM8994 is not set
480 CONFIG_MFD_OMAP_USB_HOST=y
481 CONFIG_MFD_TPS65090=y
482 # CONFIG_MFD_AAT2870_CORE is not set
483 # CONFIG_MFD_RC5T583 is not set
484 # CONFIG_MFD_PALMAS is not set
485 # CONFIG_MFD_AS3711 is not set
487 # CONFIG_REGULATOR_DEBUG is not set
488 # CONFIG_REGULATOR_DUMMY is not set
489 CONFIG_REGULATOR_FIXED_VOLTAGE=y
490 # CONFIG_REGULATOR_VIRTUAL_CONSUMER is not set
491 # CONFIG_REGULATOR_USERSPACE_CONSUMER is not set
492 CONFIG_REGULATOR_GPIO=y
493 # CONFIG_REGULATOR_AD5398 is not set
494 # CONFIG_REGULATOR_FAN53555 is not set
495 # CONFIG_REGULATOR_ISL6271A is not set
496 # CONFIG_REGULATOR_MAX1586 is not set
497 # CONFIG_REGULATOR_MAX8649 is not set
498 # CONFIG_REGULATOR_MAX8660 is not set
499 # CONFIG_REGULATOR_MAX8952 is not set
500 # CONFIG_REGULATOR_MAX8973 is not set
501 # CONFIG_REGULATOR_LP3971 is not set
502 # CONFIG_REGULATOR_LP3972 is not set
503 CONFIG_REGULATOR_LP872X=y
504 # CONFIG_REGULATOR_TPS51632 is not set
505 CONFIG_REGULATOR_TPS62360=m
506 # CONFIG_REGULATOR_TPS65023 is not set
507 # CONFIG_REGULATOR_TPS6507X is not set
508 CONFIG_REGULATOR_TPS65090=m
509 CONFIG_REGULATOR_TWL4030=y
512 # Multimedia core support
519 # CONFIG_IR_RX51 is not set
522 # Webcam, TV (analog/digital) USB devices
524 # CONFIG_VIDEO_VPFE_CAPTURE is not set
525 CONFIG_VIDEO_OMAP2_VOUT_VRFB=y
526 CONFIG_VIDEO_OMAP2_VOUT=m
529 # Media ancillary drivers (tuners, sensors, i2c, frontends)
531 CONFIG_VIDEO_IR_I2C=y
534 # I2C encoder or helper chips
536 # CONFIG_VGASTATE is not set
537 # CONFIG_FB_DDC is not set
538 # CONFIG_FB_SVGALIB is not set
539 # CONFIG_FB_BACKLIGHT is not set
542 # Frame buffer hardware drivers
544 CONFIG_XEN_FBDEV_FRONTEND=m
547 # CONFIG_OMAP2_DSS_DEBUG is not set
548 # CONFIG_OMAP2_DSS_DEBUGFS is not set
549 CONFIG_OMAP2_DSS_DPI=y
550 # CONFIG_OMAP2_DSS_RFBI is not set
551 CONFIG_OMAP2_DSS_VENC=y
552 CONFIG_OMAP4_DSS_HDMI=y
553 # CONFIG_OMAP2_DSS_SDI is not set
554 # CONFIG_OMAP2_DSS_DSI is not set
555 CONFIG_OMAP2_DSS_MIN_FCK_PER_PCK=1
556 CONFIG_OMAP2_DSS_SLEEP_AFTER_VENC_RESET=y
558 CONFIG_FB_OMAP2_DEBUG_SUPPORT=y
559 CONFIG_FB_OMAP2_NUM_FBS=3
562 # OMAP2/3 Display Device Drivers
564 CONFIG_PANEL_GENERIC_DPI=y
565 CONFIG_PANEL_TFP410=m
566 CONFIG_PANEL_SHARP_LS037V7DW01=y
567 # CONFIG_PANEL_PICODLP is not set
568 # CONFIG_LCD_PLATFORM is not set
569 # CONFIG_BACKLIGHT_PANDORA is not set
572 # Console display driver support
574 # CONFIG_FB_SSD1307 is not set
575 # CONFIG_SND_OPL3_LIB_SEQ is not set
576 # CONFIG_SND_EMU10K1_SEQ is not set
577 # CONFIG_SND_OMAP_SOC is not set
582 # CONFIG_USB_ARCH_HAS_XHCI is not set
585 # USB Host Controller Drivers
587 CONFIG_USB_EHCI_HCD_OMAP=y
588 CONFIG_USB_OHCI_HCD_OMAP3=y
591 # USB Physical Layer drivers
596 # OTG and related infrastructure
598 CONFIG_USB_GPIO_VBUS=y
602 # MMC/SD/SDIO Card Drivers
607 # MMC/SD/SDIO Host Controller Drivers
617 # CONFIG_LEDS_REGULATOR is not set
622 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
627 # CONFIG_RTC_DRV_TWL4030 is not set
632 # CONFIG_RTC_DRV_OMAP is not set
638 CONFIG_DMA_VIRTUAL_CHANNELS=y
643 CONFIG_XEN_DEV_EVTCHN=m
646 CONFIG_XEN_COMPAT_XENFS=y
647 CONFIG_XEN_SYS_HYPERVISOR=y
648 CONFIG_XEN_XENBUS_FRONTEND=y
650 CONFIG_XEN_GRANT_DEV_ALLOC=m
652 # CONFIG_TIDSPBRIDGE is not set
655 # Speakup console speech
658 CONFIG_DRM_OMAP_NUM_CRTCS=1
663 # CONFIG_OMAP_BANDGAP is not set
667 # Common Clock Framework
669 # CONFIG_COMMON_CLK_DEBUG is not set
670 # CONFIG_CLK_TWL6040 is not set
674 # Hardware Spinlock drivers
676 CONFIG_HWSPINLOCK_OMAP=m
677 # CONFIG_OMAP_IOMMU is not set
680 # Rpmsg drivers (EXPERIMENTAL)
683 # CONFIG_PWM is not set
688 CONFIG_DCACHE_WORD_ACCESS=y
693 # CONFIG_JFFS2_FS is not set
698 CONFIG_RCU_CPU_STALL_TIMEOUT=60
699 # CONFIG_RCU_CPU_STALL_INFO is not set
700 # CONFIG_DEBUG_PER_CPU_MAPS is not set
702 # CONFIG_PID_IN_CONTEXTIDR is not set
705 # Non-executable pages
708 CONFIG_PAX_PAGEEXEC=y
709 CONFIG_PAX_MPROTECT=y
710 # CONFIG_PAX_MPROTECT_COMPAT is not set
711 CONFIG_PAX_ELFRELOCS=y
714 # Miscellaneous hardening features
716 CONFIG_PAX_REFCOUNT=y
721 CONFIG_GRKERNSEC_RWXMAP_LOG=y
722 CONFIG_GRKERNSEC_AUDIT_TEXTREL=y
725 # Crypto core or helper
727 CONFIG_CRYPTO_PCRYPT=m
730 # Random Number Generation
732 CONFIG_CRYPTO_DEV_OMAP_SHAM=m
733 CONFIG_CRYPTO_DEV_OMAP_AES=m