1 # CONFIG_AIO is not set
2 CONFIG_ALIGNMENT_TRAP=y
3 # CONFIG_APM_EMULATION is not set
5 CONFIG_ARCH_BINFMT_ELF_RANDOMIZE_PIE=y
6 CONFIG_ARCH_HAS_CPU_IDLE_WAIT=y
8 CONFIG_ARCH_REQUIRE_GPIOLIB=y
9 # CONFIG_ARCH_SELECT_MEMORY_MODEL is not set
10 # CONFIG_ARCH_SPARSEMEM_DEFAULT is not set
11 CONFIG_ARCH_SUSPEND_POSSIBLE=y
12 # CONFIG_ARCH_USES_GETTIMEOFFSET is not set
15 CONFIG_ARM_CPU_SUSPEND=y
16 CONFIG_ARM_ERRATA_411920=y
17 CONFIG_ARM_L1_CACHE_SHIFT=5
19 # CONFIG_ARM_SP805_WATCHDOG is not set
23 # CONFIG_BACKLIGHT_ADP8860 is not set
24 # CONFIG_BACKLIGHT_ADP8870 is not set
25 CONFIG_BACKLIGHT_LCD_SUPPORT=y
26 CONFIG_BCM2708_DMAER=y
28 # CONFIG_BCM2708_NOL2CACHE is not set
29 CONFIG_BCM2708_VCHIQ=y
30 CONFIG_BCM2708_VCMEM=y
32 # CONFIG_BLK_DEV_INITRD is not set
35 CONFIG_BLK_DEV_RAM_COUNT=16
36 CONFIG_BLK_DEV_RAM_SIZE=4096
38 CONFIG_BRCM_CHAR_DRIVERS=y
39 # CONFIG_CACHE_L2X0 is not set
40 CONFIG_CLKDEV_LOOKUP=y
41 CONFIG_CMDLINE="dwc_otg.lpm_enable=0 console=ttyAMA0,115200 kgdboc=ttyAMA0,115200 root=/dev/mmcblk0p2 rootfstype=ext3 rootwait"
42 CONFIG_CMDLINE_FROM_BOOTLOADER=y
44 CONFIG_CONSOLE_TRANSLATIONS=y
45 CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS=y
48 # CONFIG_CPU_BPREDICT_DISABLE is not set
50 CONFIG_CPU_CACHE_VIPT=y
56 # CONFIG_CPU_ICACHE_DISABLE is not set
58 CONFIG_CPU_IDLE_GOV_LADDER=y
59 CONFIG_CPU_IDLE_GOV_MENU=y
63 CONFIG_CPU_USE_DOMAINS=y
66 CONFIG_DEBUG_BUGVERBOSE=y
68 # CONFIG_DEBUG_USER is not set
70 # CONFIG_DEFAULT_DEADLINE is not set
71 CONFIG_DEFAULT_IOSCHED="cfq"
74 CONFIG_DUMMY_CONSOLE=y
76 CONFIG_ENABLE_MUST_CHECK=y
78 CONFIG_EXT4_FS_POSIX_ACL=y
79 CONFIG_EXT4_FS_SECURITY=y
82 CONFIG_FB_CFB_COPYAREA=y
83 CONFIG_FB_CFB_FILLRECT=y
84 CONFIG_FB_CFB_IMAGEBLIT=y
85 # CONFIG_FB_WMT_GE_ROPS is not set
86 CONFIG_FIRMWARE_IN_KERNEL=y
87 # CONFIG_FONTS is not set
90 # CONFIG_FPE_FASTFPE is not set
91 # CONFIG_FPE_NWFPE is not set
92 CONFIG_FRAMEBUFFER_CONSOLE=y
93 # CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY is not set
94 # CONFIG_FRAMEBUFFER_CONSOLE_ROTATION is not set
99 CONFIG_GENERIC_ATOMIC64=y
101 CONFIG_GENERIC_CLOCKEVENTS=y
102 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
103 CONFIG_GENERIC_GPIO=y
104 CONFIG_GENERIC_IRQ_SHOW=y
105 CONFIG_GENERIC_PCI_IOMAP=y
108 # CONFIG_HAMRADIO is not set
109 CONFIG_HARDIRQS_SW_RESEND=y
114 CONFIG_HAVE_ARCH_KGDB=y
115 CONFIG_HAVE_ARCH_PFN_VALID=y
117 CONFIG_HAVE_C_RECORDMCOUNT=y
118 CONFIG_HAVE_DMA_API_DEBUG=y
119 CONFIG_HAVE_DYNAMIC_FTRACE=y
120 CONFIG_HAVE_FTRACE_MCOUNT_RECORD=y
121 CONFIG_HAVE_FUNCTION_GRAPH_TRACER=y
122 CONFIG_HAVE_FUNCTION_TRACER=y
123 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
124 CONFIG_HAVE_GENERIC_HARDIRQS=y
125 CONFIG_HAVE_IRQ_WORK=y
126 CONFIG_HAVE_KERNEL_GZIP=y
127 CONFIG_HAVE_KERNEL_LZMA=y
128 CONFIG_HAVE_KERNEL_LZO=y
129 CONFIG_HAVE_KERNEL_XZ=y
130 CONFIG_HAVE_LATENCYTOP_SUPPORT=y
131 CONFIG_HAVE_MEMBLOCK=y
132 CONFIG_HAVE_OPROFILE=y
133 CONFIG_HAVE_PERF_EVENTS=y
134 CONFIG_HAVE_PROC_CPU=y
135 CONFIG_HAVE_REGS_AND_STACK_ACCESS_API=y
136 CONFIG_HAVE_SPARSE_IRQ=y
139 CONFIG_IKCONFIG_PROC=y
141 CONFIG_INPUT_MOUSEDEV=y
142 # CONFIG_INPUT_MOUSEDEV_PSAUX is not set
143 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
144 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
148 # CONFIG_KERNEL_XZ is not set
149 CONFIG_KTIME_SCALAR=y
150 # CONFIG_LCD_AMS369FG06 is not set
151 # CONFIG_LCD_L4F00242T03 is not set
152 # CONFIG_LCD_LD9040 is not set
153 # CONFIG_LCD_LMS283GF05 is not set
154 # CONFIG_LCD_LTV350QV is not set
155 # CONFIG_LCD_PLATFORM is not set
156 # CONFIG_LCD_S6E63M0 is not set
157 # CONFIG_LCD_TDO24M is not set
158 # CONFIG_LCD_VGG2432A4 is not set
160 # CONFIG_LEDS_TRIGGER_DEFAULT_ON is not set
161 # CONFIG_LEDS_TRIGGER_TIMER is not set
163 CONFIG_LOGO_LINUX_CLUT224=y
164 # CONFIG_LOGO_LINUX_MONO is not set
165 # CONFIG_LOGO_LINUX_VGA16 is not set
166 CONFIG_MACH_BCM2708=y
167 CONFIG_MAC_PARTITION=y
169 CONFIG_MAX_RAW_DEVS=256
171 # CONFIG_MMC_BCM2708 is not set
174 CONFIG_MMC_SDHCI_BCM2708=y
175 CONFIG_MMC_SDHCI_BCM2708_DMA=y
176 CONFIG_MMC_SDHCI_IO_ACCESSORS=y
177 CONFIG_MMC_SDHCI_PLTFM=y
178 # CONFIG_MTD is not set
179 CONFIG_NEED_DMA_MAP_STATE=y
180 CONFIG_NEED_MACH_MEMORY_H=y
181 CONFIG_NEED_PER_CPU_KM=y
184 CONFIG_NLS_DEFAULT="utf8"
187 CONFIG_PAGEFLAGS_EXTENDED=y
188 CONFIG_PAGE_OFFSET=0xC0000000
189 # CONFIG_PCI_SYSCALL is not set
190 # CONFIG_PDA_POWER is not set
191 CONFIG_PERF_USE_VMALLOC=y
194 # CONFIG_PM_DEBUG is not set
196 CONFIG_POWER_SUPPLY=y
197 # CONFIG_PREEMPT_RCU is not set
199 CONFIG_PROC_PAGE_MONITOR=y
201 # CONFIG_RTL8192CU is not set
203 # CONFIG_SCSI_LOWLEVEL is not set
204 # CONFIG_SCSI_PROC_FS is not set
205 # CONFIG_SENSORS_BCM2835 is not set
206 # CONFIG_SERIAL_8250 is not set
207 # CONFIG_SERIAL_AMBA_PL010 is not set
208 CONFIG_SERIAL_AMBA_PL011=y
209 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
210 # CONFIG_SND_BCM2708_SOC_I2S is not set
211 # CONFIG_SQUASHFS is not set
212 # CONFIG_STAGING is not set
213 # CONFIG_STRIP_ASM_SYMS is not set
215 CONFIG_SUSPEND_FREEZER=y
216 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
217 # CONFIG_TEXTSEARCH is not set
218 CONFIG_TMPFS_POSIX_ACL=y
219 CONFIG_UEVENT_HELPER_PATH=""
220 # CONFIG_UID16 is not set
222 CONFIG_USB_ANNOUNCE_NEW_DEVICES=y
223 # CONFIG_USB_ARCH_HAS_EHCI is not set
224 # CONFIG_USB_ARCH_HAS_OHCI is not set
225 # CONFIG_USB_ARCH_HAS_XHCI is not set
227 # CONFIG_USB_DEVICEFS is not set
228 CONFIG_USB_DEVICE_CLASS=y
230 CONFIG_USB_LIBUSUAL=y
231 CONFIG_USB_NET_SMSC95XX=y
236 CONFIG_VECTORS_BASE=0xffff0000
238 # CONFIG_VIDEO_BCM2835 is not set
241 CONFIG_VT_CONSOLE_SLEEP=y
242 CONFIG_VT_HW_CONSOLE_BINDING=y
245 CONFIG_ZBOOT_ROM_BSS=0x0
246 CONFIG_ZBOOT_ROM_TEXT=0x0
247 CONFIG_ZONE_DMA_FLAG=0