1 CONFIG_ALIGNMENT_TRAP=y
3 # CONFIG_ARCH_EXYNOS4 is not set
4 CONFIG_ARCH_HAS_CPU_IDLE_WAIT=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_SUSPEND_POSSIBLE=y
9 # CONFIG_ARCH_USES_GETTIMEOFFSET is not set
10 # CONFIG_ARCH_VT8500 is not set
11 CONFIG_ARCH_WANT_OPTIONAL_GPIOLIB=y
14 CONFIG_ARM_L1_CACHE_SHIFT=5
17 # CONFIG_ATA_SFF is not set
18 CONFIG_ATA_VERBOSE_ERROR=y
20 CONFIG_BLK_DEV_RAM_COUNT=2
21 CONFIG_BLK_DEV_RAM_SIZE=32768
27 # CONFIG_CPU_BPREDICT_DISABLE is not set
29 CONFIG_CPU_CACHE_VIPT=y
35 # CONFIG_CPU_ICACHE_DISABLE is not set
38 CONFIG_CPU_USE_DOMAINS=y
40 CONFIG_DEBUG_BUGVERBOSE=y
41 # CONFIG_DEBUG_USER is not set
42 CONFIG_DECOMPRESS_GZIP=y
43 CONFIG_DMA_CACHE_RWFO=y
44 # CONFIG_DWC_DEBUG is not set
45 # CONFIG_DWC_DEVICE_ONLY is not set
46 # CONFIG_DWC_HOST_ONLY is not set
49 CONFIG_FRAME_POINTER=y
50 # CONFIG_FSNOTIFY is not set
51 CONFIG_GENERIC_ATOMIC64=y
52 CONFIG_GENERIC_CLOCKEVENTS=y
53 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
54 CONFIG_GENERIC_FIND_LAST_BIT=y
56 CONFIG_GENERIC_IRQ_SHOW=y
59 CONFIG_GPIO_PCA953X_IRQ=y
61 CONFIG_HARDIRQS_SW_RESEND=y
66 CONFIG_HAVE_ARCH_KGDB=y
67 CONFIG_HAVE_C_RECORDMCOUNT=y
68 CONFIG_HAVE_DMA_API_DEBUG=y
69 CONFIG_HAVE_DYNAMIC_FTRACE=y
70 CONFIG_HAVE_FTRACE_MCOUNT_RECORD=y
71 CONFIG_HAVE_FUNCTION_GRAPH_TRACER=y
72 CONFIG_HAVE_FUNCTION_TRACER=y
73 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
74 CONFIG_HAVE_GENERIC_HARDIRQS=y
76 CONFIG_HAVE_IRQ_WORK=y
77 CONFIG_HAVE_KERNEL_GZIP=y
78 CONFIG_HAVE_KERNEL_LZMA=y
79 CONFIG_HAVE_KERNEL_LZO=y
80 CONFIG_HAVE_LATENCYTOP_SUPPORT=y
81 CONFIG_HAVE_MEMBLOCK=y
82 CONFIG_HAVE_OPROFILE=y
83 CONFIG_HAVE_PERF_EVENTS=y
84 CONFIG_HAVE_PROC_CPU=y
85 CONFIG_HAVE_REGS_AND_STACK_ACCESS_API=y
86 CONFIG_HAVE_SPARSE_IRQ=y
88 # CONFIG_HWMON_DEBUG_CHIP is not set
91 CONFIG_I2C_BOARDINFO=y
94 # CONFIG_I2C_PXA_PCI is not set
95 CONFIG_INITRAMFS_SOURCE=""
97 # CONFIG_KERNEL_LZMA is not set
100 # CONFIG_LEDS_TRIGGER_NETDEV is not set
101 CONFIG_LOCAL_TIMERS=y
102 CONFIG_M25PXX_USE_FAST_READ=y
103 CONFIG_MACH_CNS3420VB=y
105 CONFIG_MIGHT_HAVE_PCI=y
109 CONFIG_MMC_SDHCI_CNS3XXX=y
110 # CONFIG_MMC_SDHCI_PCI is not set
111 CONFIG_MMC_SDHCI_PLTFM=y
112 # CONFIG_MMC_TIFM_SD is not set
113 CONFIG_MPCORE_WATCHDOG=y
116 CONFIG_NEED_DMA_MAP_STATE=y
117 CONFIG_NEED_PER_CPU_KM=y
121 CONFIG_OUTER_CACHE_SYNC=y
122 CONFIG_PAGEFLAGS_EXTENDED=y
123 CONFIG_PAGE_OFFSET=0xC0000000
126 CONFIG_PERF_USE_VMALLOC=y
128 CONFIG_PL310_ERRATA_588369=y
129 CONFIG_PL310_ERRATA_727915=y
130 # CONFIG_PREEMPT_RCU is not set
131 # CONFIG_QUOTACTL is not set
134 # CONFIG_RD_LZMA is not set
136 CONFIG_RTC_DRV_DS1672=y
138 CONFIG_SATA_AHCI_CNS3XXX=y
139 CONFIG_SATA_AHCI_PLATFORM=y
141 # CONFIG_SCSI_MULTI_LUN is not set
142 # CONFIG_SDIO_UART is not set
143 CONFIG_SENSORS_AD7418=y
145 CONFIG_SERIAL_8250_NR_UARTS=3
146 CONFIG_SERIAL_8250_RUNTIME_UARTS=3
152 # CONFIG_SPI_GPIO is not set
154 # CONFIG_STAGING is not set
155 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
158 CONFIG_USB_ANNOUNCE_NEW_DEVICES=y
159 # CONFIG_USB_CDC_COMPOSITE is not set
160 CONFIG_USB_CNS3XXX_EHCI=y
161 CONFIG_USB_CNS3XXX_OHCI=y
164 CONFIG_USB_EHCI_HCD=y
165 # CONFIG_USB_ETH is not set
166 # CONFIG_USB_FILE_STORAGE is not set
167 # CONFIG_USB_FUNCTIONFS is not set
169 # CONFIG_USB_GADGETFS is not set
170 # CONFIG_USB_GADGET_DEBUG_FILES is not set
171 # CONFIG_USB_GADGET_DEBUG_FS is not set
172 # CONFIG_USB_GADGET_DUALSPEED is not set
173 CONFIG_USB_GADGET_SELECTED=y
174 CONFIG_USB_GADGET_VBUS_DRAW=2
175 # CONFIG_USB_G_DBGP is not set
176 # CONFIG_USB_G_HID is not set
177 # CONFIG_USB_G_NCM is not set
178 # CONFIG_USB_G_PRINTER is not set
179 # CONFIG_USB_G_SERIAL is not set
180 # CONFIG_USB_OHCI_BIG_ENDIAN_DESC is not set
181 # CONFIG_USB_OHCI_BIG_ENDIAN_MMIO is not set
182 CONFIG_USB_OHCI_HCD=y
184 # CONFIG_USB_UHCI_HCD is not set
185 # CONFIG_USB_ZERO is not set
186 CONFIG_VECTORS_BASE=0xffff0000
188 CONFIG_WATCHDOG_NOWAYOUT=y
190 CONFIG_ZBOOT_ROM_BSS=0
191 CONFIG_ZBOOT_ROM_TEXT=0
192 CONFIG_ZONE_DMA_FLAG=0