1 CONFIG_ALIGNMENT_TRAP=y
3 CONFIG_ARCH_HAS_CPU_IDLE_WAIT=y
4 CONFIG_ARCH_REQUIRE_GPIOLIB=y
5 # CONFIG_ARCH_SELECT_MEMORY_MODEL is not set
6 # CONFIG_ARCH_SPARSEMEM_DEFAULT is not set
7 # CONFIG_ARCH_SUPPORTS_MSI is not set
8 # CONFIG_ARCH_USES_GETTIMEOFFSET is not set
10 # CONFIG_ARM_CPU_SUSPEND is not set
11 CONFIG_ARM_L1_CACHE_SHIFT=4
12 CONFIG_ARM_L1_CACHE_SHIFT_4=y
13 # CONFIG_ARPD is not set
15 CONFIG_BCMA_POSSIBLE=y
16 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
17 CONFIG_CMDLINE="console=ttyS0,38400 rootfstype=squashfs,jffs2 noinitrd"
18 CONFIG_CMDLINE_FROM_BOOTLOADER=y
19 CONFIG_CNS21XX_DEV_GEC=y
20 CONFIG_CNS21XX_DEV_SPI_MASTER=y
21 CONFIG_CNS21XX_DEV_USB=y
25 # CONFIG_CPU_BPREDICT_DISABLE is not set
27 CONFIG_CPU_CACHE_VIVT=y
31 # CONFIG_CPU_DCACHE_WRITETHROUGH is not set
33 # CONFIG_CPU_ICACHE_DISABLE is not set
34 CONFIG_CPU_PABRT_LEGACY=y
36 CONFIG_CPU_USE_DOMAINS=y
37 # CONFIG_DEBUG_USER is not set
38 CONFIG_DECOMPRESS_LZMA=y
46 CONFIG_FRAME_POINTER=y
47 CONFIG_GENERIC_ATOMIC64=y
50 CONFIG_GENERIC_IRQ_SHOW=y
53 # CONFIG_HAMRADIO is not set
54 CONFIG_HARDIRQS_SW_RESEND=y
59 CONFIG_HAVE_ARCH_KGDB=y
60 CONFIG_HAVE_ARCH_PFN_VALID=y
61 CONFIG_HAVE_C_RECORDMCOUNT=y
62 CONFIG_HAVE_DMA_API_DEBUG=y
63 CONFIG_HAVE_DYNAMIC_FTRACE=y
64 CONFIG_HAVE_FTRACE_MCOUNT_RECORD=y
65 CONFIG_HAVE_FUNCTION_GRAPH_TRACER=y
66 CONFIG_HAVE_FUNCTION_TRACER=y
67 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
68 CONFIG_HAVE_GENERIC_HARDIRQS=y
69 CONFIG_HAVE_IRQ_WORK=y
70 CONFIG_HAVE_KERNEL_GZIP=y
71 CONFIG_HAVE_KERNEL_LZMA=y
72 CONFIG_HAVE_KERNEL_LZO=y
73 CONFIG_HAVE_KERNEL_XZ=y
74 CONFIG_HAVE_LATENCYTOP_SUPPORT=y
75 CONFIG_HAVE_MEMBLOCK=y
76 CONFIG_HAVE_OPROFILE=y
77 CONFIG_HAVE_PERF_EVENTS=y
78 CONFIG_HAVE_PROC_CPU=y
79 CONFIG_HAVE_REGS_AND_STACK_ACCESS_API=y
80 CONFIG_HAVE_SPARSE_IRQ=y
87 # CONFIG_HWMON_DEBUG_CHIP is not set
89 CONFIG_INITRAMFS_SOURCE=""
90 # CONFIG_IP_ADVANCED_ROUTER is not set
94 # CONFIG_LEDS_GPIO is not set
96 CONFIG_LEGACY_PTY_COUNT=256
97 CONFIG_M25PXX_USE_FAST_READ=y
100 CONFIG_MDIO_BOARDINFO=y
101 # CONFIG_MTD_CFI is not set
103 CONFIG_NEED_DMA_MAP_STATE=y
104 CONFIG_NEED_PER_CPU_KM=y
106 CONFIG_PAGEFLAGS_EXTENDED=y
107 CONFIG_PAGE_OFFSET=0xC0000000
108 # CONFIG_PCI_SYSCALL is not set
109 CONFIG_PERF_USE_VMALLOC=y
111 CONFIG_PHYS_OFFSET=0x00000000
113 CONFIG_PLAT_FA_GPIO=y
114 CONFIG_PLAT_FA_TIME=y
115 # CONFIG_PREEMPT_RCU is not set
116 # CONFIG_QUOTACTL is not set
119 # CONFIG_SCSI_MULTI_LUN is not set
120 # CONFIG_SENSORS_SCH56XX_COMMON is not set
122 CONFIG_SERIO_LIBPS2=y
123 # CONFIG_SERIO_RAW is not set
124 CONFIG_SERIO_SERPORT=y
129 # CONFIG_SPI_GPIO is not set
131 CONFIG_SPLIT_PTLOCK_CPUS=999999
132 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
134 # CONFIG_USB_ARCH_HAS_XHCI is not set
136 CONFIG_VECTORS_BASE=0xffff0000
137 CONFIG_VM_EVENT_COUNTERS=y
140 CONFIG_ZBOOT_ROM_BSS=0x0
141 CONFIG_ZBOOT_ROM_TEXT=0x0
142 CONFIG_ZONE_DMA_FLAG=0