2 CONFIG_ALIGNMENT_TRAP=y
3 CONFIG_ARCH_32BIT_OFF_T=y
4 CONFIG_ARCH_HIBERNATION_POSSIBLE=y
5 CONFIG_ARCH_KEEP_MEMBLOCK=y
6 CONFIG_ARCH_MIGHT_HAVE_PC_PARPORT=y
7 CONFIG_ARCH_MULTIPLATFORM=y
8 CONFIG_ARCH_MULTI_CPU_AUTO=y
9 # CONFIG_ARCH_MULTI_V4 is not set
10 # CONFIG_ARCH_MULTI_V4T is not set
11 CONFIG_ARCH_MULTI_V4_V5=y
12 CONFIG_ARCH_MULTI_V5=y
15 CONFIG_ARCH_OPTIONAL_KERNEL_RWX=y
16 CONFIG_ARCH_SELECT_MEMORY_MODEL=y
17 CONFIG_ARCH_SPARSEMEM_ENABLE=y
18 CONFIG_ARCH_SUSPEND_POSSIBLE=y
21 CONFIG_ARM_APPENDED_DTB=y
22 CONFIG_ARM_ATAG_DTB_COMPAT=y
23 CONFIG_ARM_ATAG_DTB_COMPAT_CMDLINE_FROM_BOOTLOADER=y
24 CONFIG_ARM_CPU_SUSPEND=y
25 CONFIG_ARM_HAS_SG_CHAIN=y
26 CONFIG_ARM_L1_CACHE_SHIFT=5
27 CONFIG_ARM_PATCH_PHYS_VIRT=y
31 CONFIG_AUTO_ZRELADDR=y
32 CONFIG_BINARY_PRINTF=y
33 CONFIG_BINFMT_FLAT_ARGVP_ENVP_ON_STACK=y
36 CONFIG_CLONE_BACKWARDS=y
37 CONFIG_CMDLINE="console=ttyAMA0,115200 root=/dev/mmcblk0p2 rw rootwait"
38 CONFIG_CMDLINE_FROM_BOOTLOADER=y
40 CONFIG_COMPAT_32BIT_TIME=y
43 CONFIG_CPU_ABRT_EV5TJ=y
45 # CONFIG_CPU_CACHE_ROUND_ROBIN is not set
46 CONFIG_CPU_CACHE_VIVT=y
47 CONFIG_CPU_COPY_V4WB=y
50 # CONFIG_CPU_DCACHE_WRITETHROUGH is not set
52 CONFIG_CPU_IDLE_GOV_LADDER=y
53 CONFIG_CPU_IDLE_GOV_MENU=y
54 CONFIG_CPU_PABRT_LEGACY=y
56 CONFIG_CPU_THUMB_CAPABLE=y
57 CONFIG_CPU_TLB_V4WBI=y
58 CONFIG_CPU_USE_DOMAINS=y
60 CONFIG_CROSS_MEMORY_ATTACH=y
62 CONFIG_CRYPTO_CRC32C=y
63 CONFIG_CRYPTO_DEV_MXS_DCP=y
67 CONFIG_DEBUG_ALIGN_RODATA=y
68 CONFIG_DEBUG_LL_INCLUDE="mach/debug-macro.S"
75 CONFIG_EDAC_ATOMIC_SCRUB=y
81 CONFIG_FIX_EARLYCON_MEM=y
85 CONFIG_FW_LOADER_PAGED_BUF=y
86 CONFIG_GENERIC_ALLOCATOR=y
87 CONFIG_GENERIC_ATOMIC64=y
89 CONFIG_GENERIC_CLOCKEVENTS=y
90 CONFIG_GENERIC_CPU_AUTOPROBE=y
91 CONFIG_GENERIC_EARLY_IOREMAP=y
92 CONFIG_GENERIC_IDLE_POLL_SETUP=y
93 CONFIG_GENERIC_IRQ_CHIP=y
94 CONFIG_GENERIC_IRQ_MULTI_HANDLER=y
95 CONFIG_GENERIC_IRQ_SHOW=y
96 CONFIG_GENERIC_IRQ_SHOW_LEVEL=y
97 CONFIG_GENERIC_LIB_DEVMEM_IS_ALLOWED=y
98 CONFIG_GENERIC_PCI_IOMAP=y
99 CONFIG_GENERIC_SCHED_CLOCK=y
100 CONFIG_GENERIC_SMP_IDLE_THREAD=y
101 CONFIG_GENERIC_STRNCPY_FROM_USER=y
102 CONFIG_GENERIC_STRNLEN_USER=y
103 # CONFIG_GIANFAR is not set
107 CONFIG_GPIO_GENERIC=y
108 CONFIG_GPIO_GENERIC_PLATFORM=y
110 CONFIG_HANDLE_DOMAIN_IRQ=y
111 CONFIG_HARDIRQS_SW_RESEND=y
114 CONFIG_HAS_IOPORT_MAP=y
121 CONFIG_I2C_BOARDINFO=y
125 CONFIG_I2C_MUX_PINCTRL=y
129 CONFIG_IIO_KFIFO_BUF=y
130 CONFIG_IIO_SYSFS_TRIGGER=y
132 # CONFIG_IIO_TRIGGERED_BUFFER is not set
133 CONFIG_INITRAMFS_SOURCE=""
137 CONFIG_IRQ_FORCED_THREADING=y
140 # CONFIG_ISDN is not set
143 CONFIG_LOCK_DEBUGGING_SUPPORT=y
148 CONFIG_MEMFD_CREATE=y
150 CONFIG_MFD_MXS_LRADC=y
155 CONFIG_MODULES_USE_ELF_REL=y
157 # CONFIG_MXS_LRADC_ADC is not set
159 CONFIG_NEED_DMA_MAP_STATE=y
160 CONFIG_NEED_KUSER_HELPERS=y
161 CONFIG_NEED_PER_CPU_KM=y
162 CONFIG_NET_PTP_CLASSIFY=y
163 CONFIG_NET_SELFTESTS=y
164 CONFIG_NET_SOCK_MSG=y
167 CONFIG_NVMEM_MXS_OCOTP=y
170 CONFIG_OF_EARLY_FLATTREE=y
176 CONFIG_OLD_SIGACTION=y
177 CONFIG_OLD_SIGSUSPEND3=y
178 CONFIG_PAGE_OFFSET=0xC0000000
179 CONFIG_PERF_USE_VMALLOC=y
180 CONFIG_PGTABLE_LEVELS=2
183 CONFIG_PINCTRL_IMX23=y
184 CONFIG_PINCTRL_IMX28=y
186 # CONFIG_PINCTRL_SINGLE is not set
189 CONFIG_POWER_SUPPLY=y
191 CONFIG_PTP_1588_CLOCK=y
192 CONFIG_PTP_1588_CLOCK_OPTIONAL=y
195 CONFIG_REGULATOR_FIXED_VOLTAGE=y
196 CONFIG_REGULATOR_GPIO=y
197 CONFIG_RESET_CONTROLLER=y
199 CONFIG_RTC_DRV_STMP=y
200 CONFIG_RTC_I2C_AND_SPI=y
201 CONFIG_RTC_MC146818_LIB=y
202 # CONFIG_SERIAL_8250 is not set
203 CONFIG_SERIAL_AMBA_PL011=y
204 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
205 CONFIG_SERIAL_MCTRL_GPIO=y
206 CONFIG_SERIAL_MXS_AUART=y
207 CONFIG_SERIAL_MXS_AUART_CONSOLE=y
216 CONFIG_SPLIT_PTLOCK_CPUS=999999
218 CONFIG_STMP3XXX_RTC_WATCHDOG=y
221 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
222 CONFIG_TICK_CPU_ACCOUNTING=y
226 CONFIG_UNCOMPRESS_INCLUDE="debug/uncompress.h"
227 CONFIG_UNWINDER_ARM=y
229 CONFIG_USB_CHIPIDEA=y
230 CONFIG_USB_CHIPIDEA_HOST=y
231 CONFIG_USB_CHIPIDEA_IMX=y
232 CONFIG_USB_CHIPIDEA_UDC=y
234 CONFIG_USB_EHCI_HCD=y
235 # CONFIG_USB_EHCI_HCD_PLATFORM is not set
240 CONFIG_USB_ROLE_SWITCH=y
242 CONFIG_USB_ULPI_BUS=y
244 # CONFIG_VFP is not set
245 CONFIG_WATCHDOG_CORE=y
248 CONFIG_ZBOOT_ROM_BSS=0
249 CONFIG_ZBOOT_ROM_TEXT=0