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
15 # CONFIG_ARM_PATCH_PHYS_VIRT is not set
18 # CONFIG_ATA_SFF is not set
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_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_FTMAC100 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_M25PXX_USE_FAST_READ=y
102 CONFIG_MACH_CNS3420VB=y
104 # CONFIG_MFD_MAX8997 is not set
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
120 CONFIG_OUTER_CACHE_SYNC=y
121 CONFIG_PAGEFLAGS_EXTENDED=y
122 CONFIG_PAGE_OFFSET=0xC0000000
125 CONFIG_PERF_USE_VMALLOC=y
127 CONFIG_PL310_ERRATA_588369=y
128 CONFIG_PL310_ERRATA_727915=y
129 # CONFIG_PREEMPT_RCU is not set
130 # CONFIG_QUOTACTL is not set
133 # CONFIG_RD_LZMA is not set
135 CONFIG_RTC_DRV_DS1672=y
137 CONFIG_SATA_AHCI_PLATFORM=y
139 # CONFIG_SCSI_MULTI_LUN is not set
140 # CONFIG_SDIO_UART is not set
141 CONFIG_SENSORS_AD7418=y
143 CONFIG_SERIAL_8250_NR_UARTS=3
144 CONFIG_SERIAL_8250_RUNTIME_UARTS=3
148 # CONFIG_SPI_GPIO is not set
150 # CONFIG_STAGING is not set
151 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
154 CONFIG_USB_ANNOUNCE_NEW_DEVICES=y
155 # CONFIG_USB_CDC_COMPOSITE is not set
156 CONFIG_USB_CNS3XXX_EHCI=y
157 CONFIG_USB_CNS3XXX_OHCI=y
160 CONFIG_USB_EHCI_HCD=y
161 # CONFIG_USB_ETH is not set
162 # CONFIG_USB_FILE_STORAGE is not set
163 # CONFIG_USB_FUNCTIONFS is not set
165 # CONFIG_USB_GADGETFS is not set
166 # CONFIG_USB_GADGET_DEBUG_FILES is not set
167 # CONFIG_USB_GADGET_DEBUG_FS is not set
168 # CONFIG_USB_GADGET_DUALSPEED is not set
169 CONFIG_USB_GADGET_SELECTED=y
170 CONFIG_USB_GADGET_VBUS_DRAW=2
171 # CONFIG_USB_G_DBGP is not set
172 # CONFIG_USB_G_HID is not set
173 # CONFIG_USB_G_NCM is not set
174 # CONFIG_USB_G_PRINTER is not set
175 # CONFIG_USB_G_SERIAL is not set
176 # CONFIG_USB_OHCI_BIG_ENDIAN_DESC is not set
177 # CONFIG_USB_OHCI_BIG_ENDIAN_MMIO is not set
178 CONFIG_USB_OHCI_HCD=y
180 # CONFIG_USB_UHCI_HCD is not set
181 # CONFIG_USB_ZERO is not set
182 CONFIG_VECTORS_BASE=0xffff0000
184 CONFIG_WATCHDOG_NOWAYOUT=y
186 CONFIG_ZBOOT_ROM_BSS=0
187 CONFIG_ZBOOT_ROM_TEXT=0
188 CONFIG_ZONE_DMA_FLAG=0