1CONFIG_IRQ_DOMAIN_DEBUG=y
2CONFIG_NO_HZ=y
3CONFIG_HIGH_RES_TIMERS=y
4CONFIG_BLK_DEV_INITRD=y
5CONFIG_ARCH_MULTI_V6=y
6CONFIG_ARCH_WM8750=y
7CONFIG_ARCH_WM8850=y
8CONFIG_ARM_ERRATA_720789=y
9CONFIG_ARM_ERRATA_754322=y
10CONFIG_ARM_ERRATA_775420=y
11CONFIG_HAVE_ARM_ARCH_TIMER=y
12CONFIG_AEABI=y
13CONFIG_HIGHMEM=y
14CONFIG_HIGHPTE=y
15CONFIG_ARM_APPENDED_DTB=y
16CONFIG_ARM_ATAG_DTB_COMPAT=y
17CONFIG_VFP=y
18CONFIG_NEON=y
19CONFIG_PM=y
20CONFIG_NET=y
21CONFIG_UNIX=y
22CONFIG_INET=y
23CONFIG_IP_PNP=y
24CONFIG_IP_PNP_DHCP=y
25CONFIG_DEVTMPFS=y
26CONFIG_DEVTMPFS_MOUNT=y
27CONFIG_PROC_DEVICETREE=y
28CONFIG_EEPROM_93CX6=y
29CONFIG_SCSI=y
30CONFIG_BLK_DEV_SD=y
31CONFIG_NETDEVICES=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
43CONFIG_VIA_VELOCITY=y
44# CONFIG_NET_VENDOR_WIZNET is not set
45CONFIG_PHYLIB=y
46CONFIG_INPUT_MATRIXKMAP=y
47CONFIG_SERIAL_VT8500=y
48CONFIG_SERIAL_VT8500_CONSOLE=y
49CONFIG_I2C=y
50CONFIG_I2C_WMT=y
51CONFIG_PINCTRL_SINGLE=y
52CONFIG_PINCTRL_WM8750=y
53CONFIG_GPIO_GENERIC_PLATFORM=y
54CONFIG_POWER_SUPPLY=y
55CONFIG_POWER_RESET=y
56CONFIG_MFD_SYSCON=y
57CONFIG_REGULATOR=y
58CONFIG_REGULATOR_FIXED_VOLTAGE=y
59CONFIG_REGULATOR_GPIO=y
60CONFIG_USB=y
61CONFIG_USB_EHCI_HCD=y
62CONFIG_USB_EHCI_HCD_PLATFORM=y
63CONFIG_USB_UHCI_HCD=y
64CONFIG_USB_STORAGE=y
65CONFIG_NOP_USB_XCEIV=y
66CONFIG_USB_GPIO_VBUS=y
67CONFIG_USB_ULPI=y
68CONFIG_MMC=y
69CONFIG_MMC_DEBUG=y
70CONFIG_NEW_LEDS=y
71CONFIG_LEDS_CLASS=y
72CONFIG_LEDS_TRIGGERS=y
73CONFIG_RTC_CLASS=y
74CONFIG_RTC_DRV_VT8500=y
75CONFIG_DMADEVICES=y
76# CONFIG_IOMMU_SUPPORT is not set
77CONFIG_PWM=y
78CONFIG_PWM_VT8500=y
79CONFIG_RESET_CONTROLLER=y
80CONFIG_GENERIC_PHY=y
81CONFIG_EXT4_FS=y
82CONFIG_TMPFS=y
83CONFIG_NFS_FS=y
84CONFIG_NFS_V3_ACL=y
85CONFIG_NFS_V4=y
86CONFIG_ROOT_NFS=y
87CONFIG_PRINTK_TIME=y
88CONFIG_DEBUG_KERNEL=y
89CONFIG_LOCKUP_DETECTOR=y
90