1 CONFIG_IRQ_DOMAIN_DEBUG=y
3 CONFIG_HIGH_RES_TIMERS=y
4 CONFIG_BLK_DEV_INITRD=y
8 CONFIG_ARM_ERRATA_720789=y
9 CONFIG_ARM_ERRATA_754322=y
10 CONFIG_ARM_ERRATA_775420=y
11 CONFIG_HAVE_ARM_ARCH_TIMER=y
15 CONFIG_ARM_APPENDED_DTB=y
16 CONFIG_ARM_ATAG_DTB_COMPAT=y
26 CONFIG_DEVTMPFS_MOUNT=y
27 CONFIG_PROC_DEVICETREE=y
32 # CONFIG_NET_CADENCE is not set
33 # CONFIG_NET_VENDOR_BROADCOM is not set
34 # CONFIG_NET_VENDOR_CIRRUS is not set
35 # CONFIG_NET_VENDOR_FARADAY is not set
36 # CONFIG_NET_VENDOR_INTEL is not set
37 # CONFIG_NET_VENDOR_MARVELL is not set
38 # CONFIG_NET_VENDOR_MICREL is not set
39 # CONFIG_NET_VENDOR_NATSEMI is not set
40 # CONFIG_NET_VENDOR_SEEQ is not set
41 # CONFIG_NET_VENDOR_SMSC is not set
42 # CONFIG_NET_VENDOR_STMICRO is not set
44 # CONFIG_NET_VENDOR_WIZNET is not set
46 CONFIG_INPUT_MATRIXKMAP=y
47 CONFIG_SERIAL_VT8500=y
48 CONFIG_SERIAL_VT8500_CONSOLE=y
51 CONFIG_PINCTRL_SINGLE=y
52 CONFIG_PINCTRL_WM8750=y
53 CONFIG_GPIO_GENERIC_PLATFORM=y
58 CONFIG_REGULATOR_FIXED_VOLTAGE=y
59 CONFIG_REGULATOR_GPIO=y
62 CONFIG_USB_EHCI_HCD_PLATFORM=y
65 CONFIG_NOP_USB_XCEIV=y
66 CONFIG_USB_GPIO_VBUS=y
72 CONFIG_LEDS_TRIGGERS=y
74 CONFIG_RTC_DRV_VT8500=y
76 # CONFIG_IOMMU_SUPPORT is not set
79 CONFIG_RESET_CONTROLLER=y
89 CONFIG_LOCKUP_DETECTOR=y