1 CONFIG_ALIGNMENT_TRAP=y
2 CONFIG_ARCH_BINFMT_ELF_RANDOMIZE_PIE=y
3 CONFIG_ARCH_HAS_BARRIERS=y
4 CONFIG_ARCH_HAS_CPU_IDLE_WAIT=y
6 # CONFIG_ARCH_PHYS_ADDR_T_64BIT is not set
8 CONFIG_ARCH_SELECT_MEMORY_MODEL=y
9 CONFIG_ARCH_SPARSEMEM_DEFAULT=y
10 CONFIG_ARCH_SPARSEMEM_ENABLE=y
11 # CONFIG_ARCH_SUPPORTS_MSI is not set
12 CONFIG_ARCH_SUSPEND_POSSIBLE=y
13 # CONFIG_ARCH_USES_GETTIMEOFFSET is not set
14 CONFIG_ARCH_WANT_OPTIONAL_GPIOLIB=y
17 # CONFIG_ARM_CHARLCD is not set
18 # CONFIG_ARM_CPU_SUSPEND is not set
19 # CONFIG_ARM_ERRATA_326103 is not set
20 # CONFIG_ARM_ERRATA_430973 is not set
21 # CONFIG_ARM_ERRATA_458693 is not set
22 # CONFIG_ARM_ERRATA_460075 is not set
23 # CONFIG_ARM_ERRATA_720789 is not set
24 # CONFIG_ARM_ERRATA_742230 is not set
25 # CONFIG_ARM_ERRATA_742231 is not set
26 # CONFIG_ARM_ERRATA_743622 is not set
27 # CONFIG_ARM_ERRATA_751472 is not set
28 # CONFIG_ARM_ERRATA_754322 is not set
29 # CONFIG_ARM_ERRATA_754327 is not set
30 # CONFIG_ARM_ERRATA_764369 is not set
32 CONFIG_ARM_L1_CACHE_SHIFT=6
33 CONFIG_ARM_L1_CACHE_SHIFT_6=y
35 # CONFIG_ARM_SP805_WATCHDOG is not set
37 # CONFIG_ARM_THUMBEE is not set
38 CONFIG_ARM_TIMER_SP804=y
40 # CONFIG_ATMEL_PWM is not set
41 CONFIG_AUTO_ZRELADDR=y
42 CONFIG_BCMA_POSSIBLE=y
44 CONFIG_BLK_DEV_RAM_COUNT=16
45 CONFIG_BLK_DEV_RAM_SIZE=4096
48 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
49 CONFIG_CLKDEV_LOOKUP=y
51 CONFIG_CMDLINE="console=ttyAMA0 mem=128M"
52 CONFIG_CMDLINE_FROM_BOOTLOADER=y
58 # CONFIG_CPU_ARM926T is not set
59 # CONFIG_CPU_BPREDICT_DISABLE is not set
62 CONFIG_CPU_CACHE_VIPT=y
68 # CONFIG_CPU_ICACHE_DISABLE is not set
69 # CONFIG_CPU_NOTIFIER_ERROR_INJECT is not set
75 CONFIG_CPU_USE_DOMAINS=y
80 CONFIG_DMA_CACHE_RWFO=y
82 # CONFIG_DW_WATCHDOG is not set
85 CONFIG_FB_CFB_COPYAREA=y
86 CONFIG_FB_CFB_FILLRECT=y
87 CONFIG_FB_CFB_IMAGEBLIT=y
88 # CONFIG_FB_SM7XX is not set
89 # CONFIG_FB_WMT_GE_ROPS is not set
90 # CONFIG_FIRMWARE_EDID is not set
91 CONFIG_FRAME_POINTER=y
92 CONFIG_GENERIC_ALLOCATOR=y
93 CONFIG_GENERIC_ATOMIC64=y
95 CONFIG_GENERIC_CLOCKEVENTS=y
96 CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
97 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
98 # CONFIG_GENERIC_CPU_DEVICES is not set
99 CONFIG_GENERIC_IRQ_SHOW=y
100 CONFIG_GENERIC_PCI_IOMAP=y
101 CONFIG_HARDIRQS_SW_RESEND=y
106 CONFIG_HAVE_ARCH_KGDB=y
107 # CONFIG_HAVE_ARCH_PFN_VALID is not set
108 CONFIG_HAVE_ARM_SCU=y
109 CONFIG_HAVE_ARM_TWD=y
111 CONFIG_HAVE_C_RECORDMCOUNT=y
112 CONFIG_HAVE_DMA_API_DEBUG=y
113 CONFIG_HAVE_DYNAMIC_FTRACE=y
114 CONFIG_HAVE_FTRACE_MCOUNT_RECORD=y
115 CONFIG_HAVE_FUNCTION_GRAPH_TRACER=y
116 CONFIG_HAVE_FUNCTION_TRACER=y
117 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
118 CONFIG_HAVE_GENERIC_HARDIRQS=y
119 CONFIG_HAVE_HW_BREAKPOINT=y
120 CONFIG_HAVE_IRQ_WORK=y
121 CONFIG_HAVE_KERNEL_GZIP=y
122 CONFIG_HAVE_KERNEL_LZMA=y
123 CONFIG_HAVE_KERNEL_LZO=y
124 CONFIG_HAVE_KERNEL_XZ=y
125 CONFIG_HAVE_MACH_CLKDEV=y
126 CONFIG_HAVE_MEMBLOCK=y
127 CONFIG_HAVE_MEMORY_PRESENT=y
128 CONFIG_HAVE_OPROFILE=y
129 CONFIG_HAVE_PATA_PLATFORM=y
130 CONFIG_HAVE_PERF_EVENTS=y
131 CONFIG_HAVE_PROC_CPU=y
132 CONFIG_HAVE_REGS_AND_STACK_ACCESS_API=y
133 CONFIG_HAVE_SCHED_CLOCK=y
135 CONFIG_HAVE_SPARSE_IRQ=y
138 # CONFIG_HW_PERF_EVENTS is not set
140 CONFIG_INITRAMFS_SOURCE=""
142 CONFIG_IP_PNP_BOOTP=y
144 # CONFIG_IP_PNP_RARP is not set
151 CONFIG_KTIME_SCALAR=y
152 # CONFIG_LEDS is not set
153 CONFIG_LOCAL_TIMERS=y
155 CONFIG_LOGO_LINUX_CLUT224=y
156 # CONFIG_LOGO_LINUX_MONO is not set
157 # CONFIG_LOGO_LINUX_VGA16 is not set
158 CONFIG_LZO_COMPRESS=y
159 CONFIG_LZO_DECOMPRESS=y
160 CONFIG_MACH_REALVIEW_EB=y
161 CONFIG_MACH_REALVIEW_PB1176=y
162 CONFIG_MACH_REALVIEW_PB11MP=y
163 CONFIG_MACH_REALVIEW_PBA8=y
164 CONFIG_MACH_REALVIEW_PBX=y
166 CONFIG_MDIO_BOARDINFO=y
167 # CONFIG_MFD_T7L66XB is not set
168 CONFIG_MIGHT_HAVE_CACHE_L2X0=y
169 # CONFIG_MPCORE_WATCHDOG is not set
170 CONFIG_MTD_CMDLINE_PARTS=y
171 CONFIG_MULTI_IRQ_HANDLER=y
172 CONFIG_MUTEX_SPIN_ON_OWNER=y
173 CONFIG_NEED_DMA_MAP_STATE=y
174 CONFIG_NEED_MACH_MEMORY_H=y
175 # CONFIG_NEON is not set
179 CONFIG_OUTER_CACHE_SYNC=y
180 CONFIG_PAGE_OFFSET=0xC0000000
181 # CONFIG_PCI_SYSCALL is not set
183 CONFIG_PERF_USE_VMALLOC=y
185 # CONFIG_PL310_ERRATA_588369 is not set
186 # CONFIG_PL310_ERRATA_727915 is not set
187 # CONFIG_PL310_ERRATA_769419 is not set
188 CONFIG_PLAT_VERSATILE=y
189 CONFIG_PLAT_VERSATILE_CLCD=y
190 CONFIG_PLAT_VERSATILE_LEDS=y
191 CONFIG_PLAT_VERSATILE_SCHED_CLOCK=y
192 # CONFIG_PREEMPT_RCU is not set
193 # CONFIG_QUOTACTL is not set
194 # CONFIG_RD_LZMA is not set
195 # CONFIG_REALVIEW_EB_A9MP is not set
196 CONFIG_REALVIEW_EB_ARM11MP=y
197 CONFIG_REALVIEW_EB_ARM11MP_REVB=y
198 CONFIG_REALVIEW_PB1176_SECURE_FLASH=y
201 # CONFIG_SCSI_DMA is not set
202 # CONFIG_SERIAL_8250 is not set
203 # CONFIG_SERIAL_AMBA_PL010 is not set
204 CONFIG_SERIAL_AMBA_PL011=y
205 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
210 # CONFIG_SMSC911X_ARCH_HOOKS is not set
213 # CONFIG_SND_DRIVERS is not set
214 # CONFIG_SND_EMU10K1_SEQ is not set
215 CONFIG_SND_MIXER_OSS=y
216 # CONFIG_SND_OPL3_LIB_SEQ is not set
217 # CONFIG_SND_OPL4_LIB_SEQ is not set
220 # CONFIG_SND_RAWMIDI_SEQ is not set
221 # CONFIG_SND_SBAWE_SEQ is not set
224 CONFIG_SOUND_OSS_CORE=y
225 CONFIG_SOUND_OSS_CORE_PRECLAIM=y
227 CONFIG_SPARSEMEM_EXTREME=y
228 CONFIG_SPARSEMEM_MANUAL=y
229 CONFIG_STOP_MACHINE=y
230 # CONFIG_SWAP is not set
231 CONFIG_SYSFS_DEPRECATED=y
232 CONFIG_SYSFS_DEPRECATED_V2=y
233 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
236 CONFIG_USE_GENERIC_SMP_HELPERS=y
237 CONFIG_VECTORS_BASE=0xffff0000
242 CONFIG_ZBOOT_ROM_BSS=0x0
243 CONFIG_ZBOOT_ROM_TEXT=0x0