5 CONFIG_HIGH_RES_TIMERS=y
6 CONFIG_BSD_PROCESS_ACCT=y
7 CONFIG_BSD_PROCESS_ACCT_V3=y
9 CONFIG_TASK_DELAY_ACCT=y
11 CONFIG_TASK_IO_ACCOUNTING=y
13 CONFIG_IKCONFIG_PROC=y
14 CONFIG_LOG_BUF_SHIFT=16
16 # CONFIG_UTS_NS is not set
17 # CONFIG_IPC_NS is not set
18 # CONFIG_PID_NS is not set
19 # CONFIG_NET_NS is not set
20 CONFIG_SCHED_AUTOGROUP=y
22 CONFIG_BLK_DEV_INITRD=y
23 CONFIG_SYSCTL_SYSCALL=y
25 # CONFIG_COMPAT_BRK is not set
28 CONFIG_MODULE_UNLOAD=y
29 # CONFIG_IOSCHED_DEADLINE is not set
34 CONFIG_ARM_ERRATA_430973=y
35 CONFIG_ARM_ERRATA_643719=y
36 CONFIG_ARM_ERRATA_720789=y
37 CONFIG_ARM_ERRATA_754322=y
38 CONFIG_ARM_ERRATA_754327=y
39 CONFIG_ARM_ERRATA_764369=y
40 CONFIG_ARM_ERRATA_775420=y
41 CONFIG_ARM_ERRATA_798181=y
53 CONFIG_ZBOOT_ROM_TEXT=0x0
54 CONFIG_ZBOOT_ROM_BSS=0x0
55 CONFIG_ARM_APPENDED_DTB=y
56 CONFIG_ARM_ATAG_DTB_COMPAT=y
59 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
61 # CONFIG_SUSPEND is not set
66 CONFIG_XFRM_SUB_POLICY=y
68 CONFIG_XFRM_STATISTICS=y
77 # CONFIG_INET_LRO is not set
78 # CONFIG_IPV6 is not set
79 CONFIG_NETWORK_PHY_TIMESTAMPING=y
81 # CONFIG_WIRELESS is not set
82 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
84 CONFIG_DEVTMPFS_MOUNT=y
86 CONFIG_MTD_CMDLINE_PARTS=y
87 CONFIG_MTD_AFS_PARTS=y
90 CONFIG_MTD_CFI_INTELEXT=y
91 CONFIG_MTD_CFI_AMDSTD=y
94 CONFIG_MTD_PHYSMAP_OF=y
96 CONFIG_PROC_DEVICETREE=y
104 CONFIG_PATA_PLATFORM=y
105 CONFIG_PATA_OF_PLATFORM=y
113 # CONFIG_NET_CADENCE is not set
114 # CONFIG_NET_VENDOR_BROADCOM is not set
115 # CONFIG_NET_VENDOR_CIRRUS is not set
116 # CONFIG_NET_VENDOR_FARADAY is not set
117 # CONFIG_NET_VENDOR_INTEL is not set
118 # CONFIG_NET_VENDOR_MARVELL is not set
119 # CONFIG_NET_VENDOR_MICREL is not set
120 # CONFIG_NET_VENDOR_NATSEMI is not set
121 # CONFIG_NET_VENDOR_SEEQ is not set
122 # CONFIG_NET_VENDOR_SMSC is not set
123 # CONFIG_NET_VENDOR_STMICRO is not set
124 # CONFIG_NET_VENDOR_VIA is not set
125 # CONFIG_NET_VENDOR_WIZNET is not set
126 CONFIG_BROADCOM_PHY=y
127 # CONFIG_WLAN is not set
128 # CONFIG_MOUSE_PS2_ALPS is not set
129 # CONFIG_MOUSE_PS2_LOGIPS2PP is not set
130 # CONFIG_MOUSE_PS2_SYNAPTICS is not set
131 # CONFIG_MOUSE_PS2_TRACKPOINT is not set
132 # CONFIG_SERIO_SERPORT is not set
133 CONFIG_SERIO_AMBAKMI=y
134 CONFIG_LEGACY_PTY_COUNT=16
135 CONFIG_SERIAL_AMBA_PL011=y
136 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
137 CONFIG_VIRTIO_CONSOLE=y
138 # CONFIG_HW_RANDOM is not set
149 CONFIG_POWER_SUPPLY=y
151 CONFIG_POWER_RESET_AXXIA=y
152 CONFIG_SENSORS_ADT7475=y
153 CONFIG_SENSORS_JC42=y
154 CONFIG_SENSORS_LM75=y
156 CONFIG_SENSORS_LTC2978=y
158 CONFIG_ARM_SP805_WATCHDOG=y
161 CONFIG_FRAMEBUFFER_CONSOLE=y
163 # CONFIG_LOGO_LINUX_MONO is not set
164 # CONFIG_LOGO_LINUX_VGA16 is not set
171 CONFIG_HID_DRAGONRISE=y
174 CONFIG_HID_GYRATION=y
176 CONFIG_HID_KENSINGTON=y
177 CONFIG_HID_LOGITECH=y
178 CONFIG_HID_MICROSOFT=y
179 CONFIG_HID_MONTEREY=y
182 CONFIG_HID_PANTHERLORD=y
183 CONFIG_HID_PETALYNX=y
186 CONFIG_HID_GREENASIA=y
187 CONFIG_HID_SMARTJOYPLUS=y
189 CONFIG_HID_THRUSTMASTER=y
190 CONFIG_HID_ZEROPLUS=y
192 CONFIG_USB_ANNOUNCE_NEW_DEVICES=y
193 CONFIG_USB_EHCI_HCD=y
194 # CONFIG_USB_EHCI_TT_NEWSCHED is not set
195 CONFIG_USB_EHCI_HCD_AXXIA=y
201 CONFIG_VIRT_DRIVERS=y
205 # CONFIG_IOMMU_SUPPORT is not set
208 # CONFIG_EXT3_DEFAULTS_TO_ORDERED is not set
214 CONFIG_FSCACHE_STATS=y
215 CONFIG_FSCACHE_HISTOGRAM=y
216 CONFIG_FSCACHE_DEBUG=y
217 CONFIG_FSCACHE_OBJECT_LIST=y
219 CONFIG_CACHEFILES_HISTOGRAM=y
232 CONFIG_SUNRPC_DEBUG=y
233 CONFIG_NLS_CODEPAGE_437=y
234 CONFIG_NLS_ISO8859_1=y
239 # CONFIG_SCHED_DEBUG is not set
240 CONFIG_RCU_CPU_STALL_TIMEOUT=60
241 # CONFIG_FTRACE is not set
245 CONFIG_CRYPTO_SHA256=y
246 # CONFIG_CRYPTO_ANSI_CPRNG is not set
247 CONFIG_VIRTUALIZATION=y