1 CONFIG_ALIGNMENT_TRAP=y
2 CONFIG_ARCH_HAS_BARRIERS=y
4 CONFIG_ARCH_SELECT_MEMORY_MODEL=y
5 CONFIG_ARCH_SPARSEMEM_DEFAULT=y
6 CONFIG_ARCH_SPARSEMEM_ENABLE=y
7 # CONFIG_ARCH_SUPPORTS_MSI 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_CHARLCD is not set
14 # CONFIG_ARM_ERRATA_411920 is not set
15 # CONFIG_ARM_ERRATA_430973 is not set
16 # CONFIG_ARM_ERRATA_458693 is not set
17 # CONFIG_ARM_ERRATA_460075 is not set
18 # CONFIG_ARM_ERRATA_720789 is not set
19 # CONFIG_ARM_ERRATA_742230 is not set
20 # CONFIG_ARM_ERRATA_742231 is not set
21 # CONFIG_ARM_ERRATA_743622 is not set
23 CONFIG_ARM_L1_CACHE_SHIFT=5
24 # CONFIG_ARM_SP805_WATCHDOG is not set
26 # CONFIG_ARM_THUMBEE is not set
27 CONFIG_ARM_TIMER_SP804=y
29 CONFIG_AUTO_ZRELADDR=y
31 CONFIG_BLK_DEV_RAM_COUNT=16
32 CONFIG_BLK_DEV_RAM_SIZE=4096
35 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
36 CONFIG_CMDLINE="console=ttyAMA0 mem=128M"
37 CONFIG_COMMON_CLKDEV=y
43 # CONFIG_CPU_ARM926T is not set
44 # CONFIG_CPU_BPREDICT_DISABLE is not set
47 CONFIG_CPU_CACHE_VIPT=y
53 # CONFIG_CPU_ICACHE_DISABLE is not set
54 # CONFIG_CPU_NOTIFIER_ERROR_INJECT is not set
64 CONFIG_DECOMPRESS_LZMA=y
65 CONFIG_DMA_CACHE_RWFO=y
69 CONFIG_FB_CFB_COPYAREA=y
70 CONFIG_FB_CFB_FILLRECT=y
71 CONFIG_FB_CFB_IMAGEBLIT=y
72 # CONFIG_FB_SM7XX is not set
73 # CONFIG_FIRMWARE_EDID is not set
74 CONFIG_FORCE_MAX_ZONEORDER=11
75 # CONFIG_FPE_FASTFPE is not set
77 # CONFIG_FPE_NWFPE_XP is not set
78 CONFIG_FRAME_POINTER=y
79 CONFIG_GENERIC_CLOCKEVENTS=y
80 CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
81 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
82 CONFIG_GENERIC_FIND_LAST_BIT=y
83 CONFIG_GENERIC_HARDIRQS_NO__DO_IRQ=y
84 CONFIG_HARDIRQS_SW_RESEND=y
89 CONFIG_HAVE_ARCH_KGDB=y
93 CONFIG_HAVE_FUNCTION_TRACER=y
94 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
96 CONFIG_HAVE_KERNEL_GZIP=y
97 CONFIG_HAVE_KERNEL_LZMA=y
98 CONFIG_HAVE_KERNEL_LZO=y
99 CONFIG_HAVE_MEMBLOCK=y
100 CONFIG_HAVE_MEMORY_PRESENT=y
101 CONFIG_HAVE_OPROFILE=y
102 CONFIG_HAVE_PATA_PLATFORM=y
103 CONFIG_HAVE_PERF_EVENTS=y
104 CONFIG_HAVE_PROC_CPU=y
105 CONFIG_HAVE_REGS_AND_STACK_ACCESS_API=y
107 # CONFIG_I2C_VERSATILE is not set
109 CONFIG_INITRAMFS_SOURCE=""
111 CONFIG_IP_PNP_BOOTP=y
113 # CONFIG_IP_PNP_RARP is not set
118 # CONFIG_LEDS is not set
119 CONFIG_LOCAL_TIMERS=y
122 CONFIG_LOGO_LINUX_CLUT224=y
123 # CONFIG_LOGO_LINUX_MONO is not set
124 # CONFIG_LOGO_LINUX_VGA16 is not set
125 CONFIG_LZO_COMPRESS=y
126 CONFIG_LZO_DECOMPRESS=y
127 CONFIG_MACH_REALVIEW_EB=y
128 CONFIG_MACH_REALVIEW_PB1176=y
129 CONFIG_MACH_REALVIEW_PB11MP=y
130 CONFIG_MACH_REALVIEW_PBA8=y
131 CONFIG_MACH_REALVIEW_PBX=y
133 # CONFIG_MFD_T7L66XB is not set
134 # CONFIG_MMC_ARMMMCI is not set
135 # CONFIG_MPCORE_WATCHDOG is not set
136 CONFIG_MTD_ARM_INTEGRATOR=y
137 CONFIG_MTD_CMDLINE_PARTS=y
139 CONFIG_MUTEX_SPIN_ON_OWNER=y
140 CONFIG_NEED_DMA_MAP_STATE=y
141 # CONFIG_NEON is not set
142 # CONFIG_NETDEV_1000 is not set
146 CONFIG_OUTER_CACHE_SYNC=y
147 CONFIG_PAGE_OFFSET=0xC0000000
148 # CONFIG_PCI_SYSCALL is not set
149 CONFIG_PERF_USE_VMALLOC=y
151 CONFIG_PLAT_VERSATILE=y
152 # CONFIG_RD_LZMA is not set
153 # CONFIG_REALVIEW_EB_A9MP is not set
154 CONFIG_REALVIEW_EB_ARM11MP=y
155 CONFIG_REALVIEW_EB_ARM11MP_REVB=y
156 CONFIG_REALVIEW_PB1176_SECURE_FLASH=y
158 # CONFIG_SCSI_DMA is not set
159 # CONFIG_SDIO_UART is not set
160 # CONFIG_SERIAL_8250 is not set
161 # CONFIG_SERIAL_AMBA_PL010 is not set
162 CONFIG_SERIAL_AMBA_PL011=y
163 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
170 # CONFIG_SND_DRIVERS is not set
171 # CONFIG_SND_EMU10K1_SEQ is not set
172 CONFIG_SND_MIXER_OSS=y
173 # CONFIG_SND_OPL3_LIB_SEQ is not set
174 # CONFIG_SND_OPL4_LIB_SEQ is not set
177 # CONFIG_SND_RAWMIDI_SEQ is not set
178 # CONFIG_SND_SBAWE_SEQ is not set
181 CONFIG_SOUND_OSS_CORE=y
182 CONFIG_SOUND_OSS_CORE_PRECLAIM=y
184 CONFIG_SPARSEMEM_EXTREME=y
185 CONFIG_SPARSEMEM_MANUAL=y
187 CONFIG_STOP_MACHINE=y
188 # CONFIG_SWAP is not set
189 CONFIG_SYSFS_DEPRECATED=y
190 CONFIG_SYSFS_DEPRECATED_V2=y
191 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
192 # CONFIG_THUMB2_KERNEL is not set
195 CONFIG_USE_GENERIC_SMP_HELPERS=y
196 CONFIG_VECTORS_BASE=0xffff0000
199 CONFIG_ZBOOT_ROM_BSS=0x0
200 CONFIG_ZBOOT_ROM_TEXT=0x0