1 CONFIG_ALIGNMENT_TRAP=y
2 CONFIG_ARCH_BINFMT_ELF_RANDOMIZE_PIE=y
3 CONFIG_ARCH_HAS_CPU_IDLE_WAIT=y
6 # CONFIG_ARCH_SELECT_MEMORY_MODEL is not set
7 # CONFIG_ARCH_SPARSEMEM_DEFAULT is not set
8 CONFIG_ARCH_SUSPEND_POSSIBLE=y
9 # CONFIG_ARCH_USES_GETTIMEOFFSET is not set
10 CONFIG_ARCH_WANT_OPTIONAL_GPIOLIB=y
13 CONFIG_ARM_APPENDED_DTB=y
14 # CONFIG_ARM_ATAG_DTB_COMPAT is not set
15 # CONFIG_ARM_CHARLCD is not set
16 # CONFIG_ARM_CPU_SUSPEND is not set
18 CONFIG_ARM_L1_CACHE_SHIFT=5
20 # CONFIG_ARM_SP805_WATCHDOG is not set
22 CONFIG_ARM_TIMER_SP804=y
24 CONFIG_AUTO_ZRELADDR=y
25 CONFIG_BCMA_POSSIBLE=y
27 CONFIG_BLK_DEV_RAM_COUNT=16
28 CONFIG_BLK_DEV_RAM_SIZE=4096
29 # CONFIG_CACHE_L2X0 is not set
30 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
31 CONFIG_CLKDEV_LOOKUP=y
33 CONFIG_CMDLINE="console=ttyAMA0 mem=128M earlyprintk"
34 CONFIG_CMDLINE_FORCE=y
36 CONFIG_CPU_ABRT_EV5TJ=y
38 # CONFIG_CPU_CACHE_ROUND_ROBIN is not set
39 CONFIG_CPU_CACHE_VIVT=y
40 CONFIG_CPU_COPY_V4WB=y
43 # CONFIG_CPU_DCACHE_WRITETHROUGH is not set
44 # CONFIG_CPU_ICACHE_DISABLE is not set
45 CONFIG_CPU_PABRT_LEGACY=y
46 CONFIG_CPU_TLB_V4WBI=y
47 CONFIG_CPU_USE_DOMAINS=y
48 # CONFIG_CPU_V6 is not set
49 # CONFIG_CPU_V6K is not set
50 # CONFIG_CPU_V7 is not set
56 CONFIG_FB_CFB_COPYAREA=y
57 CONFIG_FB_CFB_FILLRECT=y
58 CONFIG_FB_CFB_IMAGEBLIT=y
59 # CONFIG_FB_WMT_GE_ROPS is not set
60 CONFIG_FRAME_POINTER=y
61 CONFIG_GENERIC_ATOMIC64=y
63 CONFIG_GENERIC_CLOCKEVENTS=y
64 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
65 CONFIG_GENERIC_IRQ_SHOW=y
66 CONFIG_GENERIC_PCI_IOMAP=y
67 CONFIG_HARDIRQS_SW_RESEND=y
72 CONFIG_HAVE_ARCH_KGDB=y
73 CONFIG_HAVE_ARCH_PFN_VALID=y
75 CONFIG_HAVE_C_RECORDMCOUNT=y
76 CONFIG_HAVE_DMA_API_DEBUG=y
77 CONFIG_HAVE_DYNAMIC_FTRACE=y
78 CONFIG_HAVE_FTRACE_MCOUNT_RECORD=y
79 CONFIG_HAVE_FUNCTION_GRAPH_TRACER=y
80 CONFIG_HAVE_FUNCTION_TRACER=y
81 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
82 CONFIG_HAVE_GENERIC_HARDIRQS=y
83 CONFIG_HAVE_IRQ_WORK=y
84 CONFIG_HAVE_KERNEL_GZIP=y
85 CONFIG_HAVE_KERNEL_LZMA=y
86 CONFIG_HAVE_KERNEL_LZO=y
87 CONFIG_HAVE_KERNEL_XZ=y
88 CONFIG_HAVE_LATENCYTOP_SUPPORT=y
89 CONFIG_HAVE_MACH_CLKDEV=y
90 CONFIG_HAVE_MEMBLOCK=y
91 CONFIG_HAVE_OPROFILE=y
92 CONFIG_HAVE_PERF_EVENTS=y
93 CONFIG_HAVE_PROC_CPU=y
94 CONFIG_HAVE_REGS_AND_STACK_ACCESS_API=y
95 CONFIG_HAVE_SCHED_CLOCK=y
96 CONFIG_HAVE_SPARSE_IRQ=y
98 CONFIG_INITRAMFS_SOURCE=""
100 CONFIG_IP_PNP_BOOTP=y
102 # CONFIG_IP_PNP_RARP is not set
109 CONFIG_KTIME_SCALAR=y
110 # CONFIG_LEDS is not set
112 CONFIG_LOGO_LINUX_CLUT224=y
113 # CONFIG_LOGO_LINUX_MONO is not set
114 # CONFIG_LOGO_LINUX_VGA16 is not set
115 CONFIG_LZO_COMPRESS=y
116 CONFIG_LZO_DECOMPRESS=y
117 CONFIG_MACH_REALVIEW_EB=y
118 # CONFIG_MACH_REALVIEW_PB1176 is not set
119 # CONFIG_MACH_REALVIEW_PB11MP is not set
120 # CONFIG_MACH_REALVIEW_PBA8 is not set
121 # CONFIG_MACH_REALVIEW_PBX is not set
123 CONFIG_MDIO_BOARDINFO=y
124 # CONFIG_MFD_T7L66XB is not set
125 CONFIG_MTD_CMDLINE_PARTS=y
126 CONFIG_MTD_OF_PARTS=y
127 # CONFIG_MTD_PHYSMAP_OF is not set
128 CONFIG_MULTI_IRQ_HANDLER=y
129 CONFIG_NEED_DMA_MAP_STATE=y
130 CONFIG_NEED_MACH_MEMORY_H=y
131 CONFIG_NEED_PER_CPU_KM=y
136 CONFIG_OF_EARLY_FLATTREE=y
141 CONFIG_PAGEFLAGS_EXTENDED=y
142 CONFIG_PAGE_OFFSET=0xC0000000
143 # CONFIG_PCI_SYSCALL is not set
145 CONFIG_PERF_USE_VMALLOC=y
147 CONFIG_PLAT_VERSATILE=y
148 CONFIG_PLAT_VERSATILE_CLCD=y
149 CONFIG_PLAT_VERSATILE_LEDS=y
150 CONFIG_PLAT_VERSATILE_SCHED_CLOCK=y
151 # CONFIG_PREEMPT_RCU is not set
152 # CONFIG_PROC_DEVICETREE is not set
153 # CONFIG_RD_LZMA is not set
154 # CONFIG_REALVIEW_EB_A9MP is not set
155 # CONFIG_REALVIEW_EB_ARM11MP is not set
156 CONFIG_REALVIEW_HIGH_PHYS_OFFSET=y
157 # CONFIG_SCSI_DMA is not set
158 # CONFIG_SERIAL_8250 is not set
159 # CONFIG_SERIAL_AMBA_PL010 is not set
160 CONFIG_SERIAL_AMBA_PL011=y
161 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
164 # CONFIG_SMSC911X_ARCH_HOOKS is not set
167 # CONFIG_SND_DRIVERS is not set
168 # CONFIG_SND_EMU10K1_SEQ is not set
169 CONFIG_SND_MIXER_OSS=y
170 # CONFIG_SND_OPL3_LIB_SEQ is not set
171 # CONFIG_SND_OPL4_LIB_SEQ is not set
174 # CONFIG_SND_RAWMIDI_SEQ is not set
175 # CONFIG_SND_SBAWE_SEQ is not set
178 CONFIG_SOUND_OSS_CORE=y
179 CONFIG_SOUND_OSS_CORE_PRECLAIM=y
180 CONFIG_SPLIT_PTLOCK_CPUS=999999
181 # CONFIG_SWAP is not set
182 CONFIG_SYSFS_DEPRECATED=y
183 CONFIG_SYSFS_DEPRECATED_V2=y
184 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
187 CONFIG_VECTORS_BASE=0xffff0000
190 CONFIG_ZBOOT_ROM_BSS=0x0
191 CONFIG_ZBOOT_ROM_TEXT=0x0
192 CONFIG_ZONE_DMA_FLAG=0