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_SUSPEND_POSSIBLE=y
8 # CONFIG_ARCH_USES_GETTIMEOFFSET is not set
9 # CONFIG_ARCH_VT8500 is not set
10 CONFIG_ARCH_WANT_OPTIONAL_GPIOLIB=y
13 CONFIG_ARM_L1_CACHE_SHIFT=5
16 # CONFIG_ATA_SFF is not set
17 CONFIG_ATA_VERBOSE_ERROR=y
19 CONFIG_BLK_DEV_RAM_COUNT=2
20 CONFIG_BLK_DEV_RAM_SIZE=32768
26 # CONFIG_CPU_BPREDICT_DISABLE is not set
28 CONFIG_CPU_CACHE_VIPT=y
34 # CONFIG_CPU_ICACHE_DISABLE is not set
37 CONFIG_CPU_USE_DOMAINS=y
39 CONFIG_DEBUG_BUGVERBOSE=y
40 # CONFIG_DEBUG_USER is not set
41 CONFIG_DECOMPRESS_GZIP=y
42 CONFIG_DMA_CACHE_RWFO=y
43 # CONFIG_DWC_DEBUG is not set
44 # CONFIG_DWC_DEVICE_ONLY is not set
45 # CONFIG_DWC_HOST_ONLY is not set
48 CONFIG_FRAME_POINTER=y
49 # CONFIG_FSNOTIFY is not set
50 CONFIG_GENERIC_ATOMIC64=y
51 CONFIG_GENERIC_CLOCKEVENTS=y
52 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
53 CONFIG_GENERIC_FIND_LAST_BIT=y
55 CONFIG_GENERIC_IRQ_SHOW=y
58 CONFIG_GPIO_PCA953X_IRQ=y
60 CONFIG_HARDIRQS_SW_RESEND=y
65 CONFIG_HAVE_ARCH_KGDB=y
66 CONFIG_HAVE_C_RECORDMCOUNT=y
67 CONFIG_HAVE_DMA_API_DEBUG=y
68 CONFIG_HAVE_DYNAMIC_FTRACE=y
69 CONFIG_HAVE_FTRACE_MCOUNT_RECORD=y
70 CONFIG_HAVE_FUNCTION_GRAPH_TRACER=y
71 CONFIG_HAVE_FUNCTION_TRACER=y
72 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
73 CONFIG_HAVE_GENERIC_HARDIRQS=y
75 CONFIG_HAVE_IRQ_WORK=y
76 CONFIG_HAVE_LATENCYTOP_SUPPORT=y
77 CONFIG_HAVE_MEMBLOCK=y
78 CONFIG_HAVE_OPROFILE=y
79 CONFIG_HAVE_PERF_EVENTS=y
80 CONFIG_HAVE_PROC_CPU=y
81 CONFIG_HAVE_REGS_AND_STACK_ACCESS_API=y
82 CONFIG_HAVE_SPARSE_IRQ=y
86 CONFIG_I2C_BOARDINFO=y
89 CONFIG_INITRAMFS_SOURCE=""
92 # CONFIG_LEDS_TRIGGER_NETDEV is not set
94 CONFIG_M25PXX_USE_FAST_READ=y
95 CONFIG_MACH_CNS3420VB=y
97 CONFIG_MIGHT_HAVE_PCI=y
101 CONFIG_MMC_SDHCI_CNS3XXX=y
102 # CONFIG_MMC_SDHCI_PCI is not set
103 CONFIG_MMC_SDHCI_PLTFM=y
104 # CONFIG_MMC_TIFM_SD is not set
105 CONFIG_MPCORE_WATCHDOG=y
108 CONFIG_NEED_DMA_MAP_STATE=y
109 CONFIG_NEED_PER_CPU_KM=y
113 CONFIG_OUTER_CACHE_SYNC=y
114 CONFIG_PAGEFLAGS_EXTENDED=y
115 CONFIG_PAGE_OFFSET=0xC0000000
118 CONFIG_PERF_USE_VMALLOC=y
120 CONFIG_PL310_ERRATA_588369=y
121 CONFIG_PL310_ERRATA_727915=y
122 CONFIG_PL310_ERRATA_769419=y
123 # CONFIG_PREEMPT_RCU is not set
126 CONFIG_RTC_DRV_DS1672=y
128 CONFIG_SATA_AHCI_CNS3XXX=y
129 CONFIG_SATA_AHCI_PLATFORM=y
131 # CONFIG_SCSI_MULTI_LUN is not set
132 CONFIG_SENSORS_AD7418=y
134 CONFIG_SERIAL_8250_NR_UARTS=3
135 CONFIG_SERIAL_8250_RUNTIME_UARTS=3
142 # CONFIG_STAGING is not set
143 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
146 CONFIG_USB_ANNOUNCE_NEW_DEVICES=y
147 # CONFIG_USB_CDC_COMPOSITE is not set
148 CONFIG_USB_CNS3XXX_EHCI=y
149 CONFIG_USB_CNS3XXX_OHCI=y
151 CONFIG_USB_EHCI_HCD=y
152 # CONFIG_USB_ETH is not set
153 # CONFIG_USB_FILE_STORAGE is not set
154 # CONFIG_USB_FUNCTIONFS is not set
156 # CONFIG_USB_GADGETFS is not set
157 # CONFIG_USB_GADGET_DEBUG_FILES is not set
158 # CONFIG_USB_GADGET_DEBUG_FS is not set
159 # CONFIG_USB_GADGET_DUALSPEED is not set
160 CONFIG_USB_GADGET_SELECTED=y
161 CONFIG_USB_GADGET_VBUS_DRAW=2
162 # CONFIG_USB_G_DBGP is not set
163 # CONFIG_USB_G_HID is not set
164 # CONFIG_USB_G_NCM is not set
165 # CONFIG_USB_G_PRINTER is not set
166 # CONFIG_USB_G_SERIAL is not set
167 # CONFIG_USB_OHCI_BIG_ENDIAN_DESC is not set
168 # CONFIG_USB_OHCI_BIG_ENDIAN_MMIO is not set
169 CONFIG_USB_OHCI_HCD=y
171 # CONFIG_USB_UHCI_HCD is not set
172 # CONFIG_USB_ZERO is not set
173 CONFIG_VECTORS_BASE=0xffff0000
175 CONFIG_WATCHDOG_NOWAYOUT=y
176 CONFIG_ZBOOT_ROM_BSS=0
177 CONFIG_ZBOOT_ROM_TEXT=0
178 CONFIG_ZONE_DMA_FLAG=0