1 CONFIG_ALIGNMENT_TRAP=y
2 CONFIG_ARCH_BINFMT_ELF_RANDOMIZE_PIE=y
4 CONFIG_ARCH_HAS_CPU_IDLE_WAIT=y
6 # CONFIG_ARCH_SELECT_MEMORY_MODEL is not set
7 # CONFIG_ARCH_SPARSEMEM_DEFAULT is not set
8 CONFIG_ARCH_SUSPEND_POSSIBLE=y
9 # CONFIG_ARCH_USES_GETTIMEOFFSET is not set
10 CONFIG_ARCH_WANT_OPTIONAL_GPIOLIB=y
12 # CONFIG_ARM_CPU_SUSPEND is not set
14 CONFIG_ARM_L1_CACHE_SHIFT=5
16 CONFIG_ARM_PATCH_PHYS_VIRT=y
19 # CONFIG_ATA_SFF is not set
20 CONFIG_ATA_VERBOSE_ERROR=y
21 CONFIG_BCMA_POSSIBLE=y
23 CONFIG_BLK_DEV_RAM_COUNT=2
24 CONFIG_BLK_DEV_RAM_SIZE=32768
27 CONFIG_CLKDEV_LOOKUP=y
32 # CONFIG_CPU_BPREDICT_DISABLE is not set
34 CONFIG_CPU_CACHE_VIPT=y
40 # CONFIG_CPU_ICACHE_DISABLE is not set
45 CONFIG_DEBUG_BUGVERBOSE=y
46 # CONFIG_DEBUG_USER is not set
47 CONFIG_DECOMPRESS_LZMA=y
48 CONFIG_DMA_CACHE_RWFO=y
49 # CONFIG_DWC_DEBUG is not set
50 # CONFIG_DWC_DEVICE_ONLY is not set
51 # CONFIG_DWC_HOST_ONLY is not set
54 CONFIG_FRAME_POINTER=y
56 CONFIG_GENERIC_CLOCKEVENTS=y
57 CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
58 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
60 CONFIG_GENERIC_IRQ_SHOW=y
61 CONFIG_GENERIC_PCI_IOMAP=y
64 CONFIG_GPIO_PCA953X_IRQ=y
66 CONFIG_HARDIRQS_SW_RESEND=y
71 CONFIG_HAVE_ARCH_KGDB=y
72 CONFIG_HAVE_ARCH_PFN_VALID=y
76 CONFIG_HAVE_C_RECORDMCOUNT=y
77 CONFIG_HAVE_DMA_API_DEBUG=y
78 CONFIG_HAVE_DYNAMIC_FTRACE=y
79 CONFIG_HAVE_FTRACE_MCOUNT_RECORD=y
80 CONFIG_HAVE_FUNCTION_GRAPH_TRACER=y
81 CONFIG_HAVE_FUNCTION_TRACER=y
82 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
83 CONFIG_HAVE_GENERIC_HARDIRQS=y
85 CONFIG_HAVE_IRQ_WORK=y
86 CONFIG_HAVE_KERNEL_GZIP=y
87 CONFIG_HAVE_KERNEL_LZMA=y
88 CONFIG_HAVE_KERNEL_LZO=y
89 CONFIG_HAVE_KERNEL_XZ=y
90 CONFIG_HAVE_MEMBLOCK=y
91 CONFIG_HAVE_OPROFILE=y
92 CONFIG_HAVE_PERF_EVENTS=y
93 CONFIG_HAVE_PROC_CPU=y
94 CONFIG_HAVE_REGS_AND_STACK_ACCESS_API=y
96 CONFIG_HAVE_SPARSE_IRQ=y
100 CONFIG_I2C_BOARDINFO=y
103 CONFIG_INITRAMFS_SOURCE=""
105 CONFIG_KTIME_SCALAR=y
107 # CONFIG_LEDS_TRIGGER_NETDEV is not set
108 CONFIG_LOCAL_TIMERS=y
109 CONFIG_M25PXX_USE_FAST_READ=y
110 CONFIG_MACH_CNS3420VB=y
112 CONFIG_MDIO_BOARDINFO=y
113 # CONFIG_MFD_T7L66XB is not set
114 CONFIG_MIGHT_HAVE_CACHE_L2X0=y
115 CONFIG_MIGHT_HAVE_PCI=y
119 CONFIG_MMC_SDHCI_CNS3XXX=y
120 # CONFIG_MMC_SDHCI_PCI is not set
121 CONFIG_MMC_SDHCI_PLTFM=y
122 # CONFIG_MMC_TIFM_SD is not set
123 CONFIG_MPCORE_WATCHDOG=y
126 CONFIG_MULTI_IRQ_HANDLER=y
127 CONFIG_MUTEX_SPIN_ON_OWNER=y
128 CONFIG_NEED_DMA_MAP_STATE=y
129 CONFIG_NET_VENDOR_CAVIUM=y
133 CONFIG_OUTER_CACHE_SYNC=y
134 CONFIG_PAGEFLAGS_EXTENDED=y
135 CONFIG_PAGE_OFFSET=0xC0000000
138 CONFIG_PERF_USE_VMALLOC=y
140 CONFIG_PL310_ERRATA_588369=y
141 CONFIG_PL310_ERRATA_727915=y
142 CONFIG_PL310_ERRATA_769419=y
143 # CONFIG_PREEMPT_RCU is not set
148 CONFIG_RTC_DRV_DS1672=y
150 CONFIG_SATA_AHCI_PLATFORM=y
152 # CONFIG_SCSI_MULTI_LUN is not set
153 CONFIG_SENSORS_AD7418=y
155 CONFIG_SERIAL_8250_NR_UARTS=3
156 CONFIG_SERIAL_8250_RUNTIME_UARTS=3
163 # CONFIG_STAGING is not set
164 CONFIG_STOP_MACHINE=y
165 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
169 CONFIG_USB_ANNOUNCE_NEW_DEVICES=y
170 CONFIG_USB_ARCH_HAS_XHCI=y
171 # CONFIG_USB_CDC_COMPOSITE is not set
172 CONFIG_USB_CNS3XXX_EHCI=y
173 CONFIG_USB_CNS3XXX_OHCI=y
176 CONFIG_USB_EHCI_HCD=y
177 # CONFIG_USB_ETH is not set
178 # CONFIG_USB_FILE_STORAGE is not set
179 # CONFIG_USB_FUNCTIONFS is not set
181 # CONFIG_USB_GADGETFS is not set
182 # CONFIG_USB_GADGET_DEBUG_FILES is not set
183 # CONFIG_USB_GADGET_DEBUG_FS is not set
184 CONFIG_USB_GADGET_VBUS_DRAW=2
185 # CONFIG_USB_G_DBGP is not set
186 # CONFIG_USB_G_HID is not set
187 # CONFIG_USB_G_NCM is not set
188 # CONFIG_USB_G_PRINTER is not set
189 # CONFIG_USB_G_SERIAL is not set
190 # CONFIG_USB_OHCI_BIG_ENDIAN_DESC is not set
191 # CONFIG_USB_OHCI_BIG_ENDIAN_MMIO is not set
192 CONFIG_USB_OHCI_HCD=y
194 # CONFIG_USB_UHCI_HCD is not set
195 # CONFIG_USB_ZERO is not set
196 CONFIG_USE_GENERIC_SMP_HELPERS=y
197 CONFIG_VECTORS_BASE=0xffff0000
199 CONFIG_WATCHDOG_NOWAYOUT=y
202 CONFIG_ZBOOT_ROM_BSS=0
203 CONFIG_ZBOOT_ROM_TEXT=0
204 CONFIG_ZONE_DMA_FLAG=0