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_LATENCYTOP_SUPPORT=y
78 CONFIG_HAVE_MEMBLOCK=y
79 CONFIG_HAVE_OPROFILE=y
80 CONFIG_HAVE_PERF_EVENTS=y
81 CONFIG_HAVE_PROC_CPU=y
82 CONFIG_HAVE_REGS_AND_STACK_ACCESS_API=y
83 CONFIG_HAVE_SPARSE_IRQ=y
85 # CONFIG_HWMON_DEBUG_CHIP is not set
88 CONFIG_I2C_BOARDINFO=y
91 CONFIG_INITRAMFS_SOURCE=""
94 # CONFIG_LEDS_TRIGGER_NETDEV is not set
96 CONFIG_M25PXX_USE_FAST_READ=y
97 CONFIG_MACH_CNS3420VB=y
99 CONFIG_MIGHT_HAVE_PCI=y
103 CONFIG_MMC_SDHCI_CNS3XXX=y
104 # CONFIG_MMC_SDHCI_PCI is not set
105 CONFIG_MMC_SDHCI_PLTFM=y
106 # CONFIG_MMC_TIFM_SD is not set
107 CONFIG_MPCORE_WATCHDOG=y
110 CONFIG_NEED_DMA_MAP_STATE=y
111 CONFIG_NEED_PER_CPU_KM=y
115 CONFIG_OUTER_CACHE_SYNC=y
116 CONFIG_PAGEFLAGS_EXTENDED=y
117 CONFIG_PAGE_OFFSET=0xC0000000
120 CONFIG_PERF_USE_VMALLOC=y
122 CONFIG_PL310_ERRATA_588369=y
123 CONFIG_PL310_ERRATA_727915=y
124 CONFIG_PL310_ERRATA_769419=y
125 # CONFIG_PREEMPT_RCU is not set
126 # CONFIG_QUOTACTL is not set
129 CONFIG_RTC_DRV_DS1672=y
131 CONFIG_SATA_AHCI_CNS3XXX=y
132 CONFIG_SATA_AHCI_PLATFORM=y
134 # CONFIG_SCSI_MULTI_LUN is not set
135 # CONFIG_SDIO_UART is not set
136 CONFIG_SENSORS_AD7418=y
138 CONFIG_SERIAL_8250_NR_UARTS=3
139 CONFIG_SERIAL_8250_RUNTIME_UARTS=3
145 # CONFIG_SPI_GPIO is not set
147 # CONFIG_STAGING is not set
148 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
151 CONFIG_USB_ANNOUNCE_NEW_DEVICES=y
152 # CONFIG_USB_CDC_COMPOSITE is not set
153 CONFIG_USB_CNS3XXX_EHCI=y
154 CONFIG_USB_CNS3XXX_OHCI=y
156 CONFIG_USB_EHCI_HCD=y
157 # CONFIG_USB_ETH is not set
158 # CONFIG_USB_FILE_STORAGE is not set
159 # CONFIG_USB_FUNCTIONFS is not set
161 # CONFIG_USB_GADGETFS is not set
162 # CONFIG_USB_GADGET_DEBUG_FILES is not set
163 # CONFIG_USB_GADGET_DEBUG_FS is not set
164 # CONFIG_USB_GADGET_DUALSPEED is not set
165 CONFIG_USB_GADGET_SELECTED=y
166 CONFIG_USB_GADGET_VBUS_DRAW=2
167 # CONFIG_USB_G_DBGP is not set
168 # CONFIG_USB_G_HID is not set
169 # CONFIG_USB_G_NCM is not set
170 # CONFIG_USB_G_PRINTER is not set
171 # CONFIG_USB_G_SERIAL is not set
172 # CONFIG_USB_OHCI_BIG_ENDIAN_DESC is not set
173 # CONFIG_USB_OHCI_BIG_ENDIAN_MMIO is not set
174 CONFIG_USB_OHCI_HCD=y
176 # CONFIG_USB_UHCI_HCD is not set
177 # CONFIG_USB_ZERO is not set
178 CONFIG_VECTORS_BASE=0xffff0000
180 CONFIG_WATCHDOG_NOWAYOUT=y
181 CONFIG_ZBOOT_ROM_BSS=0
182 CONFIG_ZBOOT_ROM_TEXT=0
183 CONFIG_ZONE_DMA_FLAG=0