1 # CONFIG_AEABI is not set
2 CONFIG_ALIGNMENT_TRAP=y
3 # CONFIG_ARCH_AAEC2000 is not set
4 # CONFIG_ARCH_AT91 is not set
5 # CONFIG_ARCH_CLPS711X is not set
6 # CONFIG_ARCH_DAVINCI is not set
7 # CONFIG_ARCH_EBSA110 is not set
8 # CONFIG_ARCH_EP93XX is not set
9 CONFIG_ARCH_FLATMEM_HAS_HOLES=y
10 # CONFIG_ARCH_FOOTBRIDGE is not set
12 # CONFIG_ARCH_H720X is not set
13 # CONFIG_ARCH_HAS_ILOG2_U32 is not set
14 # CONFIG_ARCH_HAS_ILOG2_U64 is not set
15 # CONFIG_ARCH_IMX is not set
16 # CONFIG_ARCH_INTEGRATOR is not set
17 # CONFIG_ARCH_IOP13XX is not set
18 # CONFIG_ARCH_IOP32X is not set
19 # CONFIG_ARCH_IOP33X is not set
20 # CONFIG_ARCH_IXP2000 is not set
21 # CONFIG_ARCH_IXP23XX is not set
22 # CONFIG_ARCH_IXP4XX is not set
23 # CONFIG_ARCH_KIRKWOOD is not set
24 # CONFIG_ARCH_KS8695 is not set
25 # CONFIG_ARCH_L7200 is not set
26 # CONFIG_ARCH_LH7A40X is not set
27 # CONFIG_ARCH_LOKI is not set
28 # CONFIG_ARCH_MMP is not set
29 # CONFIG_ARCH_MSM is not set
30 # CONFIG_ARCH_MV78XX0 is not set
31 # CONFIG_ARCH_MXC is not set
32 # CONFIG_ARCH_NETX is not set
33 # CONFIG_ARCH_NS9XXX is not set
34 # CONFIG_ARCH_OMAP is not set
35 # CONFIG_ARCH_ORION5X is not set
36 # CONFIG_ARCH_PNX4008 is not set
37 # CONFIG_ARCH_PXA is not set
38 # CONFIG_ARCH_REALVIEW is not set
39 CONFIG_ARCH_REQUIRE_GPIOLIB=y
40 # CONFIG_ARCH_RPC is not set
41 # CONFIG_ARCH_S3C2410 is not set
42 # CONFIG_ARCH_S3C64XX is not set
43 # CONFIG_ARCH_SA1100 is not set
44 # CONFIG_ARCH_SELECT_MEMORY_MODEL is not set
45 # CONFIG_ARCH_SHARK is not set
46 # CONFIG_ARCH_SPARSEMEM_DEFAULT is not set
47 # CONFIG_ARCH_SUPPORTS_MSI is not set
48 CONFIG_ARCH_SUSPEND_POSSIBLE=y
49 # CONFIG_ARCH_VERSATILE is not set
50 # CONFIG_ARCH_W90X900 is not set
52 # CONFIG_ARPD is not set
54 # CONFIG_ATA_NONSTANDARD is not set
55 # CONFIG_BACKTRACE_SELF_TEST is not set
58 # CONFIG_BOOTPARAM_SOFTLOCKUP_PANIC is not set
59 CONFIG_BOOTPARAM_SOFTLOCKUP_PANIC_VALUE=0
60 # CONFIG_BOOT_PRINTK_DELAY is not set
61 # CONFIG_BOOT_TRACER is not set
62 CONFIG_CMDLINE="root=/dev/mtdblock2 rootfstype=squashfs,jffs2 noinitrd console=ttyS0,19200 mem=32M"
63 CONFIG_COMPAT_NET_DEV_OPS=y
64 # CONFIG_CONFIGFS_FS is not set
68 # CONFIG_CPU_BPREDICT_DISABLE is not set
70 CONFIG_CPU_CACHE_VIVT=y
74 # CONFIG_CPU_DCACHE_WRITETHROUGH is not set
76 # CONFIG_CPU_ICACHE_DISABLE is not set
77 CONFIG_CPU_PABRT_NOIFAR=y
80 CONFIG_CRYPTO_AUTHENC=m
81 CONFIG_CRYPTO_GF128MUL=m
82 # CONFIG_DCB is not set
83 # CONFIG_DEBUG_USER is not set
84 CONFIG_DEFAULT_TCP_CONG="westwood"
85 CONFIG_DETECT_SOFTLOCKUP=y
86 # CONFIG_DEVPTS_MULTIPLE_INSTANCES is not set
89 # CONFIG_DM9000 is not set
92 # CONFIG_EEPROM_AT24 is not set
93 # CONFIG_EEPROM_LEGACY is not set
94 # CONFIG_FAULT_INJECTION is not set
95 # CONFIG_FPE_FASTFPE is not set
96 # CONFIG_FPE_NWFPE is not set
97 CONFIG_FRAME_POINTER=y
98 # CONFIG_FREEZER is not set
99 # CONFIG_FUNCTION_TRACER is not set
100 CONFIG_GEMINI_MEM_SWAP=y
101 CONFIG_GEMINI_NET_ENGINE_GMAC=y
102 CONFIG_GEMINI_WATCHDOG=y
103 # CONFIG_GENERIC_CLOCKEVENTS is not set
104 CONFIG_GENERIC_FIND_LAST_BIT=y
105 CONFIG_GENERIC_GPIO=y
106 CONFIG_GENERIC_HARDIRQS_NO__DO_IRQ=y
107 # CONFIG_GENERIC_TIME is not set
109 # CONFIG_HAMRADIO is not set
110 CONFIG_HARDIRQS_SW_RESEND=y
115 CONFIG_HAVE_ARCH_KGDB=y
116 CONFIG_HAVE_FUNCTION_TRACER=y
117 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
119 CONFIG_HAVE_KPROBES=y
120 CONFIG_HAVE_KRETPROBES=y
121 CONFIG_HAVE_LATENCYTOP_SUPPORT=y
122 CONFIG_HAVE_OPROFILE=y
128 # CONFIG_HTC_EGPIO is not set
129 # CONFIG_HWMON_DEBUG_CHIP is not set
132 CONFIG_I2C_BOARDINFO=y
135 CONFIG_INITRAMFS_SOURCE=""
136 # CONFIG_IP_ADVANCED_ROUTER is not set
140 # CONFIG_KGDB is not set
141 CONFIG_LEGACY_PTY_COUNT=256
143 # CONFIG_LIB80211 is not set
144 # CONFIG_LOCK_STAT is not set
145 # CONFIG_MACH_NAS4220B is not set
146 # CONFIG_MACH_RUT100 is not set
148 # CONFIG_MAC_PARTITION is not set
149 CONFIG_MDIO_BITBANG=y
151 CONFIG_MISC_FILESYSTEMS=y
153 CONFIG_MTD_REDBOOT_PARTS=y
155 # CONFIG_NET_SCH_DRR is not set
156 # CONFIG_NEW_LEDS is not set
157 # CONFIG_NF_DEFRAG_IPV4 is not set
158 # CONFIG_NO_IOPORT is not set
159 # CONFIG_NVRAM is not set
160 # CONFIG_OUTER_CACHE is not set
161 CONFIG_PAGEFLAGS_EXTENDED=y
162 CONFIG_PAGE_OFFSET=0xC0000000
163 # CONFIG_PCI_SYSCALL is not set
164 # CONFIG_PHYS_ADDR_T_64BIT is not set
165 # CONFIG_PROVE_LOCKING is not set
166 # CONFIG_RCU_TORTURE_TEST is not set
167 # CONFIG_RTC_CLASS is not set
168 # CONFIG_RT_MUTEX_TESTER is not set
169 CONFIG_RWSEM_GENERIC_SPINLOCK=y
170 # CONFIG_SCHEDSTATS is not set
172 # CONFIG_SCSI_MULTI_LUN is not set
173 CONFIG_SCSI_WAIT_SCAN=m
174 # CONFIG_SERIAL_8250_EXTENDED is not set
175 # CONFIG_SHMEM is not set
176 CONFIG_SPLIT_PTLOCK_CPUS=4096
177 CONFIG_SSB_POSSIBLE=y
178 # CONFIG_STACK_TRACER is not set
179 # CONFIG_SWAP is not set
180 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
181 CONFIG_SYSVIPC_SYSCTL=y
182 CONFIG_TCP_CONG_VEGAS=m
183 CONFIG_TCP_CONG_WESTWOOD=y
184 # CONFIG_TIMER_STATS is not set
185 # CONFIG_TRACE_BRANCH_PROFILING is not set
187 # CONFIG_USB_ARCH_HAS_EHCI is not set
188 # CONFIG_USB_ARCH_HAS_OHCI is not set
191 CONFIG_VECTORS_BASE=0xffff0000
192 CONFIG_VM_EVENT_COUNTERS=y
194 CONFIG_ZBOOT_ROM_BSS=0x0
195 CONFIG_ZBOOT_ROM_TEXT=0x0
196 CONFIG_ZONE_DMA_FLAG=0