1 CONFIG_ALIGNMENT_TRAP=y
2 # CONFIG_ARCH_BCM is not set
4 CONFIG_ARCH_BINFMT_ELF_RANDOMIZE_PIE=y
5 CONFIG_ARCH_HAS_ATOMIC64_DEC_IF_POSITIVE=y
6 CONFIG_ARCH_HAS_TICK_BROADCAST=y
7 CONFIG_ARCH_HAVE_CUSTOM_GPIO_H=y
8 CONFIG_ARCH_MULTIPLATFORM=y
9 # CONFIG_ARCH_MULTI_CPU_AUTO is not set
10 # CONFIG_ARCH_MULTI_V6 is not set
11 CONFIG_ARCH_MULTI_V6_V7=y
12 CONFIG_ARCH_MULTI_V7=y
13 # CONFIG_ARCH_NEEDS_CPU_IDLE_COUPLED is not set
15 # CONFIG_ARCH_OMAP2PLUS is not set
16 # CONFIG_ARCH_SELECT_MEMORY_MODEL is not set
17 # CONFIG_ARCH_SPARSEMEM_DEFAULT is not set
18 # CONFIG_ARCH_SUNXI is not set
19 CONFIG_ARCH_SUSPEND_POSSIBLE=y
20 # CONFIG_ARCH_VIRT is not set
21 CONFIG_ARCH_WANT_IPC_PARSE_VERSION=y
22 # CONFIG_ARCH_WM8850 is not set
24 CONFIG_ARM_APPENDED_DTB=y
25 # CONFIG_ARM_ATAG_DTB_COMPAT is not set
26 # CONFIG_ARM_CPU_SUSPEND is not set
28 CONFIG_ARM_GLOBAL_TIMER=y
29 CONFIG_ARM_L1_CACHE_SHIFT=6
30 CONFIG_ARM_L1_CACHE_SHIFT_6=y
31 # CONFIG_ARM_LPAE is not set
33 CONFIG_ARM_PATCH_PHYS_VIRT=y
35 # CONFIG_ARM_THUMBEE is not set
38 CONFIG_AUTO_ZRELADDR=y
42 CONFIG_BCMA_DRIVER_GMAC_CMN=y
43 CONFIG_BCMA_HOST_SOC=y
45 # CONFIG_CACHE_L2X0 is not set
46 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
47 CONFIG_CLKDEV_LOOKUP=y
48 CONFIG_CLKSRC_ARM_GLOBAL_TIMER_SCHED_CLOCK=y
50 CONFIG_CLONE_BACKWARDS=y
55 # CONFIG_CPU_BPREDICT_DISABLE is not set
57 CONFIG_CPU_CACHE_VIPT=y
62 # CONFIG_CPU_ICACHE_DISABLE is not set
67 CONFIG_DCACHE_WORD_ACCESS=y
68 CONFIG_DEBUG_BCM53XX=y
71 CONFIG_DEBUG_LL_INCLUDE="debug/bcm53xx.S"
72 CONFIG_DEBUG_UNCOMPRESS=y
76 CONFIG_FRAME_POINTER=y
78 CONFIG_GENERIC_CLOCKEVENTS=y
79 CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
80 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
81 CONFIG_GENERIC_IDLE_POLL_SETUP=y
83 CONFIG_GENERIC_IRQ_SHOW=y
84 CONFIG_GENERIC_PCI_IOMAP=y
85 CONFIG_GENERIC_SMP_IDLE_THREAD=y
86 CONFIG_GENERIC_STRNCPY_FROM_USER=y
87 CONFIG_GENERIC_STRNLEN_USER=y
89 CONFIG_HARDIRQS_SW_RESEND=y
93 # CONFIG_HAVE_64BIT_ALIGNED_ACCESS is not set
95 CONFIG_HAVE_ARCH_JUMP_LABEL=y
96 CONFIG_HAVE_ARCH_KGDB=y
97 CONFIG_HAVE_ARCH_PFN_VALID=y
98 CONFIG_HAVE_ARCH_SECCOMP_FILTER=y
99 CONFIG_HAVE_ARCH_TRACEHOOK=y
100 CONFIG_HAVE_ARM_SCU=y
101 CONFIG_HAVE_ARM_TWD=y
102 # CONFIG_HAVE_BOOTMEM_INFO_NODE is not set
103 CONFIG_HAVE_BPF_JIT=y
105 CONFIG_HAVE_CLK_PREPARE=y
106 CONFIG_HAVE_CONTEXT_TRACKING=y
107 CONFIG_HAVE_C_RECORDMCOUNT=y
108 CONFIG_HAVE_DEBUG_KMEMLEAK=y
109 CONFIG_HAVE_DMA_API_DEBUG=y
110 CONFIG_HAVE_DMA_ATTRS=y
111 CONFIG_HAVE_DMA_CONTIGUOUS=y
112 CONFIG_HAVE_DYNAMIC_FTRACE=y
113 CONFIG_HAVE_FTRACE_MCOUNT_RECORD=y
114 CONFIG_HAVE_FUNCTION_GRAPH_TRACER=y
115 CONFIG_HAVE_FUNCTION_TRACER=y
116 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
117 CONFIG_HAVE_GENERIC_HARDIRQS=y
118 CONFIG_HAVE_IRQ_TIME_ACCOUNTING=y
119 CONFIG_HAVE_KERNEL_GZIP=y
120 CONFIG_HAVE_KERNEL_LZMA=y
121 CONFIG_HAVE_KERNEL_LZO=y
122 CONFIG_HAVE_KERNEL_XZ=y
123 CONFIG_HAVE_MEMBLOCK=y
124 CONFIG_HAVE_NET_DSA=y
125 CONFIG_HAVE_OPROFILE=y
126 CONFIG_HAVE_PERF_EVENTS=y
127 CONFIG_HAVE_PROC_CPU=y
128 CONFIG_HAVE_REGS_AND_STACK_ACCESS_API=y
130 CONFIG_HAVE_SYSCALL_TRACEPOINTS=y
133 CONFIG_INITRAMFS_SOURCE=""
137 CONFIG_KTIME_SCALAR=y
138 CONFIG_LOCAL_TIMERS=y
139 CONFIG_MDIO_BOARDINFO=y
140 CONFIG_MODULES_USE_ELF_REL=y
141 # CONFIG_MPCORE_WATCHDOG is not set
142 CONFIG_MTD_OF_PARTS=y
143 # CONFIG_MTD_PHYSMAP_OF is not set
144 CONFIG_MULTI_IRQ_HANDLER=y
145 CONFIG_MUTEX_SPIN_ON_OWNER=y
146 CONFIG_NEED_DMA_MAP_STATE=y
151 CONFIG_OF_EARLY_FLATTREE=y
157 CONFIG_OLD_SIGACTION=y
158 CONFIG_OLD_SIGSUSPEND3=y
159 CONFIG_PAGEFLAGS_EXTENDED=y
160 CONFIG_PAGE_OFFSET=0xC0000000
161 # CONFIG_PCI_SYSCALL is not set
162 CONFIG_PERF_USE_VMALLOC=y
164 # CONFIG_PREEMPT_RCU is not set
165 CONFIG_RCU_STALL_COMMON=y
168 CONFIG_SCHED_HRTICK=y
169 # CONFIG_SCSI_DMA is not set
170 CONFIG_SERIAL_OF_PLATFORM=y
174 CONFIG_STOP_MACHINE=y
175 # CONFIG_SWP_EMULATE is not set
176 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
177 # CONFIG_TEGRA_HOST1X is not set
178 # CONFIG_THUMB2_KERNEL is not set
179 CONFIG_TICK_CPU_ACCOUNTING=y
182 CONFIG_UIDGID_CONVERTED=y
183 CONFIG_UNCOMPRESS_INCLUDE="debug/uncompress.h"
184 # CONFIG_USB_ARCH_HAS_EHCI is not set
185 # CONFIG_USB_ARCH_HAS_OHCI is not set
186 # CONFIG_USB_ARCH_HAS_XHCI is not set
187 CONFIG_USE_GENERIC_SMP_HELPERS=y
189 CONFIG_VECTORS_BASE=0xffff0000
190 # CONFIG_VFP is not set
191 # CONFIG_XEN is not set
195 CONFIG_ZBOOT_ROM_BSS=0x0
196 CONFIG_ZBOOT_ROM_TEXT=0x0
197 CONFIG_ZONE_DMA_FLAG=0