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
51 # CONFIG_DM9000 is not set
52 # CONFIG_FPE_FASTFPE is not set
53 # CONFIG_FPE_NWFPE is not set
54 CONFIG_FRAME_POINTER=y
55 # CONFIG_FSNOTIFY is not set
56 CONFIG_GENERIC_ATOMIC64=y
57 CONFIG_GENERIC_CLOCKEVENTS=y
58 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
59 CONFIG_GENERIC_FIND_LAST_BIT=y
61 CONFIG_GENERIC_HARDIRQS_NO__DO_IRQ=y
63 # CONFIG_GPIO_IT8761E is not set
64 CONFIG_HARDIRQS_SW_RESEND=y
69 CONFIG_HAVE_ARCH_KGDB=y
71 CONFIG_HAVE_FUNCTION_TRACER=y
72 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
74 CONFIG_HAVE_KERNEL_GZIP=y
75 CONFIG_HAVE_KERNEL_LZO=y
77 CONFIG_HAVE_KRETPROBES=y
78 CONFIG_HAVE_LATENCYTOP_SUPPORT=y
79 CONFIG_HAVE_OPROFILE=y
80 CONFIG_HAVE_PERF_EVENTS=y
81 CONFIG_HAVE_PROC_CPU=y
82 # CONFIG_HW_RANDOM is not set
83 CONFIG_IMX_HAVE_IOMUX_V1=y
84 # CONFIG_INLINE_READ_LOCK is not set
85 # CONFIG_INLINE_READ_LOCK_BH is not set
86 # CONFIG_INLINE_READ_LOCK_IRQ is not set
87 # CONFIG_INLINE_READ_LOCK_IRQSAVE is not set
88 # CONFIG_INLINE_READ_TRYLOCK is not set
89 CONFIG_INLINE_READ_UNLOCK=y
90 # CONFIG_INLINE_READ_UNLOCK_BH is not set
91 CONFIG_INLINE_READ_UNLOCK_IRQ=y
92 # CONFIG_INLINE_READ_UNLOCK_IRQRESTORE is not set
93 # CONFIG_INLINE_SPIN_LOCK is not set
94 # CONFIG_INLINE_SPIN_LOCK_BH is not set
95 # CONFIG_INLINE_SPIN_LOCK_IRQ is not set
96 # CONFIG_INLINE_SPIN_LOCK_IRQSAVE is not set
97 # CONFIG_INLINE_SPIN_TRYLOCK is not set
98 # CONFIG_INLINE_SPIN_TRYLOCK_BH is not set
99 CONFIG_INLINE_SPIN_UNLOCK=y
100 # CONFIG_INLINE_SPIN_UNLOCK_BH is not set
101 CONFIG_INLINE_SPIN_UNLOCK_IRQ=y
102 # CONFIG_INLINE_SPIN_UNLOCK_IRQRESTORE is not set
103 # CONFIG_INLINE_WRITE_LOCK is not set
104 # CONFIG_INLINE_WRITE_LOCK_BH is not set
105 # CONFIG_INLINE_WRITE_LOCK_IRQ is not set
106 # CONFIG_INLINE_WRITE_LOCK_IRQSAVE is not set
107 # CONFIG_INLINE_WRITE_TRYLOCK is not set
108 CONFIG_INLINE_WRITE_UNLOCK=y
109 # CONFIG_INLINE_WRITE_UNLOCK_BH is not set
110 CONFIG_INLINE_WRITE_UNLOCK_IRQ=y
111 # CONFIG_INLINE_WRITE_UNLOCK_IRQRESTORE is not set
113 CONFIG_INPUT_KEYBOARD=y
114 # CONFIG_INPUT_MISC is not set
115 # CONFIG_ISDN_CAPI is not set
116 # CONFIG_ISDN_DRV_GIGASET is not set
117 # CONFIG_ISDN_I4L is not set
119 # CONFIG_KERNEL_LZMA is not set
120 CONFIG_KEYBOARD_ATKBD=y
121 # CONFIG_KEYBOARD_GPIO is not set
122 # CONFIG_KEYBOARD_IMX is not set
123 # CONFIG_KEYBOARD_LKKBD is not set
124 # CONFIG_KEYBOARD_MATRIX is not set
125 # CONFIG_KEYBOARD_NEWTON is not set
126 # CONFIG_KEYBOARD_STOWAWAY is not set
127 # CONFIG_KEYBOARD_SUNKBD is not set
128 # CONFIG_KEYBOARD_XTKBD is not set
130 # CONFIG_LEDS_TRIGGER_NETDEV is not set
131 # CONFIG_LKDTM is not set
132 # CONFIG_LOGFS is not set
134 # CONFIG_MACH_MX21ADS is not set
135 # CONFIG_MACH_MX27 is not set
137 # CONFIG_MFD_T7L66XB is not set
138 # CONFIG_MTD_CFI_INTELEXT is not set
139 CONFIG_MTD_CMDLINE_PARTS=y
141 # CONFIG_MUTEX_SPIN_ON_OWNER is not set
142 # CONFIG_MXC_IRQ_PRIOR is not set
143 # CONFIG_MXC_PWM is not set
144 CONFIG_NEED_DMA_MAP_STATE=y
145 CONFIG_PAGEFLAGS_EXTENDED=y
146 CONFIG_PAGE_OFFSET=0xC0000000
147 # CONFIG_PCI_SYSCALL is not set
148 CONFIG_PERF_USE_VMALLOC=y
150 # CONFIG_SCSI_DMA is not set
152 # CONFIG_SERIAL_8250 is not set
154 CONFIG_SERIAL_IMX_CONSOLE=y
155 # CONFIG_SERIAL_TIMBERDALE is not set
157 # CONFIG_SERIO_ALTERA_PS2 is not set
158 CONFIG_SERIO_LIBPS2=y
159 # CONFIG_SERIO_RAW is not set
160 CONFIG_SERIO_SERPORT=y
161 CONFIG_SPLIT_PTLOCK_CPUS=999999
162 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
163 # CONFIG_TREE_PREEMPT_RCU is not set
164 # CONFIG_UID16 is not set
165 CONFIG_VECTORS_BASE=0xffff0000
166 # CONFIG_VFP is not set
167 # CONFIG_WATCHDOG is not set
168 CONFIG_ZBOOT_ROM_BSS=0x0
169 CONFIG_ZBOOT_ROM_TEXT=0x0
170 CONFIG_ZONE_DMA_FLAG=0