2 CONFIG_HIGH_RES_TIMERS=y
3 CONFIG_BLK_DEV_INITRD=y
7 CONFIG_ARM_ERRATA_720789=y
8 CONFIG_ARM_ERRATA_754322=y
9 CONFIG_ARM_ERRATA_775420=y
10 CONFIG_HAVE_ARM_ARCH_TIMER=y
14 CONFIG_ARM_APPENDED_DTB=y
15 CONFIG_ARM_ATAG_DTB_COMPAT=y
25 CONFIG_DEVTMPFS_MOUNT=y
26 CONFIG_PROC_DEVICETREE=y
31 # CONFIG_NET_CADENCE is not set
32 # CONFIG_NET_VENDOR_BROADCOM is not set
33 # CONFIG_NET_VENDOR_CIRRUS is not set
34 # CONFIG_NET_VENDOR_FARADAY is not set
35 # CONFIG_NET_VENDOR_INTEL is not set
36 # CONFIG_NET_VENDOR_MARVELL is not set
37 # CONFIG_NET_VENDOR_MICREL is not set
38 # CONFIG_NET_VENDOR_NATSEMI is not set
39 # CONFIG_NET_VENDOR_SEEQ is not set
40 # CONFIG_NET_VENDOR_SMSC is not set
41 # CONFIG_NET_VENDOR_STMICRO is not set
43 # CONFIG_NET_VENDOR_WIZNET is not set
45 CONFIG_INPUT_MATRIXKMAP=y
46 CONFIG_SERIAL_VT8500=y
47 CONFIG_SERIAL_VT8500_CONSOLE=y
50 CONFIG_PINCTRL_SINGLE=y
51 CONFIG_PINCTRL_WM8750=y
52 CONFIG_GPIO_GENERIC_PLATFORM=y
57 CONFIG_REGULATOR_FIXED_VOLTAGE=y
58 CONFIG_REGULATOR_GPIO=y
61 CONFIG_USB_EHCI_HCD_PLATFORM=y
64 CONFIG_NOP_USB_XCEIV=y
65 CONFIG_USB_GPIO_VBUS=y
71 CONFIG_LEDS_TRIGGERS=y
73 CONFIG_RTC_DRV_VT8500=y
75 # CONFIG_IOMMU_SUPPORT is not set
78 CONFIG_RESET_CONTROLLER=y
88 CONFIG_LOCKUP_DETECTOR=y