1 # CONFIG_AEABI is not set
2 CONFIG_ALIGNMENT_TRAP=y
3 # CONFIG_ARCH_HAS_HOLES_MEMORYMODEL is not set
4 # CONFIG_ARCH_HAS_ILOG2_U32 is not set
5 # CONFIG_ARCH_HAS_ILOG2_U64 is not set
7 # CONFIG_ARCH_SELECT_MEMORY_MODEL is not set
8 # CONFIG_ARCH_SPARSEMEM_DEFAULT is not set
9 # CONFIG_ARCH_SUPPORTS_MSI is not set
10 CONFIG_ARCH_SUSPEND_POSSIBLE=y
12 # CONFIG_ARM_THUMB is not set
13 # CONFIG_ARPD is not set
15 # CONFIG_BINARY_PRINTF is not set
17 CONFIG_CACHE_FEROCEON_L2=y
18 # CONFIG_CACHE_FEROCEON_L2_WRITETHROUGH is not set
19 CONFIG_CMDLINE="rootdelay=1 root=/dev/mmcblk0p1 noinitrd console=ttyS0,115200"
22 CONFIG_CPU_ABRT_EV5T=y
23 CONFIG_CPU_CACHE_VIVT=y
24 CONFIG_CPU_COPY_FEROCEON=y
28 # CONFIG_CPU_FEROCEON_OLD_ID is not set
29 # CONFIG_CPU_ICACHE_DISABLE is not set
31 CONFIG_CPU_IDLE_GOV_LADDER=y
32 CONFIG_CPU_PABRT_NOIFAR=y
33 CONFIG_CPU_TLB_FEROCEON=y
35 # CONFIG_DEBUG_USER is not set
36 CONFIG_DECOMPRESS_LZMA=y
40 # CONFIG_DM9000 is not set
42 # CONFIG_DSCC4 is not set
45 # CONFIG_FARSYNC is not set
46 # CONFIG_FPE_FASTFPE is not set
47 # CONFIG_FPE_NWFPE is not set
48 CONFIG_FRAME_POINTER=y
49 CONFIG_GENERIC_CLOCKEVENTS=y
50 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
51 CONFIG_GENERIC_FIND_LAST_BIT=y
53 CONFIG_GENERIC_HARDIRQS_NO__DO_IRQ=y
54 # CONFIG_HAMRADIO is not set
55 CONFIG_HARDIRQS_SW_RESEND=y
60 CONFIG_HAVE_ARCH_KGDB=y
61 CONFIG_HAVE_FUNCTION_TRACER=y
62 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
65 CONFIG_HAVE_KRETPROBES=y
66 CONFIG_HAVE_LATENCYTOP_SUPPORT=y
68 CONFIG_HAVE_OPROFILE=y
75 # CONFIG_HWMON_DEBUG_CHIP is not set
78 CONFIG_I2C_BOARDINFO=y
82 CONFIG_INITRAMFS_SOURCE=""
83 # CONFIG_IP_ADVANCED_ROUTER is not set
86 # CONFIG_ISDN_CAPI is not set
87 # CONFIG_ISDN_I4L is not set
91 CONFIG_LEGACY_PTY_COUNT=256
92 # CONFIG_MACH_DB88F6281_BP is not set
93 CONFIG_MACH_DOCKSTAR=y
94 # CONFIG_MACH_RD88F6192_NAS is not set
95 # CONFIG_MACH_RD88F6281 is not set
96 CONFIG_MACH_SHEEVAPLUG=y
97 # CONFIG_MACH_TS219 is not set
101 # CONFIG_MTD_CFI is not set
102 CONFIG_MTD_CMDLINE_PARTS=y
104 CONFIG_MTD_NAND_ORION=y
105 # CONFIG_MTD_ROOTFS_ROOT_DEV is not set
106 # CONFIG_MTD_ROOTFS_SPLIT is not set
109 # CONFIG_NET_DSA_MV88E6060 is not set
110 # CONFIG_NET_DSA_MV88E6123_61_65 is not set
111 CONFIG_NET_DSA_MV88E6131=y
112 CONFIG_NET_DSA_MV88E6XXX=y
113 CONFIG_NET_DSA_MV88E6XXX_NEED_PPU=y
114 CONFIG_NET_DSA_TAG_DSA=y
115 # CONFIG_NET_DSA_TAG_EDSA is not set
116 # CONFIG_NET_DSA_TAG_TRAILER is not set
117 # CONFIG_NO_IOPORT is not set
119 CONFIG_PAGEFLAGS_EXTENDED=y
120 CONFIG_PAGE_OFFSET=0xC0000000
129 # CONFIG_SCSI_MULTI_LUN is not set
130 # CONFIG_SDIO_UART is not set
131 # CONFIG_SERIAL_8250_EXTENDED is not set
132 # CONFIG_SLOW_WORK is not set
133 CONFIG_SPLIT_PTLOCK_CPUS=4096
134 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
135 CONFIG_TRACING_SUPPORT=y
138 CONFIG_USB_EHCI_HCD=m
139 # CONFIG_USB_OHCI_BIG_ENDIAN_DESC is not set
140 # CONFIG_USB_OHCI_BIG_ENDIAN_MMIO is not set
141 CONFIG_USB_OHCI_HCD=m
143 CONFIG_USB_UHCI_HCD=m
144 CONFIG_VECTORS_BASE=0xffff0000
145 # CONFIG_VFP is not set
146 CONFIG_VM_EVENT_COUNTERS=y
148 CONFIG_ZBOOT_ROM_BSS=0x0
149 CONFIG_ZBOOT_ROM_TEXT=0x0
150 CONFIG_ZONE_DMA_FLAG=0