1 # CONFIG_AEABI is not set
2 CONFIG_ALIGNMENT_TRAP=y
3 CONFIG_ARCH_FLATMEM_HAS_HOLES=y
5 # CONFIG_ARCH_HAS_ILOG2_U32 is not set
6 # CONFIG_ARCH_HAS_ILOG2_U64 is not set
7 CONFIG_ARCH_REQUIRE_GPIOLIB=y
8 # CONFIG_ARCH_SELECT_MEMORY_MODEL is not set
9 # CONFIG_ARCH_SPARSEMEM_DEFAULT is not set
10 # CONFIG_ARCH_SUPPORTS_MSI is not set
11 CONFIG_ARCH_SUSPEND_POSSIBLE=y
13 # CONFIG_ARPD is not set
15 # CONFIG_BINARY_PRINTF is not set
17 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
18 CONFIG_CMDLINE="root=/dev/mtdblock2 rootfstype=squashfs,jffs2 noinitrd console=ttyS0,19200 mem=32M"
22 # CONFIG_CPU_BPREDICT_DISABLE is not set
24 CONFIG_CPU_CACHE_VIVT=y
28 # CONFIG_CPU_DCACHE_WRITETHROUGH is not set
30 # CONFIG_CPU_ICACHE_DISABLE is not set
31 CONFIG_CPU_PABRT_NOIFAR=y
34 # CONFIG_DEBUG_USER is not set
35 CONFIG_DECOMPRESS_LZMA=y
39 # CONFIG_DM9000 is not set
42 # CONFIG_DSCC4 is not set
43 # CONFIG_FARSYNC is not set
44 # CONFIG_FPE_FASTFPE is not set
45 # CONFIG_FPE_NWFPE is not set
46 CONFIG_FRAME_POINTER=y
47 CONFIG_GEMINI_MEM_SWAP=y
48 CONFIG_GEMINI_NET_ENGINE_GMAC=y
49 CONFIG_GEMINI_WATCHDOG=y
50 # CONFIG_GENERIC_CLOCKEVENTS is not set
51 CONFIG_GENERIC_FIND_LAST_BIT=y
53 CONFIG_GENERIC_HARDIRQS_NO__DO_IRQ=y
54 # CONFIG_GENERIC_TIME is not set
56 # CONFIG_HAMRADIO is not set
57 CONFIG_HARDIRQS_SW_RESEND=y
62 CONFIG_HAVE_ARCH_KGDB=y
63 CONFIG_HAVE_FUNCTION_TRACER=y
64 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
67 CONFIG_HAVE_KRETPROBES=y
68 CONFIG_HAVE_LATENCYTOP_SUPPORT=y
70 CONFIG_HAVE_OPROFILE=y
76 # CONFIG_HWMON_DEBUG_CHIP is not set
79 CONFIG_I2C_BOARDINFO=y
82 CONFIG_INITRAMFS_SOURCE=""
83 # CONFIG_IP_ADVANCED_ROUTER is not set
87 # CONFIG_LEDS_GPIO is not set
88 CONFIG_LEGACY_PTY_COUNT=256
90 # CONFIG_LIB80211 is not set
91 # CONFIG_MACH_NAS4220B is not set
92 # CONFIG_MACH_RUT100 is not set
96 # CONFIG_MG_DISK is not set
98 CONFIG_MTD_REDBOOT_PARTS=y
100 # CONFIG_NO_IOPORT is not set
101 # CONFIG_OUTER_CACHE is not set
102 CONFIG_PAGEFLAGS_EXTENDED=y
103 CONFIG_PAGE_OFFSET=0xC0000000
105 # CONFIG_PCI_STUB is not set
108 # CONFIG_SCSI_MULTI_LUN is not set
109 # CONFIG_SERIAL_8250_EXTENDED is not set
110 # CONFIG_SLOW_WORK is not set
111 CONFIG_SPLIT_PTLOCK_CPUS=4096
112 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
113 CONFIG_TRACING_SUPPORT=y
115 # CONFIG_USB_EHCI_HCD is not set
118 # CONFIG_USB_UHCI_HCD is not set
119 CONFIG_VECTORS_BASE=0xffff0000
120 CONFIG_VM_EVENT_COUNTERS=y
122 CONFIG_ZBOOT_ROM_BSS=0x0
123 CONFIG_ZBOOT_ROM_TEXT=0x0
124 CONFIG_ZONE_DMA_FLAG=0