| blob | 56bda7c6d670f37620a704071ee4a5c5ad7396b2 |
1 #
2 # Automatically generated make config: don't edit
3 # Linux kernel version: 2.6.27-rc8-git8
4 # Sat Nov 15 10:05:00 2008
5 #
6 CONFIG_ARM=y
7 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
8 # CONFIG_GENERIC_GPIO is not set
9 # CONFIG_GENERIC_TIME is not set
10 # CONFIG_GENERIC_CLOCKEVENTS is not set
11 CONFIG_MMU=y
12 # CONFIG_NO_IOPORT is not set
13 CONFIG_GENERIC_HARDIRQS=y
14 CONFIG_STACKTRACE_SUPPORT=y
15 CONFIG_HAVE_LATENCYTOP_SUPPORT=y
16 CONFIG_LOCKDEP_SUPPORT=y
17 CONFIG_TRACE_IRQFLAGS_SUPPORT=y
18 CONFIG_HARDIRQS_SW_RESEND=y
19 CONFIG_GENERIC_IRQ_PROBE=y
20 CONFIG_RWSEM_GENERIC_SPINLOCK=y
21 # CONFIG_ARCH_HAS_ILOG2_U32 is not set
22 # CONFIG_ARCH_HAS_ILOG2_U64 is not set
23 CONFIG_GENERIC_HWEIGHT=y
24 CONFIG_GENERIC_CALIBRATE_DELAY=y
25 CONFIG_ARCH_SUPPORTS_AOUT=y
26 CONFIG_ZONE_DMA=y
27 CONFIG_GENERIC_HARDIRQS_NO__DO_IRQ=y
28 CONFIG_VECTORS_BASE=0xffff0000
29 CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config"
31 #
32 # General setup
33 #
34 CONFIG_EXPERIMENTAL=y
35 CONFIG_BROKEN_ON_SMP=y
36 CONFIG_LOCK_KERNEL=y
37 CONFIG_INIT_ENV_ARG_LIMIT=32
38 CONFIG_LOCALVERSION=""
39 # CONFIG_LOCALVERSION_AUTO is not set
40 CONFIG_SWAP=y
41 CONFIG_SYSVIPC=y
42 CONFIG_SYSVIPC_SYSCTL=y
43 CONFIG_BSD_PROCESS_ACCT=y
44 # CONFIG_BSD_PROCESS_ACCT_V3 is not set
45 # CONFIG_IKCONFIG is not set
46 CONFIG_LOG_BUF_SHIFT=17
47 # CONFIG_CGROUPS is not set
48 # CONFIG_GROUP_SCHED is not set
49 CONFIG_SYSFS_DEPRECATED=y
50 CONFIG_SYSFS_DEPRECATED_V2=y
51 CONFIG_RELAY=y
52 CONFIG_NAMESPACES=y
53 # CONFIG_UTS_NS is not set
54 # CONFIG_IPC_NS is not set
55 CONFIG_USER_NS=y
56 # CONFIG_PID_NS is not set
57 CONFIG_BLK_DEV_INITRD=y
58 CONFIG_INITRAMFS_SOURCE=""
59 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
60 CONFIG_SYSCTL=y
61 # CONFIG_EMBEDDED is not set
62 CONFIG_UID16=y
63 CONFIG_SYSCTL_SYSCALL=y
64 CONFIG_KALLSYMS=y
65 CONFIG_KALLSYMS_EXTRA_PASS=y
66 CONFIG_HOTPLUG=y
67 CONFIG_PRINTK=y
68 CONFIG_BUG=y
69 CONFIG_ELF_CORE=y
70 CONFIG_COMPAT_BRK=y
71 CONFIG_BASE_FULL=y
72 CONFIG_FUTEX=y
73 CONFIG_ANON_INODES=y
74 CONFIG_EPOLL=y
75 CONFIG_SIGNALFD=y
76 CONFIG_TIMERFD=y
77 CONFIG_EVENTFD=y
78 CONFIG_SHMEM=y
79 CONFIG_VM_EVENT_COUNTERS=y
80 CONFIG_SLAB=y
81 # CONFIG_SLUB is not set
82 # CONFIG_SLOB is not set
83 # CONFIG_PROFILING is not set
84 # CONFIG_MARKERS is not set
85 CONFIG_HAVE_OPROFILE=y
86 # CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS is not set
87 # CONFIG_HAVE_IOREMAP_PROT is not set
88 CONFIG_HAVE_KPROBES=y
89 CONFIG_HAVE_KRETPROBES=y
90 # CONFIG_HAVE_ARCH_TRACEHOOK is not set
91 # CONFIG_HAVE_DMA_ATTRS is not set
92 # CONFIG_USE_GENERIC_SMP_HELPERS is not set
93 # CONFIG_HAVE_CLK is not set
94 CONFIG_PROC_PAGE_MONITOR=y
95 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
96 CONFIG_SLABINFO=y
97 CONFIG_RT_MUTEXES=y
98 # CONFIG_TINY_SHMEM is not set
99 CONFIG_BASE_SMALL=0
100 # CONFIG_MODULES is not set
101 CONFIG_BLOCK=y
102 CONFIG_LBD=y
103 CONFIG_BLK_DEV_IO_TRACE=y
104 CONFIG_LSF=y
105 CONFIG_BLK_DEV_BSG=y
106 # CONFIG_BLK_DEV_INTEGRITY is not set
108 #
109 # IO Schedulers
110 #
111 CONFIG_IOSCHED_NOOP=y
112 CONFIG_IOSCHED_AS=y
113 CONFIG_IOSCHED_DEADLINE=y
114 CONFIG_IOSCHED_CFQ=y
115 # CONFIG_DEFAULT_AS is not set
116 # CONFIG_DEFAULT_DEADLINE is not set
117 CONFIG_DEFAULT_CFQ=y
118 # CONFIG_DEFAULT_NOOP is not set
119 CONFIG_DEFAULT_IOSCHED="cfq"
120 CONFIG_CLASSIC_RCU=y
122 #
123 # System Type
124 #
125 # CONFIG_ARCH_AAEC2000 is not set
126 # CONFIG_ARCH_INTEGRATOR is not set
127 # CONFIG_ARCH_REALVIEW is not set
128 # CONFIG_ARCH_VERSATILE is not set
129 # CONFIG_ARCH_AT91 is not set
130 # CONFIG_ARCH_CLPS7500 is not set
131 # CONFIG_ARCH_CLPS711X is not set
132 # CONFIG_ARCH_EBSA110 is not set
133 # CONFIG_ARCH_EP93XX is not set
134 # CONFIG_ARCH_FOOTBRIDGE is not set
135 # CONFIG_ARCH_NETX is not set
136 # CONFIG_ARCH_H720X is not set
137 # CONFIG_ARCH_IMX is not set
138 # CONFIG_ARCH_IOP13XX is not set
139 # CONFIG_ARCH_IOP32X is not set
140 # CONFIG_ARCH_IOP33X is not set
141 # CONFIG_ARCH_IXP23XX is not set
142 # CONFIG_ARCH_IXP2000 is not set
143 # CONFIG_ARCH_IXP4XX is not set
144 # CONFIG_ARCH_L7200 is not set
145 # CONFIG_ARCH_KIRKWOOD is not set
146 # CONFIG_ARCH_KS8695 is not set
147 # CONFIG_ARCH_NS9XXX is not set
148 # CONFIG_ARCH_LOKI is not set
149 # CONFIG_ARCH_MV78XX0 is not set
150 # CONFIG_ARCH_MXC is not set
151 # CONFIG_ARCH_ORION5X is not set
152 # CONFIG_ARCH_PNX4008 is not set
153 # CONFIG_ARCH_PXA is not set
154 # CONFIG_ARCH_RPC is not set
155 # CONFIG_ARCH_SA1100 is not set
156 # CONFIG_ARCH_S3C2410 is not set
157 # CONFIG_ARCH_SHARK is not set
158 # CONFIG_ARCH_LH7A40X is not set
159 # CONFIG_ARCH_DAVINCI is not set
160 # CONFIG_ARCH_OMAP is not set
161 # CONFIG_ARCH_MSM7X00A is not set
162 CONFIG_ARCH_W90X900=y
164 #
165 # Boot options
166 #
168 #
169 # Power management
170 #
171 CONFIG_CPU_W90P910=y
173 #
174 # W90P910 Machines
175 #
176 CONFIG_MACH_W90P910EVB=y
178 #
179 # Processor Type
180 #
181 CONFIG_CPU_32=y
182 CONFIG_CPU_ARM926T=y
183 CONFIG_CPU_32v5=y
184 CONFIG_CPU_ABRT_EV5TJ=y
185 CONFIG_CPU_PABRT_NOIFAR=y
186 CONFIG_CPU_CACHE_VIVT=y
187 CONFIG_CPU_COPY_V4WB=y
188 CONFIG_CPU_TLB_V4WBI=y
189 CONFIG_CPU_CP15=y
190 CONFIG_CPU_CP15_MMU=y
192 #
193 # Processor Features
194 #
195 CONFIG_ARM_THUMB=y
196 # CONFIG_CPU_ICACHE_DISABLE is not set
197 # CONFIG_CPU_DCACHE_DISABLE is not set
198 # CONFIG_CPU_DCACHE_WRITETHROUGH is not set
199 # CONFIG_CPU_CACHE_ROUND_ROBIN is not set
200 # CONFIG_OUTER_CACHE is not set
202 #
203 # Bus support
204 #
205 # CONFIG_PCI_SYSCALL is not set
206 # CONFIG_ARCH_SUPPORTS_MSI is not set
207 # CONFIG_PCCARD is not set
209 #
210 # Kernel Features
211 #
212 # CONFIG_TICK_ONESHOT is not set
213 CONFIG_PREEMPT=y
214 CONFIG_HZ=100
215 CONFIG_AEABI=y
216 CONFIG_OABI_COMPAT=y
217 CONFIG_ARCH_FLATMEM_HAS_HOLES=y
218 # CONFIG_ARCH_DISCONTIGMEM_ENABLE is not set
219 CONFIG_SELECT_MEMORY_MODEL=y
220 CONFIG_FLATMEM_MANUAL=y
221 # CONFIG_DISCONTIGMEM_MANUAL is not set
222 # CONFIG_SPARSEMEM_MANUAL is not set
223 CONFIG_FLATMEM=y
224 CONFIG_FLAT_NODE_MEM_MAP=y
225 # CONFIG_SPARSEMEM_STATIC is not set
226 # CONFIG_SPARSEMEM_VMEMMAP_ENABLE is not set
227 CONFIG_PAGEFLAGS_EXTENDED=y
228 CONFIG_SPLIT_PTLOCK_CPUS=4096
229 # CONFIG_RESOURCES_64BIT is not set
230 CONFIG_ZONE_DMA_FLAG=1
231 CONFIG_BOUNCE=y
232 CONFIG_VIRT_TO_BUS=y
233 CONFIG_ALIGNMENT_TRAP=y
235 #
236 # Boot options
237 #
238 CONFIG_ZBOOT_ROM_TEXT=0
239 CONFIG_ZBOOT_ROM_BSS=0
240 CONFIG_CMDLINE="root=/dev/ram0 console=ttyS0,115200n8 initrd=0xa00000,4000000 mem=64M"
241 # CONFIG_XIP_KERNEL is not set
242 CONFIG_KEXEC=y
243 CONFIG_ATAGS_PROC=y
245 #
246 # Floating point emulation
247 #
249 #
250 # At least one emulation must be selected
251 #
252 CONFIG_FPE_NWFPE=y
253 # CONFIG_FPE_NWFPE_XP is not set
254 # CONFIG_FPE_FASTFPE is not set
255 # CONFIG_VFP is not set
257 #
258 # Userspace binary formats
259 #
260 CONFIG_BINFMT_ELF=y
261 # CONFIG_BINFMT_AOUT is not set
262 # CONFIG_BINFMT_MISC is not set
264 #
265 # Power management options
266 #
267 # CONFIG_PM is not set
268 CONFIG_ARCH_SUSPEND_POSSIBLE=y
269 # CONFIG_NET is not set
271 #
272 # Device Drivers
273 #
275 #
276 # Generic Driver Options
277 #
278 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
279 CONFIG_STANDALONE=y
280 CONFIG_PREVENT_FIRMWARE_BUILD=y
281 CONFIG_FW_LOADER=y
282 CONFIG_FIRMWARE_IN_KERNEL=y
283 CONFIG_EXTRA_FIRMWARE=""
284 # CONFIG_SYS_HYPERVISOR is not set
285 # CONFIG_MTD is not set
286 # CONFIG_PARPORT is not set
287 CONFIG_BLK_DEV=y
288 # CONFIG_BLK_DEV_COW_COMMON is not set
289 # CONFIG_BLK_DEV_LOOP is not set
290 CONFIG_BLK_DEV_RAM=y
291 CONFIG_BLK_DEV_RAM_COUNT=16
292 CONFIG_BLK_DEV_RAM_SIZE=16384
293 # CONFIG_BLK_DEV_XIP is not set
294 # CONFIG_CDROM_PKTCDVD is not set
295 # CONFIG_MISC_DEVICES is not set
296 CONFIG_HAVE_IDE=y
297 # CONFIG_IDE is not set
299 #
300 # SCSI device support
301 #
302 # CONFIG_RAID_ATTRS is not set
303 # CONFIG_SCSI is not set
304 # CONFIG_SCSI_DMA is not set
305 # CONFIG_SCSI_NETLINK is not set
306 # CONFIG_ATA is not set
307 # CONFIG_MD is not set
309 #
310 # Input device support
311 #
312 CONFIG_INPUT=y
313 # CONFIG_INPUT_FF_MEMLESS is not set
314 # CONFIG_INPUT_POLLDEV is not set
316 #
317 # Userland interfaces
318 #
319 CONFIG_INPUT_MOUSEDEV=y
320 # CONFIG_INPUT_MOUSEDEV_PSAUX is not set
321 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
322 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
323 # CONFIG_INPUT_JOYDEV is not set
324 # CONFIG_INPUT_EVDEV is not set
325 # CONFIG_INPUT_EVBUG is not set
327 #
328 # Input Device Drivers
329 #
330 # CONFIG_INPUT_KEYBOARD is not set
331 # CONFIG_INPUT_MOUSE is not set
332 # CONFIG_INPUT_JOYSTICK is not set
333 # CONFIG_INPUT_TABLET is not set
334 # CONFIG_INPUT_TOUCHSCREEN is not set
335 # CONFIG_INPUT_MISC is not set
337 #
338 # Hardware I/O ports
339 #
340 # CONFIG_SERIO is not set
341 # CONFIG_GAMEPORT is not set
343 #
344 # Character devices
345 #
346 CONFIG_VT=y
347 CONFIG_CONSOLE_TRANSLATIONS=y
348 CONFIG_VT_CONSOLE=y
349 CONFIG_HW_CONSOLE=y
350 # CONFIG_VT_HW_CONSOLE_BINDING is not set
351 # CONFIG_DEVKMEM is not set
352 # CONFIG_SERIAL_NONSTANDARD is not set
354 #
355 # Serial drivers
356 #
357 # CONFIG_SERIAL_8250 is not set
359 #
360 # Non-8250 serial port support
361 #
362 CONFIG_SERIAL_W90X900=y
363 # CONFIG_SERIAL_W90X900_PORT1 is not set
364 # CONFIG_SERIAL_W90X900_PORT2 is not set
365 # CONFIG_SERIAL_W90X900_PORT3 is not set
366 # CONFIG_SERIAL_W90X900_PORT4 is not set
367 CONFIG_SERIAL_W90X900_CONSOLE=y
368 CONFIG_SERIAL_CORE=y
369 CONFIG_SERIAL_CORE_CONSOLE=y
370 CONFIG_UNIX98_PTYS=y
371 # CONFIG_LEGACY_PTYS is not set
372 # CONFIG_IPMI_HANDLER is not set
373 # CONFIG_HW_RANDOM is not set
374 # CONFIG_NVRAM is not set
375 # CONFIG_R3964 is not set
376 # CONFIG_RAW_DRIVER is not set
377 # CONFIG_TCG_TPM is not set
378 # CONFIG_I2C is not set
379 # CONFIG_SPI is not set
380 # CONFIG_W1 is not set
381 # CONFIG_POWER_SUPPLY is not set
382 # CONFIG_HWMON is not set
383 # CONFIG_WATCHDOG is not set
385 #
386 # Sonics Silicon Backplane
387 #
388 CONFIG_SSB_POSSIBLE=y
389 # CONFIG_SSB is not set
391 #
392 # Multifunction device drivers
393 #
394 # CONFIG_MFD_CORE is not set
395 # CONFIG_MFD_SM501 is not set
396 # CONFIG_HTC_PASIC3 is not set
397 # CONFIG_MFD_TMIO is not set
398 # CONFIG_MFD_T7L66XB is not set
399 # CONFIG_MFD_TC6387XB is not set
401 #
402 # Multimedia devices
403 #
405 #
406 # Multimedia core support
407 #
408 # CONFIG_VIDEO_DEV is not set
409 # CONFIG_VIDEO_MEDIA is not set
411 #
412 # Multimedia drivers
413 #
414 # CONFIG_DAB is not set
416 #
417 # Graphics support
418 #
419 # CONFIG_VGASTATE is not set
420 # CONFIG_VIDEO_OUTPUT_CONTROL is not set
421 # CONFIG_FB is not set
422 # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
424 #
425 # Display device support
426 #
427 # CONFIG_DISPLAY_SUPPORT is not set
429 #
430 # Console display driver support
431 #
432 # CONFIG_VGA_CONSOLE is not set
433 CONFIG_DUMMY_CONSOLE=y
434 # CONFIG_SOUND is not set
435 # CONFIG_HID_SUPPORT is not set
436 # CONFIG_USB_SUPPORT is not set
437 # CONFIG_MMC is not set
438 # CONFIG_NEW_LEDS is not set
439 CONFIG_RTC_LIB=y
440 # CONFIG_RTC_CLASS is not set
441 # CONFIG_DMADEVICES is not set
443 #
444 # Voltage and Current regulators
445 #
446 # CONFIG_REGULATOR is not set
447 # CONFIG_REGULATOR_FIXED_VOLTAGE is not set
448 # CONFIG_REGULATOR_VIRTUAL_CONSUMER is not set
449 # CONFIG_REGULATOR_BQ24022 is not set
450 # CONFIG_UIO is not set
452 #
453 # File systems
454 #
455 # CONFIG_EXT2_FS is not set
456 # CONFIG_EXT3_FS is not set
457 # CONFIG_EXT4DEV_FS is not set
458 # CONFIG_REISERFS_FS is not set
459 # CONFIG_JFS_FS is not set
460 CONFIG_FS_POSIX_ACL=y
461 # CONFIG_XFS_FS is not set
462 # CONFIG_GFS2_FS is not set
463 # CONFIG_DNOTIFY is not set
464 # CONFIG_INOTIFY is not set
465 # CONFIG_QUOTA is not set
466 # CONFIG_AUTOFS_FS is not set
467 # CONFIG_AUTOFS4_FS is not set
468 # CONFIG_FUSE_FS is not set
469 CONFIG_GENERIC_ACL=y
471 #
472 # CD-ROM/DVD Filesystems
473 #
474 # CONFIG_ISO9660_FS is not set
475 # CONFIG_UDF_FS is not set
477 #
478 # DOS/FAT/NT Filesystems
479 #
480 # CONFIG_MSDOS_FS is not set
481 # CONFIG_VFAT_FS is not set
482 # CONFIG_NTFS_FS is not set
484 #
485 # Pseudo filesystems
486 #
487 CONFIG_PROC_FS=y
488 CONFIG_PROC_SYSCTL=y
489 CONFIG_SYSFS=y
490 CONFIG_TMPFS=y
491 CONFIG_TMPFS_POSIX_ACL=y
492 # CONFIG_HUGETLB_PAGE is not set
493 # CONFIG_CONFIGFS_FS is not set
495 #
496 # Miscellaneous filesystems
497 #
498 # CONFIG_ADFS_FS is not set
499 # CONFIG_AFFS_FS is not set
500 # CONFIG_HFS_FS is not set
501 # CONFIG_HFSPLUS_FS is not set
502 # CONFIG_BEFS_FS is not set
503 # CONFIG_BFS_FS is not set
504 # CONFIG_EFS_FS is not set
505 # CONFIG_CRAMFS is not set
506 # CONFIG_VXFS_FS is not set
507 # CONFIG_MINIX_FS is not set
508 # CONFIG_OMFS_FS is not set
509 # CONFIG_HPFS_FS is not set
510 # CONFIG_QNX4FS_FS is not set
511 CONFIG_ROMFS_FS=y
512 # CONFIG_SYSV_FS is not set
513 # CONFIG_UFS_FS is not set
515 #
516 # Partition Types
517 #
518 CONFIG_PARTITION_ADVANCED=y
519 # CONFIG_ACORN_PARTITION is not set
520 # CONFIG_OSF_PARTITION is not set
521 # CONFIG_AMIGA_PARTITION is not set
522 # CONFIG_ATARI_PARTITION is not set
523 # CONFIG_MAC_PARTITION is not set
524 CONFIG_MSDOS_PARTITION=y
525 # CONFIG_BSD_DISKLABEL is not set
526 # CONFIG_MINIX_SUBPARTITION is not set
527 # CONFIG_SOLARIS_X86_PARTITION is not set
528 # CONFIG_UNIXWARE_DISKLABEL is not set
529 # CONFIG_LDM_PARTITION is not set
530 # CONFIG_SGI_PARTITION is not set
531 # CONFIG_ULTRIX_PARTITION is not set
532 # CONFIG_SUN_PARTITION is not set
533 # CONFIG_KARMA_PARTITION is not set
534 # CONFIG_EFI_PARTITION is not set
535 # CONFIG_SYSV68_PARTITION is not set
536 CONFIG_NLS=y
537 CONFIG_NLS_DEFAULT="iso8859-1"
538 CONFIG_NLS_CODEPAGE_437=y
539 # CONFIG_NLS_CODEPAGE_737 is not set
540 # CONFIG_NLS_CODEPAGE_775 is not set
541 # CONFIG_NLS_CODEPAGE_850 is not set
542 # CONFIG_NLS_CODEPAGE_852 is not set
543 # CONFIG_NLS_CODEPAGE_855 is not set
544 # CONFIG_NLS_CODEPAGE_857 is not set
545 # CONFIG_NLS_CODEPAGE_860 is not set
546 # CONFIG_NLS_CODEPAGE_861 is not set
547 # CONFIG_NLS_CODEPAGE_862 is not set
548 # CONFIG_NLS_CODEPAGE_863 is not set
549 # CONFIG_NLS_CODEPAGE_864 is not set
550 # CONFIG_NLS_CODEPAGE_865 is not set
551 # CONFIG_NLS_CODEPAGE_866 is not set
552 # CONFIG_NLS_CODEPAGE_869 is not set
553 # CONFIG_NLS_CODEPAGE_936 is not set
554 # CONFIG_NLS_CODEPAGE_950 is not set
555 # CONFIG_NLS_CODEPAGE_932 is not set
556 # CONFIG_NLS_CODEPAGE_949 is not set
557 # CONFIG_NLS_CODEPAGE_874 is not set
558 # CONFIG_NLS_ISO8859_8 is not set
559 # CONFIG_NLS_CODEPAGE_1250 is not set
560 # CONFIG_NLS_CODEPAGE_1251 is not set
561 # CONFIG_NLS_ASCII is not set
562 CONFIG_NLS_ISO8859_1=y
563 # CONFIG_NLS_ISO8859_2 is not set
564 # CONFIG_NLS_ISO8859_3 is not set
565 # CONFIG_NLS_ISO8859_4 is not set
566 # CONFIG_NLS_ISO8859_5 is not set
567 # CONFIG_NLS_ISO8859_6 is not set
568 # CONFIG_NLS_ISO8859_7 is not set
569 # CONFIG_NLS_ISO8859_9 is not set
570 # CONFIG_NLS_ISO8859_13 is not set
571 # CONFIG_NLS_ISO8859_14 is not set
572 # CONFIG_NLS_ISO8859_15 is not set
573 # CONFIG_NLS_KOI8_R is not set
574 # CONFIG_NLS_KOI8_U is not set
575 # CONFIG_NLS_UTF8 is not set
577 #
578 # Kernel hacking
579 #
580 # CONFIG_PRINTK_TIME is not set
581 # CONFIG_ENABLE_WARN_DEPRECATED is not set
582 # CONFIG_ENABLE_MUST_CHECK is not set
583 CONFIG_FRAME_WARN=1024
584 # CONFIG_MAGIC_SYSRQ is not set
585 # CONFIG_UNUSED_SYMBOLS is not set
586 CONFIG_DEBUG_FS=y
587 # CONFIG_HEADERS_CHECK is not set
588 # CONFIG_DEBUG_KERNEL is not set
589 CONFIG_DEBUG_BUGVERBOSE=y
590 CONFIG_DEBUG_MEMORY_INIT=y
591 CONFIG_FRAME_POINTER=y
592 # CONFIG_LATENCYTOP is not set
593 # CONFIG_SYSCTL_SYSCALL_CHECK is not set
594 CONFIG_HAVE_FTRACE=y
595 CONFIG_HAVE_DYNAMIC_FTRACE=y
596 # CONFIG_FTRACE is not set
597 # CONFIG_SCHED_TRACER is not set
598 # CONFIG_CONTEXT_SWITCH_TRACER is not set
599 # CONFIG_SAMPLES is not set
600 CONFIG_HAVE_ARCH_KGDB=y
601 # CONFIG_DEBUG_USER is not set
603 #
604 # Security options
605 #
606 # CONFIG_KEYS is not set
607 # CONFIG_SECURITY is not set
608 # CONFIG_SECURITY_FILE_CAPABILITIES is not set
609 # CONFIG_CRYPTO is not set
611 #
612 # Library routines
613 #
614 # CONFIG_GENERIC_FIND_FIRST_BIT is not set
615 # CONFIG_GENERIC_FIND_NEXT_BIT is not set
616 # CONFIG_CRC_CCITT is not set
617 # CONFIG_CRC16 is not set
618 # CONFIG_CRC_T10DIF is not set
619 # CONFIG_CRC_ITU_T is not set
620 # CONFIG_CRC32 is not set
621 # CONFIG_CRC7 is not set
622 # CONFIG_LIBCRC32C is not set
623 CONFIG_PLIST=y
624 CONFIG_HAS_IOMEM=y
625 CONFIG_HAS_IOPORT=y
626 CONFIG_HAS_DMA=y