2 # Automatically generated make config: don't edit
3 # Linux kernel version: 2.6.23-rc9
4 # Thu Oct 11 09:16:32 2007
6 # CONFIG_PPC64 is not set
11 # CONFIG_6xx is not set
13 # CONFIG_PPC_8xx is not set
14 # CONFIG_40x is not set
15 # CONFIG_44x is not set
16 # CONFIG_E200 is not set
21 # CONFIG_PHYS_64BIT is not set
23 # CONFIG_PPC_MM_SLICES is not set
28 CONFIG_GENERIC_CMOS_UPDATE=y
30 CONFIG_GENERIC_TIME_VSYSCALL=y
31 CONFIG_GENERIC_CLOCKEVENTS=y
32 CONFIG_GENERIC_HARDIRQS=y
34 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
35 CONFIG_ARCH_HAS_ILOG2_U32=y
36 CONFIG_GENERIC_HWEIGHT=y
37 CONFIG_GENERIC_CALIBRATE_DELAY=y
38 CONFIG_GENERIC_FIND_NEXT_BIT=y
39 # CONFIG_ARCH_NO_VIRT_TO_BUS is not set
42 CONFIG_GENERIC_NVRAM=y
43 CONFIG_SCHED_NO_NO_OMIT_FRAME_POINTER=y
44 CONFIG_ARCH_MAY_HAVE_PC_FDC=y
47 CONFIG_PPC_UDBG_16550=y
48 # CONFIG_GENERIC_TBSYNC is not set
51 CONFIG_DEFAULT_UIMAGE=y
52 # CONFIG_PPC_DCR_NATIVE is not set
53 # CONFIG_PPC_DCR_MMIO is not set
54 CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config"
60 CONFIG_BROKEN_ON_SMP=y
61 CONFIG_INIT_ENV_ARG_LIMIT=32
62 CONFIG_LOCALVERSION=""
63 CONFIG_LOCALVERSION_AUTO=y
66 CONFIG_SYSVIPC_SYSCTL=y
67 # CONFIG_POSIX_MQUEUE is not set
68 # CONFIG_BSD_PROCESS_ACCT is not set
69 # CONFIG_TASKSTATS is not set
70 # CONFIG_USER_NS is not set
71 # CONFIG_AUDIT is not set
72 # CONFIG_IKCONFIG is not set
73 CONFIG_LOG_BUF_SHIFT=14
74 CONFIG_SYSFS_DEPRECATED=y
75 # CONFIG_RELAY is not set
76 CONFIG_BLK_DEV_INITRD=y
77 CONFIG_INITRAMFS_SOURCE=""
78 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
81 CONFIG_SYSCTL_SYSCALL=y
83 # CONFIG_KALLSYMS_ALL is not set
84 # CONFIG_KALLSYMS_EXTRA_PASS is not set
96 CONFIG_VM_EVENT_COUNTERS=y
98 # CONFIG_SLUB is not set
99 # CONFIG_SLOB is not set
101 # CONFIG_TINY_SHMEM is not set
103 # CONFIG_MODULES is not set
105 # CONFIG_LBD is not set
106 # CONFIG_BLK_DEV_IO_TRACE is not set
107 # CONFIG_LSF is not set
108 # CONFIG_BLK_DEV_BSG is not set
113 CONFIG_IOSCHED_NOOP=y
115 CONFIG_IOSCHED_DEADLINE=y
118 # CONFIG_DEFAULT_DEADLINE is not set
119 # CONFIG_DEFAULT_CFQ is not set
120 # CONFIG_DEFAULT_NOOP is not set
121 CONFIG_DEFAULT_IOSCHED="anticipatory"
126 # CONFIG_PPC_MPC52xx is not set
127 # CONFIG_PPC_MPC5200 is not set
128 # CONFIG_PPC_CELL is not set
129 # CONFIG_PPC_CELL_NATIVE is not set
130 # CONFIG_PQ2ADS is not set
131 # CONFIG_MPC8540_ADS is not set
133 # CONFIG_MPC85xx_CDS is not set
134 # CONFIG_MPC85xx_MDS is not set
135 # CONFIG_MPC85xx_DS is not set
139 # CONFIG_MPIC_WEIRD is not set
140 # CONFIG_PPC_I8259 is not set
141 # CONFIG_PPC_RTAS is not set
142 # CONFIG_MMIO_NVRAM is not set
143 # CONFIG_PPC_MPC106 is not set
144 # CONFIG_PPC_970_NAP is not set
145 # CONFIG_PPC_INDIRECT_IO is not set
146 # CONFIG_GENERIC_IOMAP is not set
147 # CONFIG_CPU_FREQ is not set
149 CONFIG_PPC_CPM_NEW_BINDING=y
150 # CONFIG_FSL_ULI1575 is not set
156 # CONFIG_HIGHMEM is not set
157 # CONFIG_TICK_ONESHOT is not set
158 # CONFIG_NO_HZ is not set
159 # CONFIG_HIGH_RES_TIMERS is not set
160 # CONFIG_HZ_100 is not set
162 # CONFIG_HZ_300 is not set
163 # CONFIG_HZ_1000 is not set
165 CONFIG_PREEMPT_NONE=y
166 # CONFIG_PREEMPT_VOLUNTARY is not set
167 # CONFIG_PREEMPT is not set
170 CONFIG_MATH_EMULATION=y
171 CONFIG_ARCH_ENABLE_MEMORY_HOTPLUG=y
172 CONFIG_ARCH_FLATMEM_ENABLE=y
173 CONFIG_ARCH_POPULATES_NODE_MAP=y
174 CONFIG_SELECT_MEMORY_MODEL=y
175 CONFIG_FLATMEM_MANUAL=y
176 # CONFIG_DISCONTIGMEM_MANUAL is not set
177 # CONFIG_SPARSEMEM_MANUAL is not set
179 CONFIG_FLAT_NODE_MEM_MAP=y
180 # CONFIG_SPARSEMEM_STATIC is not set
181 CONFIG_SPLIT_PTLOCK_CPUS=4
182 # CONFIG_RESOURCES_64BIT is not set
183 CONFIG_ZONE_DMA_FLAG=1
186 # CONFIG_PROC_DEVICETREE is not set
187 # CONFIG_CMDLINE_BOOL is not set
188 # CONFIG_PM is not set
189 CONFIG_SUSPEND_UP_POSSIBLE=y
190 CONFIG_HIBERNATION_UP_POSSIBLE=y
191 # CONFIG_SECCOMP is not set
192 CONFIG_WANT_DEVICE_TREE=y
193 CONFIG_DEVICE_TREE=""
200 CONFIG_PPC_INDIRECT_PCI=y
206 # CONFIG_PCIEPORTBUS is not set
207 CONFIG_ARCH_SUPPORTS_MSI=y
208 # CONFIG_PCI_MSI is not set
212 # PCCARD (PCMCIA/CardBus) support
214 # CONFIG_PCCARD is not set
215 # CONFIG_HOTPLUG_PCI is not set
220 # CONFIG_ADVANCED_OPTIONS is not set
223 # Default settings for advanced configuration options are used
225 CONFIG_HIGHMEM_START=0xfe000000
226 CONFIG_LOWMEM_SIZE=0x30000000
227 CONFIG_KERNEL_START=0xc0000000
228 CONFIG_TASK_SIZE=0x80000000
229 CONFIG_BOOT_LOAD=0x00800000
240 # CONFIG_PACKET_MMAP is not set
243 # CONFIG_XFRM_USER is not set
244 # CONFIG_XFRM_SUB_POLICY is not set
245 # CONFIG_XFRM_MIGRATE is not set
246 # CONFIG_NET_KEY is not set
248 CONFIG_IP_MULTICAST=y
249 # CONFIG_IP_ADVANCED_ROUTER is not set
253 CONFIG_IP_PNP_BOOTP=y
254 # CONFIG_IP_PNP_RARP is not set
255 # CONFIG_NET_IPIP is not set
256 # CONFIG_NET_IPGRE is not set
257 # CONFIG_IP_MROUTE is not set
258 # CONFIG_ARPD is not set
260 # CONFIG_INET_AH is not set
261 # CONFIG_INET_ESP is not set
262 # CONFIG_INET_IPCOMP is not set
263 # CONFIG_INET_XFRM_TUNNEL is not set
264 # CONFIG_INET_TUNNEL is not set
265 CONFIG_INET_XFRM_MODE_TRANSPORT=y
266 CONFIG_INET_XFRM_MODE_TUNNEL=y
267 CONFIG_INET_XFRM_MODE_BEET=y
269 CONFIG_INET_TCP_DIAG=y
270 # CONFIG_TCP_CONG_ADVANCED is not set
271 CONFIG_TCP_CONG_CUBIC=y
272 CONFIG_DEFAULT_TCP_CONG="cubic"
273 # CONFIG_TCP_MD5SIG is not set
274 # CONFIG_IPV6 is not set
275 # CONFIG_INET6_XFRM_TUNNEL is not set
276 # CONFIG_INET6_TUNNEL is not set
277 # CONFIG_NETWORK_SECMARK is not set
278 # CONFIG_NETFILTER is not set
279 # CONFIG_IP_DCCP is not set
280 # CONFIG_IP_SCTP is not set
281 # CONFIG_TIPC is not set
282 # CONFIG_ATM is not set
283 # CONFIG_BRIDGE is not set
284 # CONFIG_VLAN_8021Q is not set
285 # CONFIG_DECNET is not set
286 # CONFIG_LLC2 is not set
287 # CONFIG_IPX is not set
288 # CONFIG_ATALK is not set
289 # CONFIG_X25 is not set
290 # CONFIG_LAPB is not set
291 # CONFIG_ECONET is not set
292 # CONFIG_WAN_ROUTER is not set
295 # QoS and/or fair queueing
297 # CONFIG_NET_SCHED is not set
302 # CONFIG_NET_PKTGEN is not set
303 # CONFIG_HAMRADIO is not set
304 # CONFIG_IRDA is not set
305 # CONFIG_BT is not set
306 # CONFIG_AF_RXRPC is not set
311 # CONFIG_CFG80211 is not set
312 # CONFIG_WIRELESS_EXT is not set
313 # CONFIG_MAC80211 is not set
314 # CONFIG_IEEE80211 is not set
315 # CONFIG_RFKILL is not set
316 # CONFIG_NET_9P is not set
323 # Generic Driver Options
326 CONFIG_PREVENT_FIRMWARE_BUILD=y
327 # CONFIG_FW_LOADER is not set
328 # CONFIG_DEBUG_DRIVER is not set
329 # CONFIG_DEBUG_DEVRES is not set
330 # CONFIG_SYS_HYPERVISOR is not set
331 # CONFIG_CONNECTOR is not set
332 # CONFIG_MTD is not set
334 # CONFIG_PARPORT is not set
336 # CONFIG_BLK_DEV_FD is not set
337 # CONFIG_BLK_CPQ_DA is not set
338 # CONFIG_BLK_CPQ_CISS_DA is not set
339 # CONFIG_BLK_DEV_DAC960 is not set
340 # CONFIG_BLK_DEV_UMEM is not set
341 # CONFIG_BLK_DEV_COW_COMMON is not set
342 CONFIG_BLK_DEV_LOOP=y
343 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
344 # CONFIG_BLK_DEV_NBD is not set
345 # CONFIG_BLK_DEV_SX8 is not set
347 CONFIG_BLK_DEV_RAM_COUNT=16
348 CONFIG_BLK_DEV_RAM_SIZE=32768
349 CONFIG_BLK_DEV_RAM_BLOCKSIZE=1024
350 # CONFIG_CDROM_PKTCDVD is not set
351 # CONFIG_ATA_OVER_ETH is not set
352 CONFIG_MISC_DEVICES=y
353 # CONFIG_PHANTOM is not set
354 # CONFIG_EEPROM_93CX6 is not set
355 # CONFIG_SGI_IOC4 is not set
356 # CONFIG_TIFM_CORE is not set
357 # CONFIG_IDE is not set
360 # SCSI device support
362 # CONFIG_RAID_ATTRS is not set
363 # CONFIG_SCSI is not set
364 # CONFIG_SCSI_DMA is not set
365 # CONFIG_SCSI_NETLINK is not set
366 # CONFIG_ATA is not set
367 # CONFIG_MD is not set
370 # Fusion MPT device support
372 # CONFIG_FUSION is not set
375 # IEEE 1394 (FireWire) support
377 # CONFIG_FIREWIRE is not set
378 # CONFIG_IEEE1394 is not set
379 # CONFIG_I2O is not set
380 # CONFIG_MACINTOSH_DRIVERS is not set
382 # CONFIG_NETDEVICES_MULTIQUEUE is not set
383 # CONFIG_DUMMY is not set
384 # CONFIG_BONDING is not set
385 # CONFIG_MACVLAN is not set
386 # CONFIG_EQUALIZER is not set
387 # CONFIG_TUN is not set
388 # CONFIG_ARCNET is not set
392 # MII PHY device drivers
396 # CONFIG_QSEMI_PHY is not set
397 # CONFIG_LXT_PHY is not set
398 # CONFIG_CICADA_PHY is not set
399 # CONFIG_VITESSE_PHY is not set
400 # CONFIG_SMSC_PHY is not set
401 # CONFIG_BROADCOM_PHY is not set
402 # CONFIG_ICPLUS_PHY is not set
403 # CONFIG_FIXED_PHY is not set
404 CONFIG_NET_ETHERNET=y
406 # CONFIG_HAPPYMEAL is not set
407 # CONFIG_SUNGEM is not set
408 # CONFIG_CASSINI is not set
409 # CONFIG_NET_VENDOR_3COM is not set
410 # CONFIG_NET_TULIP is not set
411 # CONFIG_HP100 is not set
412 # CONFIG_NET_PCI is not set
414 # CONFIG_FS_ENET_HAS_SCC is not set
415 CONFIG_FS_ENET_HAS_FCC=y
417 # CONFIG_ACENIC is not set
418 # CONFIG_DL2K is not set
421 # CONFIG_E1000_DISABLE_PACKET_SPLIT is not set
422 # CONFIG_NS83820 is not set
423 # CONFIG_HAMACHI is not set
424 # CONFIG_YELLOWFIN is not set
425 # CONFIG_R8169 is not set
426 # CONFIG_SIS190 is not set
427 # CONFIG_SKGE is not set
428 # CONFIG_SKY2 is not set
429 # CONFIG_SK98LIN is not set
430 # CONFIG_VIA_VELOCITY is not set
431 # CONFIG_TIGON3 is not set
432 # CONFIG_BNX2 is not set
435 # CONFIG_QLA3XXX is not set
436 # CONFIG_ATL1 is not set
437 CONFIG_NETDEV_10000=y
438 # CONFIG_CHELSIO_T1 is not set
439 # CONFIG_CHELSIO_T3 is not set
440 # CONFIG_IXGB is not set
441 # CONFIG_S2IO is not set
442 # CONFIG_MYRI10GE is not set
443 # CONFIG_NETXEN_NIC is not set
444 # CONFIG_MLX4_CORE is not set
445 # CONFIG_TR is not set
450 # CONFIG_WLAN_PRE80211 is not set
451 # CONFIG_WLAN_80211 is not set
452 # CONFIG_WAN is not set
453 # CONFIG_FDDI is not set
454 # CONFIG_HIPPI is not set
455 # CONFIG_PPP is not set
456 # CONFIG_SLIP is not set
457 # CONFIG_SHAPER is not set
458 # CONFIG_NETCONSOLE is not set
459 # CONFIG_NETPOLL is not set
460 # CONFIG_NET_POLL_CONTROLLER is not set
461 # CONFIG_ISDN is not set
462 # CONFIG_PHONE is not set
465 # Input device support
468 # CONFIG_INPUT_FF_MEMLESS is not set
469 # CONFIG_INPUT_POLLDEV is not set
472 # Userland interfaces
474 # CONFIG_INPUT_MOUSEDEV is not set
475 # CONFIG_INPUT_JOYDEV is not set
476 # CONFIG_INPUT_TSDEV is not set
477 # CONFIG_INPUT_EVDEV is not set
478 # CONFIG_INPUT_EVBUG is not set
481 # Input Device Drivers
483 # CONFIG_INPUT_KEYBOARD is not set
484 # CONFIG_INPUT_MOUSE is not set
485 # CONFIG_INPUT_JOYSTICK is not set
486 # CONFIG_INPUT_TABLET is not set
487 # CONFIG_INPUT_TOUCHSCREEN is not set
488 # CONFIG_INPUT_MISC is not set
493 # CONFIG_SERIO is not set
494 # CONFIG_GAMEPORT is not set
499 # CONFIG_VT is not set
500 # CONFIG_SERIAL_NONSTANDARD is not set
505 # CONFIG_SERIAL_8250 is not set
508 # Non-8250 serial port support
510 # CONFIG_SERIAL_UARTLITE is not set
512 CONFIG_SERIAL_CORE_CONSOLE=y
514 CONFIG_SERIAL_CPM_CONSOLE=y
515 CONFIG_SERIAL_CPM_SCC1=y
516 CONFIG_SERIAL_CPM_SCC2=y
517 # CONFIG_SERIAL_CPM_SCC3 is not set
518 # CONFIG_SERIAL_CPM_SCC4 is not set
519 # CONFIG_SERIAL_CPM_SMC1 is not set
520 # CONFIG_SERIAL_CPM_SMC2 is not set
521 # CONFIG_SERIAL_JSM is not set
524 CONFIG_LEGACY_PTY_COUNT=256
525 # CONFIG_IPMI_HANDLER is not set
526 # CONFIG_WATCHDOG is not set
528 # CONFIG_NVRAM is not set
530 # CONFIG_GEN_RTC_X is not set
531 # CONFIG_R3964 is not set
532 # CONFIG_APPLICOM is not set
533 # CONFIG_AGP is not set
534 # CONFIG_DRM is not set
535 # CONFIG_RAW_DRIVER is not set
536 # CONFIG_TCG_TPM is not set
538 # CONFIG_I2C is not set
543 # CONFIG_SPI is not set
544 # CONFIG_SPI_MASTER is not set
545 # CONFIG_W1 is not set
546 # CONFIG_POWER_SUPPLY is not set
548 # CONFIG_HWMON_VID is not set
549 # CONFIG_SENSORS_ABITUGURU is not set
550 # CONFIG_SENSORS_ABITUGURU3 is not set
551 # CONFIG_SENSORS_F71805F is not set
552 # CONFIG_SENSORS_IT87 is not set
553 # CONFIG_SENSORS_PC87360 is not set
554 # CONFIG_SENSORS_PC87427 is not set
555 # CONFIG_SENSORS_SIS5595 is not set
556 # CONFIG_SENSORS_SMSC47M1 is not set
557 # CONFIG_SENSORS_SMSC47B397 is not set
558 # CONFIG_SENSORS_VIA686A is not set
559 # CONFIG_SENSORS_VT1211 is not set
560 # CONFIG_SENSORS_VT8231 is not set
561 # CONFIG_SENSORS_W83627HF is not set
562 # CONFIG_SENSORS_W83627EHF is not set
563 # CONFIG_HWMON_DEBUG_CHIP is not set
566 # Multifunction device drivers
568 # CONFIG_MFD_SM501 is not set
573 # CONFIG_VIDEO_DEV is not set
574 # CONFIG_DVB_CORE is not set
580 # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
583 # Display device support
585 # CONFIG_DISPLAY_SUPPORT is not set
586 # CONFIG_VGASTATE is not set
587 CONFIG_VIDEO_OUTPUT_CONTROL=y
588 # CONFIG_FB is not set
589 # CONFIG_FB_IBM_GXT4500 is not set
594 # CONFIG_SOUND is not set
597 # CONFIG_HID_DEBUG is not set
599 CONFIG_USB_ARCH_HAS_HCD=y
600 CONFIG_USB_ARCH_HAS_OHCI=y
601 CONFIG_USB_ARCH_HAS_EHCI=y
602 # CONFIG_USB is not set
605 # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support'
611 # CONFIG_USB_GADGET is not set
612 # CONFIG_MMC is not set
613 # CONFIG_NEW_LEDS is not set
614 # CONFIG_INFINIBAND is not set
615 # CONFIG_EDAC is not set
616 # CONFIG_RTC_CLASS is not set
621 # CONFIG_DMA_ENGINE is not set
634 # CONFIG_UIO is not set
640 # CONFIG_EXT2_FS_XATTR is not set
641 # CONFIG_EXT2_FS_XIP is not set
643 CONFIG_EXT3_FS_XATTR=y
644 # CONFIG_EXT3_FS_POSIX_ACL is not set
645 # CONFIG_EXT3_FS_SECURITY is not set
646 # CONFIG_EXT4DEV_FS is not set
648 # CONFIG_JBD_DEBUG is not set
650 # CONFIG_REISERFS_FS is not set
651 # CONFIG_JFS_FS is not set
652 # CONFIG_FS_POSIX_ACL is not set
653 # CONFIG_XFS_FS is not set
654 # CONFIG_GFS2_FS is not set
655 # CONFIG_OCFS2_FS is not set
656 # CONFIG_MINIX_FS is not set
657 # CONFIG_ROMFS_FS is not set
659 CONFIG_INOTIFY_USER=y
660 # CONFIG_QUOTA is not set
662 # CONFIG_AUTOFS_FS is not set
663 # CONFIG_AUTOFS4_FS is not set
664 # CONFIG_FUSE_FS is not set
667 # CD-ROM/DVD Filesystems
669 # CONFIG_ISO9660_FS is not set
670 # CONFIG_UDF_FS is not set
673 # DOS/FAT/NT Filesystems
675 # CONFIG_MSDOS_FS is not set
676 # CONFIG_VFAT_FS is not set
677 # CONFIG_NTFS_FS is not set
687 # CONFIG_TMPFS_POSIX_ACL is not set
688 # CONFIG_HUGETLB_PAGE is not set
690 # CONFIG_CONFIGFS_FS is not set
693 # Miscellaneous filesystems
695 # CONFIG_ADFS_FS is not set
696 # CONFIG_AFFS_FS is not set
697 # CONFIG_HFS_FS is not set
698 # CONFIG_HFSPLUS_FS is not set
699 # CONFIG_BEFS_FS is not set
700 # CONFIG_BFS_FS is not set
701 # CONFIG_EFS_FS is not set
702 # CONFIG_CRAMFS is not set
703 # CONFIG_VXFS_FS is not set
704 # CONFIG_HPFS_FS is not set
705 # CONFIG_QNX4FS_FS is not set
706 # CONFIG_SYSV_FS is not set
707 # CONFIG_UFS_FS is not set
710 # Network File Systems
713 # CONFIG_NFS_V3 is not set
714 # CONFIG_NFS_V4 is not set
715 # CONFIG_NFS_DIRECTIO is not set
716 # CONFIG_NFSD is not set
721 # CONFIG_SUNRPC_BIND34 is not set
722 # CONFIG_RPCSEC_GSS_KRB5 is not set
723 # CONFIG_RPCSEC_GSS_SPKM3 is not set
724 # CONFIG_SMB_FS is not set
725 # CONFIG_CIFS is not set
726 # CONFIG_NCP_FS is not set
727 # CONFIG_CODA_FS is not set
728 # CONFIG_AFS_FS is not set
733 CONFIG_PARTITION_ADVANCED=y
734 # CONFIG_ACORN_PARTITION is not set
735 # CONFIG_OSF_PARTITION is not set
736 # CONFIG_AMIGA_PARTITION is not set
737 # CONFIG_ATARI_PARTITION is not set
738 # CONFIG_MAC_PARTITION is not set
739 # CONFIG_MSDOS_PARTITION is not set
740 # CONFIG_LDM_PARTITION is not set
741 # CONFIG_SGI_PARTITION is not set
742 # CONFIG_ULTRIX_PARTITION is not set
743 # CONFIG_SUN_PARTITION is not set
744 # CONFIG_KARMA_PARTITION is not set
745 # CONFIG_EFI_PARTITION is not set
746 # CONFIG_SYSV68_PARTITION is not set
749 # Native Language Support
751 # CONFIG_NLS is not set
754 # Distributed Lock Manager
756 # CONFIG_DLM is not set
757 # CONFIG_UCC_SLOW is not set
763 # CONFIG_CRC_CCITT is not set
764 # CONFIG_CRC16 is not set
765 # CONFIG_CRC_ITU_T is not set
767 # CONFIG_CRC7 is not set
768 # CONFIG_LIBCRC32C is not set
775 # Instrumentation Support
777 # CONFIG_PROFILING is not set
782 # CONFIG_PRINTK_TIME is not set
783 CONFIG_ENABLE_MUST_CHECK=y
784 # CONFIG_MAGIC_SYSRQ is not set
785 # CONFIG_UNUSED_SYMBOLS is not set
786 # CONFIG_DEBUG_FS is not set
787 # CONFIG_HEADERS_CHECK is not set
788 CONFIG_DEBUG_KERNEL=y
789 # CONFIG_DEBUG_SHIRQ is not set
790 CONFIG_DETECT_SOFTLOCKUP=y
792 # CONFIG_SCHEDSTATS is not set
793 # CONFIG_TIMER_STATS is not set
794 # CONFIG_DEBUG_SLAB is not set
795 # CONFIG_DEBUG_RT_MUTEXES is not set
796 # CONFIG_RT_MUTEX_TESTER is not set
797 # CONFIG_DEBUG_SPINLOCK is not set
798 CONFIG_DEBUG_MUTEXES=y
799 # CONFIG_DEBUG_SPINLOCK_SLEEP is not set
800 # CONFIG_DEBUG_LOCKING_API_SELFTESTS is not set
801 # CONFIG_DEBUG_KOBJECT is not set
802 # CONFIG_DEBUG_BUGVERBOSE is not set
803 # CONFIG_DEBUG_INFO is not set
804 # CONFIG_DEBUG_VM is not set
805 # CONFIG_DEBUG_LIST is not set
806 CONFIG_FORCED_INLINING=y
807 # CONFIG_FAULT_INJECTION is not set
808 # CONFIG_DEBUG_STACKOVERFLOW is not set
809 # CONFIG_DEBUG_STACK_USAGE is not set
810 # CONFIG_DEBUG_PAGEALLOC is not set
811 # CONFIG_DEBUGGER is not set
812 # CONFIG_KGDB_CONSOLE is not set
813 # CONFIG_BDI_SWITCH is not set
814 # CONFIG_PPC_EARLY_DEBUG is not set
819 # CONFIG_KEYS is not set
820 # CONFIG_SECURITY is not set
821 # CONFIG_CRYPTO is not set
822 # CONFIG_PPC_CLOCK is not set