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_PREEMPT_RCU is not set
125 # CONFIG_QUOTACTL is not set
128 CONFIG_RTC_DRV_DS1672=y
130 CONFIG_SATA_AHCI_CNS3XXX=y
131 CONFIG_SATA_AHCI_PLATFORM=y
133 # CONFIG_SCSI_MULTI_LUN is not set
134 # CONFIG_SDIO_UART is not set
135 CONFIG_SENSORS_AD7418=y
137 CONFIG_SERIAL_8250_NR_UARTS=3
138 CONFIG_SERIAL_8250_RUNTIME_UARTS=3
144 # CONFIG_SPI_GPIO is not set
146 # CONFIG_STAGING is not set
147 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
150 CONFIG_USB_ANNOUNCE_NEW_DEVICES=y
151 # CONFIG_USB_CDC_COMPOSITE is not set
152 CONFIG_USB_CNS3XXX_EHCI=y
153 CONFIG_USB_CNS3XXX_OHCI=y
155 CONFIG_USB_EHCI_HCD=y
156 # CONFIG_USB_ETH is not set
157 # CONFIG_USB_FILE_STORAGE is not set
158 # CONFIG_USB_FUNCTIONFS is not set
160 # CONFIG_USB_GADGETFS is not set
161 # CONFIG_USB_GADGET_DEBUG_FILES is not set
162 # CONFIG_USB_GADGET_DEBUG_FS is not set
163 # CONFIG_USB_GADGET_DUALSPEED is not set
164 CONFIG_USB_GADGET_SELECTED=y
165 CONFIG_USB_GADGET_VBUS_DRAW=2
166 # CONFIG_USB_G_DBGP is not set
167 # CONFIG_USB_G_HID is not set
168 # CONFIG_USB_G_NCM is not set
169 # CONFIG_USB_G_PRINTER is not set
170 # CONFIG_USB_G_SERIAL is not set
171 # CONFIG_USB_OHCI_BIG_ENDIAN_DESC is not set
172 # CONFIG_USB_OHCI_BIG_ENDIAN_MMIO is not set
173 CONFIG_USB_OHCI_HCD=y
175 # CONFIG_USB_UHCI_HCD is not set
176 # CONFIG_USB_ZERO is not set
177 CONFIG_VECTORS_BASE=0xffff0000
179 CONFIG_WATCHDOG_NOWAYOUT=y
180 CONFIG_ZBOOT_ROM_BSS=0
181 CONFIG_ZBOOT_ROM_TEXT=0
182 CONFIG_ZONE_DMA_FLAG=0