0001 CONFIG_NO_HZ=y
0002 CONFIG_HIGH_RES_TIMERS=y
0003 CONFIG_BLK_DEV_INITRD=y
0004 CONFIG_ARCH_MULTI_V6=y
0005 CONFIG_ARCH_WM8750=y
0006 CONFIG_ARCH_WM8850=y
0007 CONFIG_ARM_ERRATA_720789=y
0008 CONFIG_ARM_ERRATA_754322=y
0009 CONFIG_ARM_ERRATA_775420=y
0010 CONFIG_HAVE_ARM_ARCH_TIMER=y
0011 CONFIG_AEABI=y
0012 CONFIG_HIGHMEM=y
0013 CONFIG_HIGHPTE=y
0014 CONFIG_ARM_APPENDED_DTB=y
0015 CONFIG_ARM_ATAG_DTB_COMPAT=y
0016 CONFIG_VFP=y
0017 CONFIG_NEON=y
0018 CONFIG_PM=y
0019 CONFIG_NET=y
0020 CONFIG_UNIX=y
0021 CONFIG_INET=y
0022 CONFIG_IP_PNP=y
0023 CONFIG_IP_PNP_DHCP=y
0024 CONFIG_DEVTMPFS=y
0025 CONFIG_DEVTMPFS_MOUNT=y
0026 CONFIG_PROC_DEVICETREE=y
0027 CONFIG_EEPROM_93CX6=y
0028 CONFIG_SCSI=y
0029 CONFIG_BLK_DEV_SD=y
0030 CONFIG_NETDEVICES=y
0031 # CONFIG_NET_CADENCE is not set
0032 # CONFIG_NET_VENDOR_BROADCOM is not set
0033 # CONFIG_NET_VENDOR_CIRRUS is not set
0034 # CONFIG_NET_VENDOR_FARADAY is not set
0035 # CONFIG_NET_VENDOR_INTEL is not set
0036 # CONFIG_NET_VENDOR_MARVELL is not set
0037 # CONFIG_NET_VENDOR_MICREL is not set
0038 # CONFIG_NET_VENDOR_NATSEMI is not set
0039 # CONFIG_NET_VENDOR_SEEQ is not set
0040 # CONFIG_NET_VENDOR_SMSC is not set
0041 # CONFIG_NET_VENDOR_STMICRO is not set
0042 CONFIG_VIA_VELOCITY=y
0043 # CONFIG_NET_VENDOR_WIZNET is not set
0044 CONFIG_PHYLIB=y
0045 CONFIG_INPUT_MATRIXKMAP=y
0046 CONFIG_SERIAL_VT8500=y
0047 CONFIG_SERIAL_VT8500_CONSOLE=y
0048 CONFIG_I2C=y
0049 CONFIG_I2C_WMT=y
0050 CONFIG_PINCTRL_SINGLE=y
0051 CONFIG_PINCTRL_WM8750=y
0052 CONFIG_GPIO_GENERIC_PLATFORM=y
0053 CONFIG_POWER_RESET=y
0054 CONFIG_POWER_SUPPLY=y
0055 CONFIG_MFD_SYSCON=y
0056 CONFIG_REGULATOR=y
0057 CONFIG_REGULATOR_FIXED_VOLTAGE=y
0058 CONFIG_REGULATOR_GPIO=y
0059 CONFIG_USB=y
0060 CONFIG_USB_EHCI_HCD=y
0061 CONFIG_USB_EHCI_HCD_PLATFORM=y
0062 CONFIG_USB_UHCI_HCD=y
0063 CONFIG_USB_STORAGE=y
0064 CONFIG_NOP_USB_XCEIV=y
0065 CONFIG_USB_GPIO_VBUS=y
0066 CONFIG_USB_ULPI=y
0067 CONFIG_MMC=y
0068 CONFIG_MMC_DEBUG=y
0069 CONFIG_NEW_LEDS=y
0070 CONFIG_LEDS_CLASS=y
0071 CONFIG_LEDS_TRIGGERS=y
0072 CONFIG_RTC_CLASS=y
0073 CONFIG_RTC_DRV_VT8500=y
0074 CONFIG_DMADEVICES=y
0075 # CONFIG_IOMMU_SUPPORT is not set
0076 CONFIG_PWM=y
0077 CONFIG_PWM_VT8500=y
0078 CONFIG_RESET_CONTROLLER=y
0079 CONFIG_GENERIC_PHY=y
0080 CONFIG_EXT4_FS=y
0081 CONFIG_TMPFS=y
0082 CONFIG_NFS_FS=y
0083 CONFIG_NFS_V3_ACL=y
0084 CONFIG_NFS_V4=y
0085 CONFIG_ROOT_NFS=y
0086 CONFIG_PRINTK_TIME=y
0087 CONFIG_DEBUG_KERNEL=y
0088 CONFIG_LOCKUP_DETECTOR=y
