1 # CONFIG_AEABI is not set
2 CONFIG_ALIGNMENT_TRAP=y
3 # CONFIG_ARCH_MX1 is not set
5 # CONFIG_ARCH_MX25 is not set
6 # CONFIG_ARCH_MX3 is not set
7 # CONFIG_ARCH_MX5 is not set
9 # CONFIG_ARCH_MXC91231 is not set
10 CONFIG_ARCH_MXC_AUDMUX_V1=y
11 # CONFIG_ARCH_NUC93X is not set
12 CONFIG_ARCH_REQUIRE_GPIOLIB=y
13 # CONFIG_ARCH_S5P6440 is not set
14 # CONFIG_ARCH_S5P6442 is not set
15 # CONFIG_ARCH_S5PV210 is not set
16 # CONFIG_ARCH_SELECT_MEMORY_MODEL is not set
17 # CONFIG_ARCH_SHMOBILE is not set
18 # CONFIG_ARCH_SPARSEMEM_DEFAULT is not set
19 # CONFIG_ARCH_SUPPORTS_MSI is not set
20 CONFIG_ARCH_SUSPEND_POSSIBLE=y
22 CONFIG_ARM_L1_CACHE_SHIFT=5
25 # CONFIG_BLK_DEV is not set
26 # CONFIG_BLK_DEV_INITRD is not set
27 CONFIG_BRIDGE_IGMP_SNOOPING=y
28 # CONFIG_BSD_PROCESS_ACCT is not set
29 # CONFIG_CEPH_FS is not set
30 CONFIG_CMDLINE="unused -- bootloader passes ATAG list"
31 CONFIG_COMMON_CLKDEV=y
34 CONFIG_CPU_ABRT_EV5TJ=y
36 # CONFIG_CPU_CACHE_ROUND_ROBIN is not set
37 CONFIG_CPU_CACHE_VIVT=y
38 CONFIG_CPU_COPY_V4WB=y
41 # CONFIG_CPU_DCACHE_WRITETHROUGH is not set
42 # CONFIG_CPU_ICACHE_DISABLE is not set
43 CONFIG_CPU_PABRT_LEGACY=y
44 CONFIG_CPU_TLB_V4WBI=y
45 CONFIG_DEBUG_BUGVERBOSE=y
46 # CONFIG_DEBUG_USER is not set
47 CONFIG_DECOMPRESS_LZMA=y
48 # CONFIG_DEFAULT_SECURITY_SELINUX is not set
49 # CONFIG_DEFAULT_SECURITY_SMACK is not set
50 # CONFIG_DEFAULT_SECURITY_TOMOYO is not set
52 CONFIG_DEVTMPFS_MOUNT=y
53 # CONFIG_FPE_FASTFPE is not set
54 # CONFIG_FPE_NWFPE is not set
55 CONFIG_FRAME_POINTER=y
56 # CONFIG_FSNOTIFY is not set
57 CONFIG_GENERIC_ATOMIC64=y
58 CONFIG_GENERIC_CLOCKEVENTS=y
59 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
60 CONFIG_GENERIC_FIND_LAST_BIT=y
62 CONFIG_GENERIC_HARDIRQS_NO__DO_IRQ=y
64 # CONFIG_GPIO_IT8761E is not set
66 CONFIG_HARDIRQS_SW_RESEND=y
71 CONFIG_HAVE_ARCH_KGDB=y
73 CONFIG_HAVE_FUNCTION_TRACER=y
74 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
76 CONFIG_HAVE_KERNEL_GZIP=y
77 CONFIG_HAVE_KERNEL_LZMA=y
78 CONFIG_HAVE_KERNEL_LZO=y
80 CONFIG_HAVE_KRETPROBES=y
81 CONFIG_HAVE_LATENCYTOP_SUPPORT=y
82 CONFIG_HAVE_OPROFILE=y
83 CONFIG_HAVE_PERF_EVENTS=y
84 CONFIG_HAVE_PROC_CPU=y
85 # CONFIG_HW_RANDOM is not set
86 CONFIG_IMX_HAVE_IOMUX_V1=y
87 # CONFIG_INLINE_READ_LOCK is not set
88 # CONFIG_INLINE_READ_LOCK_BH is not set
89 # CONFIG_INLINE_READ_LOCK_IRQ is not set
90 # CONFIG_INLINE_READ_LOCK_IRQSAVE is not set
91 # CONFIG_INLINE_READ_TRYLOCK is not set
92 CONFIG_INLINE_READ_UNLOCK=y
93 # CONFIG_INLINE_READ_UNLOCK_BH is not set
94 CONFIG_INLINE_READ_UNLOCK_IRQ=y
95 # CONFIG_INLINE_READ_UNLOCK_IRQRESTORE is not set
96 # CONFIG_INLINE_SPIN_LOCK is not set
97 # CONFIG_INLINE_SPIN_LOCK_BH is not set
98 # CONFIG_INLINE_SPIN_LOCK_IRQ is not set
99 # CONFIG_INLINE_SPIN_LOCK_IRQSAVE is not set
100 # CONFIG_INLINE_SPIN_TRYLOCK is not set
101 # CONFIG_INLINE_SPIN_TRYLOCK_BH is not set
102 CONFIG_INLINE_SPIN_UNLOCK=y
103 # CONFIG_INLINE_SPIN_UNLOCK_BH is not set
104 CONFIG_INLINE_SPIN_UNLOCK_IRQ=y
105 # CONFIG_INLINE_SPIN_UNLOCK_IRQRESTORE is not set
106 # CONFIG_INLINE_WRITE_LOCK is not set
107 # CONFIG_INLINE_WRITE_LOCK_BH is not set
108 # CONFIG_INLINE_WRITE_LOCK_IRQ is not set
109 # CONFIG_INLINE_WRITE_LOCK_IRQSAVE is not set
110 # CONFIG_INLINE_WRITE_TRYLOCK is not set
111 CONFIG_INLINE_WRITE_UNLOCK=y
112 # CONFIG_INLINE_WRITE_UNLOCK_BH is not set
113 CONFIG_INLINE_WRITE_UNLOCK_IRQ=y
114 # CONFIG_INLINE_WRITE_UNLOCK_IRQRESTORE is not set
117 CONFIG_INPUT_KEYBOARD=y
118 # CONFIG_INPUT_MISC is not set
119 # CONFIG_ISDN_CAPI is not set
120 # CONFIG_ISDN_DRV_GIGASET is not set
121 # CONFIG_ISDN_I4L is not set
122 CONFIG_KEYBOARD_ATKBD=y
123 CONFIG_KEYBOARD_GPIO=y
124 CONFIG_KEYBOARD_IMX=y
125 # CONFIG_KEYBOARD_LKKBD is not set
126 # CONFIG_KEYBOARD_MATRIX is not set
127 # CONFIG_KEYBOARD_NEWTON is not set
128 # CONFIG_KEYBOARD_STOWAWAY is not set
129 # CONFIG_KEYBOARD_SUNKBD is not set
130 # CONFIG_KEYBOARD_XTKBD is not set
132 # CONFIG_LEDS_TRIGGER_NETDEV is not set
133 # CONFIG_LKDTM is not set
134 # CONFIG_LOGFS is not set
136 # CONFIG_MACH_MX21ADS is not set
137 # CONFIG_MACH_MX27 is not set
139 # CONFIG_MFD_T7L66XB is not set
140 # CONFIG_MTD_CFI_INTELEXT is not set
141 CONFIG_MTD_CMDLINE_PARTS=y
143 # CONFIG_MUTEX_SPIN_ON_OWNER is not set
144 # CONFIG_MXC_IRQ_PRIOR is not set
145 # CONFIG_MXC_PWM is not set
146 CONFIG_NEED_DMA_MAP_STATE=y
147 # CONFIG_NETDEV_1000 is not set
148 # CONFIG_NET_ETHERNET is not set
149 CONFIG_PAGEFLAGS_EXTENDED=y
150 CONFIG_PAGE_OFFSET=0xC0000000
151 # CONFIG_PCI_SYSCALL is not set
152 CONFIG_PERF_USE_VMALLOC=y
154 # CONFIG_SCSI_DMA is not set
156 # CONFIG_SERIAL_8250 is not set
158 CONFIG_SERIAL_IMX_CONSOLE=y
159 # CONFIG_SERIAL_TIMBERDALE is not set
161 # CONFIG_SERIO_ALTERA_PS2 is not set
162 CONFIG_SERIO_LIBPS2=y
163 # CONFIG_SERIO_RAW is not set
164 CONFIG_SERIO_SERPORT=y
165 CONFIG_SPLIT_PTLOCK_CPUS=999999
166 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
167 # CONFIG_TREE_PREEMPT_RCU is not set
168 # CONFIG_UID16 is not set
169 CONFIG_VECTORS_BASE=0xffff0000
170 # CONFIG_VFP is not set
171 # CONFIG_WATCHDOG is not set
172 CONFIG_ZBOOT_ROM_BSS=0x0
173 CONFIG_ZBOOT_ROM_TEXT=0x0
174 CONFIG_ZONE_DMA_FLAG=0