1 CONFIG_ALIGNMENT_TRAP=y
2 # CONFIG_ARCH_MX1 is not set
4 # CONFIG_ARCH_MX25 is not set
5 # CONFIG_ARCH_MX3 is not set
6 # CONFIG_ARCH_MX5 is not set
8 # CONFIG_ARCH_MXC91231 is not set
9 CONFIG_ARCH_MXC_AUDMUX_V1=y
10 CONFIG_ARCH_REQUIRE_GPIOLIB=y
11 # CONFIG_ARCH_SELECT_MEMORY_MODEL is not set
12 # CONFIG_ARCH_SPARSEMEM_DEFAULT is not set
13 # CONFIG_ARCH_SUPPORTS_MSI is not set
14 CONFIG_ARCH_SUSPEND_POSSIBLE=y
16 CONFIG_ARM_L1_CACHE_SHIFT=5
19 # CONFIG_BLK_DEV is not set
20 # CONFIG_BLK_DEV_INITRD is not set
21 # CONFIG_BSD_PROCESS_ACCT is not set
22 CONFIG_CMDLINE="unused -- bootloader passes ATAG list"
23 CONFIG_COMMON_CLKDEV=y
26 CONFIG_CPU_ABRT_EV5TJ=y
28 # CONFIG_CPU_CACHE_ROUND_ROBIN is not set
29 CONFIG_CPU_CACHE_VIVT=y
30 CONFIG_CPU_COPY_V4WB=y
33 # CONFIG_CPU_DCACHE_WRITETHROUGH is not set
34 # CONFIG_CPU_ICACHE_DISABLE is not set
35 CONFIG_CPU_PABRT_LEGACY=y
36 CONFIG_CPU_TLB_V4WBI=y
37 CONFIG_DEBUG_BUGVERBOSE=y
38 # CONFIG_DEBUG_USER is not set
39 CONFIG_DECOMPRESS_LZMA=y
41 CONFIG_DEVTMPFS_MOUNT=y
42 # CONFIG_FPE_FASTFPE is not set
43 # CONFIG_FPE_NWFPE is not set
44 CONFIG_FRAME_POINTER=y
45 # CONFIG_FSNOTIFY is not set
46 CONFIG_GENERIC_ATOMIC64=y
47 CONFIG_GENERIC_CLOCKEVENTS=y
48 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
49 CONFIG_GENERIC_FIND_LAST_BIT=y
51 CONFIG_GENERIC_HARDIRQS_NO__DO_IRQ=y
53 # CONFIG_GPIO_IT8761E is not set
55 CONFIG_HARDIRQS_SW_RESEND=y
60 CONFIG_HAVE_ARCH_KGDB=y
62 CONFIG_HAVE_FUNCTION_TRACER=y
63 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
65 CONFIG_HAVE_KERNEL_GZIP=y
66 CONFIG_HAVE_KERNEL_LZMA=y
67 CONFIG_HAVE_KERNEL_LZO=y
69 CONFIG_HAVE_KRETPROBES=y
70 CONFIG_HAVE_LATENCYTOP_SUPPORT=y
71 CONFIG_HAVE_OPROFILE=y
72 CONFIG_HAVE_PERF_EVENTS=y
73 CONFIG_HAVE_PROC_CPU=y
74 # CONFIG_HW_RANDOM is not set
75 CONFIG_IMX_HAVE_IOMUX_V1=y
78 CONFIG_INPUT_KEYBOARD=y
79 # CONFIG_INPUT_MISC is not set
80 # CONFIG_ISDN_CAPI is not set
81 # CONFIG_ISDN_DRV_GIGASET is not set
82 # CONFIG_ISDN_I4L is not set
83 CONFIG_KEYBOARD_ATKBD=y
84 CONFIG_KEYBOARD_GPIO=y
86 # CONFIG_KEYBOARD_LKKBD is not set
87 # CONFIG_KEYBOARD_MATRIX is not set
88 # CONFIG_KEYBOARD_NEWTON is not set
89 # CONFIG_KEYBOARD_STOWAWAY is not set
90 # CONFIG_KEYBOARD_SUNKBD is not set
91 # CONFIG_KEYBOARD_XTKBD is not set
93 # CONFIG_LEDS_TRIGGER_NETDEV is not set
94 # CONFIG_LKDTM is not set
96 # CONFIG_MACH_MX21ADS is not set
97 # CONFIG_MACH_MX27 is not set
99 # CONFIG_MFD_T7L66XB is not set
100 # CONFIG_MTD_CFI_INTELEXT is not set
101 CONFIG_MTD_CMDLINE_PARTS=y
103 # CONFIG_MXC_DEBUG_BOARD is not set
104 # CONFIG_MXC_IRQ_PRIOR is not set
105 # CONFIG_MXC_PWM is not set
106 CONFIG_NEED_DMA_MAP_STATE=y
107 # CONFIG_NETDEV_1000 is not set
108 # CONFIG_NET_ETHERNET is not set
109 CONFIG_PAGEFLAGS_EXTENDED=y
110 CONFIG_PAGE_OFFSET=0xC0000000
111 # CONFIG_PCI_SYSCALL is not set
112 CONFIG_PERF_USE_VMALLOC=y
114 # CONFIG_SCSI_DMA is not set
116 # CONFIG_SERIAL_8250 is not set
118 CONFIG_SERIAL_IMX_CONSOLE=y
120 # CONFIG_SERIO_ALTERA_PS2 is not set
121 CONFIG_SERIO_LIBPS2=y
122 # CONFIG_SERIO_RAW is not set
123 CONFIG_SERIO_SERPORT=y
124 CONFIG_SPLIT_PTLOCK_CPUS=999999
125 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
126 # CONFIG_TREE_PREEMPT_RCU is not set
127 # CONFIG_UID16 is not set
128 CONFIG_VECTORS_BASE=0xffff0000
129 # CONFIG_VFP is not set
130 # CONFIG_WATCHDOG is not set
131 CONFIG_ZBOOT_ROM_BSS=0x0
132 CONFIG_ZBOOT_ROM_TEXT=0x0
133 CONFIG_ZONE_DMA_FLAG=0