| CONFIG_NO_HZ=y |
| CONFIG_HIGH_RES_TIMERS=y |
| CONFIG_BLK_DEV_INITRD=y |
| CONFIG_ARCH_MULTI_V6=y |
| CONFIG_ARCH_WM8750=y |
| CONFIG_ARCH_WM8850=y |
| CONFIG_ARM_ERRATA_720789=y |
| CONFIG_ARM_ERRATA_754322=y |
| CONFIG_ARM_ERRATA_775420=y |
| CONFIG_HAVE_ARM_ARCH_TIMER=y |
| CONFIG_AEABI=y |
| CONFIG_HIGHMEM=y |
| CONFIG_HIGHPTE=y |
| CONFIG_ARM_APPENDED_DTB=y |
| CONFIG_ARM_ATAG_DTB_COMPAT=y |
| CONFIG_VFP=y |
| CONFIG_NEON=y |
| CONFIG_PM=y |
| CONFIG_NET=y |
| CONFIG_UNIX=y |
| CONFIG_INET=y |
| CONFIG_IP_PNP=y |
| CONFIG_IP_PNP_DHCP=y |
| CONFIG_DEVTMPFS=y |
| CONFIG_DEVTMPFS_MOUNT=y |
| CONFIG_PROC_DEVICETREE=y |
| CONFIG_EEPROM_93CX6=y |
| CONFIG_SCSI=y |
| CONFIG_BLK_DEV_SD=y |
| CONFIG_NETDEVICES=y |
| # CONFIG_NET_CADENCE is not set |
| # CONFIG_NET_VENDOR_BROADCOM is not set |
| # CONFIG_NET_VENDOR_CIRRUS is not set |
| # CONFIG_NET_VENDOR_FARADAY is not set |
| # CONFIG_NET_VENDOR_INTEL is not set |
| # CONFIG_NET_VENDOR_MARVELL is not set |
| # CONFIG_NET_VENDOR_MICREL is not set |
| # CONFIG_NET_VENDOR_NATSEMI is not set |
| # CONFIG_NET_VENDOR_SEEQ is not set |
| # CONFIG_NET_VENDOR_SMSC is not set |
| # CONFIG_NET_VENDOR_STMICRO is not set |
| CONFIG_VIA_VELOCITY=y |
| # CONFIG_NET_VENDOR_WIZNET is not set |
| CONFIG_PHYLIB=y |
| CONFIG_INPUT_MATRIXKMAP=y |
| CONFIG_SERIAL_VT8500=y |
| CONFIG_SERIAL_VT8500_CONSOLE=y |
| CONFIG_I2C=y |
| CONFIG_I2C_WMT=y |
| CONFIG_PINCTRL_SINGLE=y |
| CONFIG_PINCTRL_WM8750=y |
| CONFIG_GPIO_GENERIC_PLATFORM=y |
| CONFIG_POWER_SUPPLY=y |
| CONFIG_POWER_RESET=y |
| CONFIG_MFD_SYSCON=y |
| CONFIG_REGULATOR=y |
| CONFIG_REGULATOR_FIXED_VOLTAGE=y |
| CONFIG_REGULATOR_GPIO=y |
| CONFIG_USB=y |
| CONFIG_USB_EHCI_HCD=y |
| CONFIG_USB_EHCI_HCD_PLATFORM=y |
| CONFIG_USB_UHCI_HCD=y |
| CONFIG_USB_STORAGE=y |
| CONFIG_NOP_USB_XCEIV=y |
| CONFIG_USB_GPIO_VBUS=y |
| CONFIG_USB_ULPI=y |
| CONFIG_MMC=y |
| CONFIG_MMC_DEBUG=y |
| CONFIG_NEW_LEDS=y |
| CONFIG_LEDS_CLASS=y |
| CONFIG_LEDS_TRIGGERS=y |
| CONFIG_RTC_CLASS=y |
| CONFIG_RTC_DRV_VT8500=y |
| CONFIG_DMADEVICES=y |
| # CONFIG_IOMMU_SUPPORT is not set |
| CONFIG_PWM=y |
| CONFIG_PWM_VT8500=y |
| CONFIG_RESET_CONTROLLER=y |
| CONFIG_GENERIC_PHY=y |
| CONFIG_EXT4_FS=y |
| CONFIG_TMPFS=y |
| CONFIG_NFS_FS=y |
| CONFIG_NFS_V3_ACL=y |
| CONFIG_NFS_V4=y |
| CONFIG_ROOT_NFS=y |
| CONFIG_PRINTK_TIME=y |
| CONFIG_DEBUG_KERNEL=y |
| CONFIG_LOCKUP_DETECTOR=y |