1 CONFIG_ALIGNMENT_TRAP=y
2 CONFIG_ARCH_BINFMT_ELF_RANDOMIZE_PIE=y
4 CONFIG_ARCH_HAS_ATOMIC64_DEC_IF_POSITIVE=y
5 CONFIG_ARCH_HAVE_CUSTOM_GPIO_H=y
6 # CONFIG_ARCH_NEEDS_CPU_IDLE_COUPLED is not set
8 CONFIG_ARCH_REQUIRE_GPIOLIB=y
9 # CONFIG_ARCH_SELECT_MEMORY_MODEL is not set
10 # CONFIG_ARCH_SPARSEMEM_DEFAULT is not set
11 CONFIG_ARCH_SUSPEND_POSSIBLE=y
12 # CONFIG_ARCH_VT8500_SINGLE is not set
13 CONFIG_ARCH_WANT_IPC_PARSE_VERSION=y
15 # CONFIG_ARM_CPU_SUSPEND is not set
17 CONFIG_ARM_L1_CACHE_SHIFT=5
19 CONFIG_ARM_PATCH_PHYS_VIRT=y
23 # CONFIG_ATA_SFF is not set
24 CONFIG_ATA_VERBOSE_ERROR=y
25 CONFIG_AUTO_ZRELADDR=y
28 CONFIG_CLKDEV_LOOKUP=y
29 CONFIG_CLONE_BACKWARDS=y
34 # CONFIG_CPU_BPREDICT_DISABLE is not set
36 CONFIG_CPU_CACHE_VIPT=y
41 # CONFIG_CPU_ICACHE_DISABLE is not set
46 CONFIG_DCACHE_WORD_ACCESS=y
47 CONFIG_DEBUG_BUGVERBOSE=y
49 CONFIG_DEBUG_LL_INCLUDE="mach/debug-macro.S"
50 CONFIG_DEBUG_LL_UART_NONE=y
51 # CONFIG_DEBUG_USER is not set
52 CONFIG_DECOMPRESS_LZMA=y
53 # CONFIG_DWC_DEBUG is not set
54 # CONFIG_DWC_DEVICE_ONLY is not set
55 # CONFIG_DWC_HOST_ONLY is not set
60 CONFIG_FRAME_POINTER=y
62 CONFIG_GENERIC_CLOCKEVENTS=y
63 CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
64 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
67 CONFIG_GENERIC_IRQ_CHIP=y
68 CONFIG_GENERIC_IRQ_SHOW=y
69 CONFIG_GENERIC_PCI_IOMAP=y
70 CONFIG_GENERIC_SMP_IDLE_THREAD=y
71 CONFIG_GENERIC_STRNCPY_FROM_USER=y
72 CONFIG_GENERIC_STRNLEN_USER=y
75 CONFIG_GPIO_PCA953X_IRQ=y
77 CONFIG_HARDIRQS_SW_RESEND=y
82 CONFIG_HAVE_ARCH_JUMP_LABEL=y
83 CONFIG_HAVE_ARCH_KGDB=y
84 CONFIG_HAVE_ARCH_PFN_VALID=y
85 CONFIG_HAVE_ARCH_SECCOMP_FILTER=y
86 CONFIG_HAVE_ARCH_TRACEHOOK=y
91 CONFIG_HAVE_C_RECORDMCOUNT=y
92 CONFIG_HAVE_DEBUG_KMEMLEAK=y
93 CONFIG_HAVE_DMA_API_DEBUG=y
94 CONFIG_HAVE_DMA_ATTRS=y
95 CONFIG_HAVE_DMA_CONTIGUOUS=y
96 CONFIG_HAVE_DYNAMIC_FTRACE=y
97 CONFIG_HAVE_FTRACE_MCOUNT_RECORD=y
98 CONFIG_HAVE_FUNCTION_GRAPH_TRACER=y
99 CONFIG_HAVE_FUNCTION_TRACER=y
100 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
101 CONFIG_HAVE_GENERIC_HARDIRQS=y
103 CONFIG_HAVE_IRQ_WORK=y
104 CONFIG_HAVE_KERNEL_GZIP=y
105 CONFIG_HAVE_KERNEL_LZMA=y
106 CONFIG_HAVE_KERNEL_LZO=y
107 CONFIG_HAVE_KERNEL_XZ=y
108 CONFIG_HAVE_MEMBLOCK=y
109 CONFIG_HAVE_NET_DSA=y
110 CONFIG_HAVE_OPROFILE=y
111 CONFIG_HAVE_PERF_EVENTS=y
112 CONFIG_HAVE_PROC_CPU=y
113 CONFIG_HAVE_REGS_AND_STACK_ACCESS_API=y
115 CONFIG_HAVE_SYSCALL_TRACEPOINTS=y
120 CONFIG_I2C_BOARDINFO=y
123 CONFIG_INITRAMFS_SOURCE=""
125 CONFIG_KTIME_SCALAR=y
127 # CONFIG_LEDS_TRIGGER_NETDEV is not set
128 CONFIG_LOCAL_TIMERS=y
129 CONFIG_M25PXX_USE_FAST_READ=y
130 # CONFIG_MACH_CNS3420VB is not set
132 CONFIG_MDIO_BOARDINFO=y
133 CONFIG_MIGHT_HAVE_CACHE_L2X0=y
134 CONFIG_MIGHT_HAVE_PCI=y
138 CONFIG_MMC_SDHCI_CNS3XXX=y
139 # CONFIG_MMC_SDHCI_PCI is not set
140 CONFIG_MMC_SDHCI_PLTFM=y
141 # CONFIG_MMC_TIFM_SD is not set
142 CONFIG_MODULES_USE_ELF_REL=y
143 CONFIG_MPCORE_WATCHDOG=y
146 CONFIG_MULTI_IRQ_HANDLER=y
147 CONFIG_MUTEX_SPIN_ON_OWNER=y
148 CONFIG_NEED_DMA_MAP_STATE=y
149 CONFIG_NET_VENDOR_CAVIUM=y
154 CONFIG_OUTER_CACHE_SYNC=y
155 CONFIG_PAGEFLAGS_EXTENDED=y
156 CONFIG_PAGE_OFFSET=0xC0000000
158 CONFIG_PCI_DISABLE_COMMON_QUIRKS=y
160 CONFIG_PERCPU_RWSEM=y
161 CONFIG_PERF_USE_VMALLOC=y
163 CONFIG_PL310_ERRATA_588369=y
164 CONFIG_PL310_ERRATA_727915=y
165 CONFIG_PL310_ERRATA_769419=y
167 CONFIG_PPS_CLIENT_GPIO=y
168 # CONFIG_PREEMPT_RCU is not set
169 # CONFIG_PROC_STRIPPED is not set
174 CONFIG_RTC_DRV_DS1672=y
176 CONFIG_SATA_AHCI_PLATFORM=y
178 # CONFIG_SCSI_MULTI_LUN is not set
179 CONFIG_SENSORS_AD7418=y
181 CONFIG_SERIAL_8250_NR_UARTS=3
182 CONFIG_SERIAL_8250_RUNTIME_UARTS=3
189 # CONFIG_STAGING is not set
190 CONFIG_STOP_MACHINE=y
191 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
192 CONFIG_TICK_CPU_ACCOUNTING=y
195 CONFIG_UIDGID_CONVERTED=y
197 # CONFIG_USB_AMD5536UDC is not set
198 CONFIG_USB_ANNOUNCE_NEW_DEVICES=y
199 CONFIG_USB_ARCH_HAS_XHCI=y
200 CONFIG_USB_CNS3XXX_EHCI=y
201 CONFIG_USB_CNS3XXX_OHCI=y
204 # CONFIG_USB_EG20T is not set
205 CONFIG_USB_EHCI_HCD=y
206 CONFIG_USB_EHCI_HCD_PLATFORM=y
207 CONFIG_USB_EHCI_PCI=y
208 # CONFIG_USB_ETH is not set
210 # CONFIG_USB_GOKU is not set
211 # CONFIG_USB_NET2280 is not set
212 # CONFIG_USB_OHCI_BIG_ENDIAN_DESC is not set
213 # CONFIG_USB_OHCI_BIG_ENDIAN_MMIO is not set
214 CONFIG_USB_OHCI_HCD=y
215 CONFIG_USB_OHCI_HCD_PLATFORM=y
217 # CONFIG_USB_UHCI_HCD is not set
218 CONFIG_USE_GENERIC_SMP_HELPERS=y
219 CONFIG_VECTORS_BASE=0xffff0000
221 CONFIG_WATCHDOG_NOWAYOUT=y
225 CONFIG_ZBOOT_ROM_BSS=0
226 CONFIG_ZBOOT_ROM_TEXT=0
227 CONFIG_ZONE_DMA_FLAG=0