1 CONFIG_ALIGNMENT_TRAP=y
2 CONFIG_ARCH_HAS_ATOMIC64_DEC_IF_POSITIVE=y
3 CONFIG_ARCH_HAS_BARRIERS=y
4 CONFIG_ARCH_HAS_ELF_RANDOMIZE=y
5 CONFIG_ARCH_HAS_GCOV_PROFILE_ALL=y
6 # CONFIG_ARCH_HAS_SG_CHAIN is not set
7 CONFIG_ARCH_HAS_TICK_BROADCAST=y
8 CONFIG_ARCH_HAVE_CUSTOM_GPIO_H=y
9 CONFIG_ARCH_HIBERNATION_POSSIBLE=y
10 CONFIG_ARCH_MIGHT_HAVE_PC_PARPORT=y
12 CONFIG_ARCH_REALVIEW=y
13 CONFIG_ARCH_SELECT_MEMORY_MODEL=y
14 CONFIG_ARCH_SPARSEMEM_DEFAULT=y
15 CONFIG_ARCH_SPARSEMEM_ENABLE=y
16 CONFIG_ARCH_SUPPORTS_ATOMIC_RMW=y
17 CONFIG_ARCH_SUPPORTS_UPROBES=y
18 CONFIG_ARCH_SUSPEND_POSSIBLE=y
19 CONFIG_ARCH_USE_BUILTIN_BSWAP=y
20 CONFIG_ARCH_USE_CMPXCHG_LOCKREF=y
21 CONFIG_ARCH_WANT_GENERAL_HUGETLB=y
22 CONFIG_ARCH_WANT_IPC_PARSE_VERSION=y
23 CONFIG_ARCH_WANT_OPTIONAL_GPIOLIB=y
26 # CONFIG_ARM_CHARLCD is not set
27 # CONFIG_ARM_CPU_SUSPEND is not set
30 CONFIG_ARM_L1_CACHE_SHIFT=6
31 CONFIG_ARM_L1_CACHE_SHIFT_6=y
33 # CONFIG_ARM_SP805_WATCHDOG is not set
35 # CONFIG_ARM_THUMBEE is not set
36 CONFIG_ARM_TIMER_SP804=y
39 CONFIG_AUTO_ZRELADDR=y
41 CONFIG_BLK_DEV_RAM_COUNT=16
42 CONFIG_BLK_DEV_RAM_SIZE=4096
45 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
46 CONFIG_CLKDEV_LOOKUP=y
48 # CONFIG_CLK_SP810 is not set
49 CONFIG_CLONE_BACKWARDS=y
50 CONFIG_CMDLINE="console=ttyAMA0 mem=128M"
51 CONFIG_CMDLINE_FROM_BOOTLOADER=y
53 CONFIG_COMMON_CLK_VERSATILE=y
59 # CONFIG_CPU_ARM926T is not set
60 # CONFIG_CPU_BPREDICT_DISABLE is not set
63 CONFIG_CPU_CACHE_VIPT=y
68 # CONFIG_CPU_ICACHE_DISABLE is not set
78 CONFIG_CRYPTO_CRC32C=y
82 CONFIG_CRYPTO_WORKQUEUE=y
83 CONFIG_DCACHE_WORD_ACCESS=y
84 CONFIG_DEBUG_LL_INCLUDE="mach/debug-macro.S"
85 # CONFIG_DEBUG_UART_8250 is not set
87 CONFIG_DMA_CACHE_RWFO=y
89 CONFIG_EDAC_ATOMIC_SCRUB=y
94 CONFIG_FB_CFB_COPYAREA=y
95 CONFIG_FB_CFB_FILLRECT=y
96 CONFIG_FB_CFB_IMAGEBLIT=y
98 CONFIG_FIX_EARLYCON_MEM=y
99 CONFIG_FRAME_POINTER=y
101 CONFIG_GENERIC_ALLOCATOR=y
102 CONFIG_GENERIC_ATOMIC64=y
104 CONFIG_GENERIC_CLOCKEVENTS=y
105 CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
106 CONFIG_GENERIC_IDLE_POLL_SETUP=y
108 CONFIG_GENERIC_IRQ_SHOW=y
109 CONFIG_GENERIC_IRQ_SHOW_LEVEL=y
110 CONFIG_GENERIC_PCI_IOMAP=y
111 CONFIG_GENERIC_SCHED_CLOCK=y
112 CONFIG_GENERIC_SMP_IDLE_THREAD=y
113 CONFIG_GENERIC_STRNCPY_FROM_USER=y
114 CONFIG_GENERIC_STRNLEN_USER=y
115 CONFIG_HANDLE_DOMAIN_IRQ=y
116 CONFIG_HARDIRQS_SW_RESEND=y
119 CONFIG_HAS_IOPORT_MAP=y
120 # CONFIG_HAVE_64BIT_ALIGNED_ACCESS is not set
121 CONFIG_HAVE_ARCH_AUDITSYSCALL=y
122 # CONFIG_HAVE_ARCH_BITREVERSE is not set
123 CONFIG_HAVE_ARCH_JUMP_LABEL=y
124 CONFIG_HAVE_ARCH_KGDB=y
125 # CONFIG_HAVE_ARCH_PFN_VALID is not set
126 CONFIG_HAVE_ARCH_SECCOMP_FILTER=y
127 CONFIG_HAVE_ARCH_TRACEHOOK=y
128 CONFIG_HAVE_ARM_SCU=y
129 CONFIG_HAVE_ARM_TWD=y
130 # CONFIG_HAVE_BOOTMEM_INFO_NODE is not set
131 CONFIG_HAVE_BPF_JIT=y
132 CONFIG_HAVE_CC_STACKPROTECTOR=y
134 CONFIG_HAVE_CLK_PREPARE=y
135 CONFIG_HAVE_CONTEXT_TRACKING=y
136 CONFIG_HAVE_C_RECORDMCOUNT=y
137 CONFIG_HAVE_DEBUG_KMEMLEAK=y
138 CONFIG_HAVE_DMA_API_DEBUG=y
139 CONFIG_HAVE_DMA_ATTRS=y
140 CONFIG_HAVE_DMA_CONTIGUOUS=y
141 CONFIG_HAVE_DYNAMIC_FTRACE=y
142 CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS=y
143 CONFIG_HAVE_FTRACE_MCOUNT_RECORD=y
144 CONFIG_HAVE_FUNCTION_GRAPH_TRACER=y
145 CONFIG_HAVE_FUNCTION_TRACER=y
146 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
147 CONFIG_HAVE_HW_BREAKPOINT=y
148 CONFIG_HAVE_IRQ_TIME_ACCOUNTING=y
149 CONFIG_HAVE_KERNEL_GZIP=y
150 CONFIG_HAVE_KERNEL_LZ4=y
151 CONFIG_HAVE_KERNEL_LZMA=y
152 CONFIG_HAVE_KERNEL_LZO=y
153 CONFIG_HAVE_KERNEL_XZ=y
154 CONFIG_HAVE_MEMBLOCK=y
155 CONFIG_HAVE_MEMORY_PRESENT=y
156 CONFIG_HAVE_MOD_ARCH_SPECIFIC=y
157 CONFIG_HAVE_NET_DSA=y
158 CONFIG_HAVE_OPROFILE=y
159 CONFIG_HAVE_OPTPROBES=y
160 CONFIG_HAVE_PATA_PLATFORM=y
161 CONFIG_HAVE_PERF_EVENTS=y
162 CONFIG_HAVE_PERF_REGS=y
163 CONFIG_HAVE_PERF_USER_STACK_DUMP=y
164 CONFIG_HAVE_PROC_CPU=y
165 CONFIG_HAVE_REGS_AND_STACK_ACCESS_API=y
167 CONFIG_HAVE_SYSCALL_TRACEPOINTS=y
170 CONFIG_HAVE_VIRT_CPU_ACCOUNTING_GEN=y
175 CONFIG_INITRAMFS_SOURCE=""
176 CONFIG_IOMMU_HELPER=y
178 CONFIG_IP_PNP_BOOTP=y
180 # CONFIG_IP_PNP_RARP is not set
182 CONFIG_IRQ_DOMAIN_HIERARCHY=y
183 CONFIG_IRQ_FORCED_THREADING=y
189 CONFIG_LEDS_VERSATILE=y
190 CONFIG_LOCK_SPIN_ON_OWNER=y
192 CONFIG_LOGO_LINUX_CLUT224=y
193 # CONFIG_LOGO_LINUX_MONO is not set
194 # CONFIG_LOGO_LINUX_VGA16 is not set
195 CONFIG_LZO_COMPRESS=y
196 CONFIG_LZO_DECOMPRESS=y
197 CONFIG_MACH_REALVIEW_EB=y
198 CONFIG_MACH_REALVIEW_PB1176=y
199 CONFIG_MACH_REALVIEW_PB11MP=y
200 CONFIG_MACH_REALVIEW_PBA8=y
201 CONFIG_MACH_REALVIEW_PBX=y
203 CONFIG_MDIO_BOARDINFO=y
204 CONFIG_MIGHT_HAVE_CACHE_L2X0=y
208 CONFIG_MODULES_TREE_LOOKUP=y
209 CONFIG_MODULES_USE_ELF_REL=y
210 CONFIG_MTD_CMDLINE_PARTS=y
211 CONFIG_MULTI_IRQ_HANDLER=y
212 CONFIG_MUTEX_SPIN_ON_OWNER=y
213 CONFIG_NEED_DMA_MAP_STATE=y
214 CONFIG_NEED_MACH_MEMORY_H=y
215 # CONFIG_NEON is not set
216 CONFIG_NET_FLOW_LIMIT=y
220 # CONFIG_OF is not set
221 CONFIG_OLD_SIGACTION=y
222 CONFIG_OLD_SIGSUSPEND3=y
224 CONFIG_OUTER_CACHE_SYNC=y
225 CONFIG_PAGE_OFFSET=0xC0000000
226 # CONFIG_PCI_DOMAINS_GENERIC is not set
227 # CONFIG_PCI_SYSCALL is not set
229 CONFIG_PERF_USE_VMALLOC=y
230 CONFIG_PGTABLE_LEVELS=2
232 CONFIG_PHYS_OFFSET=0x00000000
233 # CONFIG_PL310_ERRATA_588369 is not set
234 # CONFIG_PL310_ERRATA_727915 is not set
235 CONFIG_PL310_ERRATA_753970=y
236 # CONFIG_PL310_ERRATA_769419 is not set
237 CONFIG_PLAT_VERSATILE=y
238 CONFIG_PLAT_VERSATILE_CLCD=y
239 CONFIG_PLAT_VERSATILE_SCHED_CLOCK=y
241 CONFIG_RCU_STALL_COMMON=y
242 # CONFIG_REALVIEW_DT is not set
243 # CONFIG_REALVIEW_EB_A9MP is not set
244 CONFIG_REALVIEW_EB_ARM11MP=y
245 CONFIG_REALVIEW_EB_ARM11MP_REVB=y
246 CONFIG_REALVIEW_PB1176_SECURE_FLASH=y
249 CONFIG_RWSEM_SPIN_ON_OWNER=y
250 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
251 CONFIG_SCHED_HRTICK=y
252 # CONFIG_SCHED_INFO is not set
253 # CONFIG_SCSI_DMA is not set
254 # CONFIG_SERIAL_8250 is not set
255 # CONFIG_SERIAL_AMBA_PL010 is not set
256 CONFIG_SERIAL_AMBA_PL011=y
257 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
262 # CONFIG_SMSC911X_ARCH_HOOKS is not set
265 # CONFIG_SND_COMPRESS_OFFLOAD is not set
266 # CONFIG_SND_DRIVERS is not set
267 CONFIG_SND_MIXER_OSS=y
271 CONFIG_SOC_REALVIEW=y
273 CONFIG_SOUND_OSS_CORE=y
274 CONFIG_SOUND_OSS_CORE_PRECLAIM=y
276 CONFIG_SPARSEMEM_EXTREME=y
277 CONFIG_SPARSEMEM_MANUAL=y
279 # CONFIG_SWAP is not set
282 CONFIG_SYSFS_DEPRECATED=y
283 CONFIG_SYSFS_DEPRECATED_V2=y
284 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
285 CONFIG_TICK_CPU_ACCOUNTING=y
287 CONFIG_UNCOMPRESS_INCLUDE="mach/uncompress.h"
288 CONFIG_VECTORS_BASE=0xffff0000
294 CONFIG_ZBOOT_ROM_BSS=0x0
295 CONFIG_ZBOOT_ROM_TEXT=0x0
296 CONFIG_ZLIB_DEFLATE=y
297 CONFIG_ZLIB_INFLATE=y