2 # Automatically generated make config: don't edit
3 # Linux kernel version: 2.6.20-rc5
4 # Mon Jan 22 22:26:46 2007
6 # CONFIG_PPC64 is not set
10 CONFIG_GENERIC_HARDIRQS=y
12 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
13 CONFIG_ARCH_HAS_ILOG2_U32=y
14 CONFIG_GENERIC_HWEIGHT=y
15 CONFIG_GENERIC_CALIBRATE_DELAY=y
16 CONFIG_GENERIC_FIND_NEXT_BIT=y
19 CONFIG_GENERIC_NVRAM=y
20 CONFIG_SCHED_NO_NO_OMIT_FRAME_POINTER=y
21 CONFIG_ARCH_MAY_HAVE_PC_FDC=y
23 CONFIG_PPC_UDBG_16550=y
24 # CONFIG_GENERIC_TBSYNC is not set
27 CONFIG_DEFAULT_UIMAGE=y
32 # CONFIG_CLASSIC32 is not set
33 # CONFIG_PPC_82xx is not set
34 # CONFIG_PPC_83xx is not set
36 # CONFIG_PPC_86xx is not set
37 # CONFIG_40x is not set
38 # CONFIG_44x is not set
39 # CONFIG_8xx is not set
40 # CONFIG_E200 is not set
43 # CONFIG_PPC_DCR_NATIVE is not set
44 # CONFIG_PPC_DCR_MMIO is not set
47 # CONFIG_PHYS_64BIT is not set
49 CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config"
52 # Code maturity level options
55 CONFIG_BROKEN_ON_SMP=y
56 CONFIG_INIT_ENV_ARG_LIMIT=32
61 CONFIG_LOCALVERSION=""
62 CONFIG_LOCALVERSION_AUTO=y
65 # CONFIG_IPC_NS is not set
66 # CONFIG_POSIX_MQUEUE is not set
67 # CONFIG_BSD_PROCESS_ACCT is not set
68 # CONFIG_TASKSTATS is not set
69 # CONFIG_UTS_NS is not set
70 # CONFIG_AUDIT is not set
71 # CONFIG_IKCONFIG is not set
72 CONFIG_SYSFS_DEPRECATED=y
73 # CONFIG_RELAY is not set
74 CONFIG_INITRAMFS_SOURCE=""
75 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
78 CONFIG_SYSCTL_SYSCALL=y
80 # CONFIG_KALLSYMS_ALL is not set
81 # CONFIG_KALLSYMS_EXTRA_PASS is not set
91 CONFIG_VM_EVENT_COUNTERS=y
93 # CONFIG_TINY_SHMEM is not set
95 # CONFIG_SLOB is not set
98 # Loadable module support
100 # CONFIG_MODULES is not set
106 # CONFIG_LBD is not set
107 # CONFIG_BLK_DEV_IO_TRACE is not set
108 # CONFIG_LSF 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"
122 # CONFIG_WANT_EARLY_SERIAL is not set
127 # CONFIG_MPC8540_ADS is not set
128 # CONFIG_MPC8560_ADS is not set
131 CONFIG_PPC_INDIRECT_PCI_BE=y
137 # CONFIG_HIGHMEM is not set
138 # CONFIG_HZ_100 is not set
140 # CONFIG_HZ_300 is not set
141 # CONFIG_HZ_1000 is not set
143 CONFIG_PREEMPT_NONE=y
144 # CONFIG_PREEMPT_VOLUNTARY is not set
145 # CONFIG_PREEMPT is not set
148 CONFIG_MATH_EMULATION=y
149 CONFIG_ARCH_ENABLE_MEMORY_HOTPLUG=y
150 CONFIG_ARCH_FLATMEM_ENABLE=y
151 CONFIG_ARCH_POPULATES_NODE_MAP=y
152 CONFIG_SELECT_MEMORY_MODEL=y
153 CONFIG_FLATMEM_MANUAL=y
154 # CONFIG_DISCONTIGMEM_MANUAL is not set
155 # CONFIG_SPARSEMEM_MANUAL is not set
157 CONFIG_FLAT_NODE_MEM_MAP=y
158 # CONFIG_SPARSEMEM_STATIC is not set
159 CONFIG_SPLIT_PTLOCK_CPUS=4
160 # CONFIG_RESOURCES_64BIT is not set
161 CONFIG_PROC_DEVICETREE=y
162 # CONFIG_CMDLINE_BOOL is not set
163 # CONFIG_PM is not set
164 # CONFIG_SECCOMP is not set
170 # CONFIG_MPIC_WEIRD is not set
171 # CONFIG_PPC_I8259 is not set
172 CONFIG_PPC_INDIRECT_PCI=y
176 # CONFIG_PCIEPORTBUS is not set
177 # CONFIG_PCI_DEBUG is not set
180 # PCCARD (PCMCIA/CardBus) support
182 # CONFIG_PCCARD is not set
185 # PCI Hotplug Support
187 # CONFIG_HOTPLUG_PCI is not set
192 # CONFIG_ADVANCED_OPTIONS is not set
195 # Default settings for advanced configuration options are used
197 CONFIG_HIGHMEM_START=0xfe000000
198 CONFIG_LOWMEM_SIZE=0x30000000
199 CONFIG_KERNEL_START=0xc0000000
200 CONFIG_TASK_SIZE=0x80000000
201 CONFIG_BOOT_LOAD=0x00800000
211 # CONFIG_NETDEBUG is not set
213 # CONFIG_PACKET_MMAP is not set
217 # CONFIG_XFRM_SUB_POLICY is not set
218 # CONFIG_NET_KEY is not set
220 CONFIG_IP_MULTICAST=y
221 # CONFIG_IP_ADVANCED_ROUTER is not set
225 CONFIG_IP_PNP_BOOTP=y
226 # CONFIG_IP_PNP_RARP is not set
227 # CONFIG_NET_IPIP is not set
228 # CONFIG_NET_IPGRE is not set
229 # CONFIG_IP_MROUTE is not set
230 # CONFIG_ARPD is not set
232 # CONFIG_INET_AH is not set
233 # CONFIG_INET_ESP is not set
234 # CONFIG_INET_IPCOMP is not set
235 # CONFIG_INET_XFRM_TUNNEL is not set
236 # CONFIG_INET_TUNNEL is not set
237 CONFIG_INET_XFRM_MODE_TRANSPORT=y
238 CONFIG_INET_XFRM_MODE_TUNNEL=y
239 CONFIG_INET_XFRM_MODE_BEET=y
241 CONFIG_INET_TCP_DIAG=y
242 # CONFIG_TCP_CONG_ADVANCED is not set
243 CONFIG_TCP_CONG_CUBIC=y
244 CONFIG_DEFAULT_TCP_CONG="cubic"
245 # CONFIG_TCP_MD5SIG is not set
246 # CONFIG_IPV6 is not set
247 # CONFIG_INET6_XFRM_TUNNEL is not set
248 # CONFIG_INET6_TUNNEL is not set
249 # CONFIG_NETWORK_SECMARK is not set
250 # CONFIG_NETFILTER is not set
253 # DCCP Configuration (EXPERIMENTAL)
255 # CONFIG_IP_DCCP is not set
258 # SCTP Configuration (EXPERIMENTAL)
260 # CONFIG_IP_SCTP is not set
263 # TIPC Configuration (EXPERIMENTAL)
265 # CONFIG_TIPC is not set
266 # CONFIG_ATM is not set
267 # CONFIG_BRIDGE is not set
268 # CONFIG_VLAN_8021Q is not set
269 # CONFIG_DECNET is not set
270 # CONFIG_LLC2 is not set
271 # CONFIG_IPX is not set
272 # CONFIG_ATALK is not set
273 # CONFIG_X25 is not set
274 # CONFIG_LAPB is not set
275 # CONFIG_ECONET is not set
276 # CONFIG_WAN_ROUTER is not set
279 # QoS and/or fair queueing
281 # CONFIG_NET_SCHED is not set
286 # CONFIG_NET_PKTGEN is not set
287 # CONFIG_HAMRADIO is not set
288 # CONFIG_IRDA is not set
289 # CONFIG_BT is not set
290 # CONFIG_IEEE80211 is not set
297 # Generic Driver Options
300 CONFIG_PREVENT_FIRMWARE_BUILD=y
301 # CONFIG_FW_LOADER is not set
302 # CONFIG_DEBUG_DRIVER is not set
303 # CONFIG_SYS_HYPERVISOR is not set
306 # Connector - unified userspace <-> kernelspace linker
308 # CONFIG_CONNECTOR is not set
311 # Memory Technology Devices (MTD)
313 # CONFIG_MTD is not set
316 # Parallel port support
318 # CONFIG_PARPORT is not set
321 # Plug and Play support
327 # CONFIG_BLK_DEV_FD is not set
328 # CONFIG_BLK_CPQ_DA is not set
329 # CONFIG_BLK_CPQ_CISS_DA is not set
330 # CONFIG_BLK_DEV_DAC960 is not set
331 # CONFIG_BLK_DEV_UMEM is not set
332 # CONFIG_BLK_DEV_COW_COMMON is not set
333 CONFIG_BLK_DEV_LOOP=y
334 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
335 # CONFIG_BLK_DEV_NBD is not set
336 # CONFIG_BLK_DEV_SX8 is not set
338 CONFIG_BLK_DEV_RAM_COUNT=16
339 CONFIG_BLK_DEV_RAM_SIZE=32768
340 CONFIG_BLK_DEV_RAM_BLOCKSIZE=1024
341 CONFIG_BLK_DEV_INITRD=y
342 # CONFIG_CDROM_PKTCDVD is not set
343 # CONFIG_ATA_OVER_ETH is not set
348 # CONFIG_SGI_IOC4 is not set
349 # CONFIG_TIFM_CORE is not set
352 # ATA/ATAPI/MFM/RLL support
355 CONFIG_IDE_MAX_HWIFS=4
359 # Please see Documentation/ide.txt for help/info on IDE drives
361 # CONFIG_BLK_DEV_IDE_SATA is not set
362 # CONFIG_BLK_DEV_IDEDISK is not set
363 # CONFIG_IDEDISK_MULTI_MODE is not set
364 # CONFIG_BLK_DEV_IDECD is not set
365 # CONFIG_BLK_DEV_IDETAPE is not set
366 # CONFIG_BLK_DEV_IDEFLOPPY is not set
367 # CONFIG_IDE_TASK_IOCTL is not set
370 # IDE chipset support/bugfixes
373 CONFIG_BLK_DEV_IDEPCI=y
374 CONFIG_IDEPCI_SHARE_IRQ=y
375 # CONFIG_BLK_DEV_OFFBOARD is not set
376 CONFIG_BLK_DEV_GENERIC=y
377 # CONFIG_BLK_DEV_OPTI621 is not set
378 CONFIG_BLK_DEV_IDEDMA_PCI=y
379 # CONFIG_BLK_DEV_IDEDMA_FORCED is not set
380 # CONFIG_IDEDMA_PCI_AUTO is not set
381 # CONFIG_BLK_DEV_AEC62XX is not set
382 # CONFIG_BLK_DEV_ALI15X3 is not set
383 # CONFIG_BLK_DEV_AMD74XX is not set
384 # CONFIG_BLK_DEV_CMD64X is not set
385 # CONFIG_BLK_DEV_TRIFLEX is not set
386 # CONFIG_BLK_DEV_CY82C693 is not set
387 # CONFIG_BLK_DEV_CS5520 is not set
388 # CONFIG_BLK_DEV_CS5530 is not set
389 # CONFIG_BLK_DEV_HPT34X is not set
390 # CONFIG_BLK_DEV_HPT366 is not set
391 # CONFIG_BLK_DEV_JMICRON is not set
392 # CONFIG_BLK_DEV_SC1200 is not set
393 # CONFIG_BLK_DEV_PIIX is not set
394 # CONFIG_BLK_DEV_IT821X is not set
395 # CONFIG_BLK_DEV_NS87415 is not set
396 # CONFIG_BLK_DEV_PDC202XX_OLD is not set
397 # CONFIG_BLK_DEV_PDC202XX_NEW is not set
398 # CONFIG_BLK_DEV_SVWKS is not set
399 # CONFIG_BLK_DEV_SIIMAGE is not set
400 # CONFIG_BLK_DEV_SL82C105 is not set
401 # CONFIG_BLK_DEV_SLC90E66 is not set
402 # CONFIG_BLK_DEV_TRM290 is not set
403 CONFIG_BLK_DEV_VIA82CXXX=y
404 # CONFIG_IDE_ARM is not set
405 CONFIG_BLK_DEV_IDEDMA=y
406 # CONFIG_IDEDMA_IVB is not set
407 # CONFIG_IDEDMA_AUTO is not set
408 # CONFIG_BLK_DEV_HD is not set
411 # SCSI device support
413 # CONFIG_RAID_ATTRS is not set
414 # CONFIG_SCSI is not set
415 # CONFIG_SCSI_NETLINK is not set
418 # Serial ATA (prod) and Parallel ATA (experimental) drivers
420 # CONFIG_ATA is not set
423 # Multi-device support (RAID and LVM)
425 # CONFIG_MD is not set
428 # Fusion MPT device support
430 # CONFIG_FUSION is not set
433 # IEEE 1394 (FireWire) support
435 # CONFIG_IEEE1394 is not set
440 # CONFIG_I2O is not set
443 # Macintosh device drivers
445 # CONFIG_MAC_EMUMOUSEBTN is not set
446 # CONFIG_WINDFARM is not set
449 # Network device support
452 # CONFIG_DUMMY is not set
453 # CONFIG_BONDING is not set
454 # CONFIG_EQUALIZER is not set
455 # CONFIG_TUN is not set
460 # CONFIG_ARCNET is not set
468 # MII PHY device drivers
470 # CONFIG_MARVELL_PHY is not set
471 # CONFIG_DAVICOM_PHY is not set
472 # CONFIG_QSEMI_PHY is not set
473 # CONFIG_LXT_PHY is not set
474 # CONFIG_CICADA_PHY is not set
475 # CONFIG_VITESSE_PHY is not set
476 # CONFIG_SMSC_PHY is not set
477 # CONFIG_BROADCOM_PHY is not set
478 # CONFIG_FIXED_PHY is not set
481 # Ethernet (10 or 100Mbit)
483 CONFIG_NET_ETHERNET=y
485 # CONFIG_HAPPYMEAL is not set
486 # CONFIG_SUNGEM is not set
487 # CONFIG_CASSINI is not set
488 # CONFIG_NET_VENDOR_3COM is not set
491 # Tulip family network device support
493 # CONFIG_NET_TULIP is not set
494 # CONFIG_HP100 is not set
495 # CONFIG_NET_PCI is not set
498 # Ethernet (1000 Mbit)
500 # CONFIG_ACENIC is not set
501 # CONFIG_DL2K is not set
504 # CONFIG_E1000_DISABLE_PACKET_SPLIT is not set
505 # CONFIG_NS83820 is not set
506 # CONFIG_HAMACHI is not set
507 # CONFIG_YELLOWFIN is not set
508 # CONFIG_R8169 is not set
509 # CONFIG_SIS190 is not set
510 # CONFIG_SKGE is not set
511 # CONFIG_SKY2 is not set
512 # CONFIG_SK98LIN is not set
513 # CONFIG_TIGON3 is not set
514 # CONFIG_BNX2 is not set
517 # CONFIG_QLA3XXX is not set
520 # Ethernet (10000 Mbit)
522 # CONFIG_CHELSIO_T1 is not set
523 # CONFIG_IXGB is not set
524 # CONFIG_S2IO is not set
525 # CONFIG_MYRI10GE is not set
526 # CONFIG_NETXEN_NIC is not set
531 # CONFIG_TR is not set
534 # Wireless LAN (non-hamradio)
536 # CONFIG_NET_RADIO is not set
541 # CONFIG_WAN is not set
542 # CONFIG_FDDI is not set
543 # CONFIG_HIPPI is not set
544 # CONFIG_PPP is not set
545 # CONFIG_SLIP is not set
546 # CONFIG_SHAPER is not set
547 # CONFIG_NETCONSOLE is not set
548 # CONFIG_NETPOLL is not set
549 # CONFIG_NET_POLL_CONTROLLER is not set
554 # CONFIG_ISDN is not set
559 # CONFIG_PHONE is not set
562 # Input device support
565 # CONFIG_INPUT_FF_MEMLESS is not set
568 # Userland interfaces
570 # CONFIG_INPUT_MOUSEDEV is not set
571 # CONFIG_INPUT_JOYDEV is not set
572 # CONFIG_INPUT_TSDEV is not set
573 # CONFIG_INPUT_EVDEV is not set
574 # CONFIG_INPUT_EVBUG is not set
577 # Input Device Drivers
579 # CONFIG_INPUT_KEYBOARD is not set
580 # CONFIG_INPUT_MOUSE is not set
581 # CONFIG_INPUT_JOYSTICK is not set
582 # CONFIG_INPUT_TOUCHSCREEN is not set
583 # CONFIG_INPUT_MISC is not set
588 # CONFIG_SERIO is not set
589 # CONFIG_GAMEPORT is not set
594 # CONFIG_VT is not set
595 # CONFIG_SERIAL_NONSTANDARD is not set
601 CONFIG_SERIAL_8250_CONSOLE=y
602 CONFIG_SERIAL_8250_PCI=y
603 CONFIG_SERIAL_8250_NR_UARTS=4
604 CONFIG_SERIAL_8250_RUNTIME_UARTS=4
605 # CONFIG_SERIAL_8250_EXTENDED is not set
608 # Non-8250 serial port support
610 # CONFIG_SERIAL_UARTLITE is not set
612 CONFIG_SERIAL_CORE_CONSOLE=y
613 # CONFIG_SERIAL_JSM is not set
616 CONFIG_LEGACY_PTY_COUNT=256
621 # CONFIG_IPMI_HANDLER is not set
626 # CONFIG_WATCHDOG is not set
627 # CONFIG_HW_RANDOM is not set
628 # CONFIG_NVRAM is not set
630 # CONFIG_GEN_RTC_X is not set
631 # CONFIG_DTLK is not set
632 # CONFIG_R3964 is not set
633 # CONFIG_APPLICOM is not set
634 # CONFIG_AGP is not set
635 # CONFIG_DRM is not set
636 # CONFIG_RAW_DRIVER is not set
641 # CONFIG_TCG_TPM is not set
646 # CONFIG_I2C is not set
651 # CONFIG_SPI is not set
652 # CONFIG_SPI_MASTER is not set
655 # Dallas's 1-wire bus
657 # CONFIG_W1 is not set
660 # Hardware Monitoring support
663 # CONFIG_HWMON_VID is not set
664 # CONFIG_SENSORS_ABITUGURU is not set
665 # CONFIG_SENSORS_F71805F is not set
666 # CONFIG_SENSORS_PC87427 is not set
667 # CONFIG_SENSORS_VT1211 is not set
668 # CONFIG_HWMON_DEBUG_CHIP is not set
673 # CONFIG_VIDEO_DEV is not set
676 # Digital Video Broadcasting Devices
678 # CONFIG_DVB is not set
683 CONFIG_FIRMWARE_EDID=y
684 # CONFIG_FB is not set
685 # CONFIG_FB_IBM_GXT4500 is not set
686 # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
691 # CONFIG_SOUND is not set
701 CONFIG_USB_ARCH_HAS_HCD=y
702 CONFIG_USB_ARCH_HAS_OHCI=y
703 CONFIG_USB_ARCH_HAS_EHCI=y
704 # CONFIG_USB is not set
707 # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support'
713 # CONFIG_USB_GADGET is not set
716 # MMC/SD Card support
718 # CONFIG_MMC is not set
723 # CONFIG_NEW_LEDS is not set
736 # CONFIG_INFINIBAND is not set
739 # EDAC - error detection and reporting (RAS) (EXPERIMENTAL)
745 # CONFIG_RTC_CLASS is not set
750 # CONFIG_DMA_ENGINE is not set
768 # CONFIG_EXT2_FS_XATTR is not set
769 # CONFIG_EXT2_FS_XIP is not set
771 CONFIG_EXT3_FS_XATTR=y
772 # CONFIG_EXT3_FS_POSIX_ACL is not set
773 # CONFIG_EXT3_FS_SECURITY is not set
774 # CONFIG_EXT4DEV_FS is not set
776 # CONFIG_JBD_DEBUG is not set
778 # CONFIG_REISERFS_FS is not set
779 # CONFIG_JFS_FS is not set
780 # CONFIG_FS_POSIX_ACL is not set
781 # CONFIG_XFS_FS is not set
782 # CONFIG_GFS2_FS is not set
783 # CONFIG_OCFS2_FS is not set
784 # CONFIG_MINIX_FS is not set
785 # CONFIG_ROMFS_FS is not set
787 CONFIG_INOTIFY_USER=y
788 # CONFIG_QUOTA is not set
790 # CONFIG_AUTOFS_FS is not set
791 # CONFIG_AUTOFS4_FS is not set
792 # CONFIG_FUSE_FS is not set
795 # CD-ROM/DVD Filesystems
797 # CONFIG_ISO9660_FS is not set
798 # CONFIG_UDF_FS is not set
801 # DOS/FAT/NT Filesystems
803 # CONFIG_MSDOS_FS is not set
804 # CONFIG_VFAT_FS is not set
805 # CONFIG_NTFS_FS is not set
815 # CONFIG_TMPFS_POSIX_ACL is not set
816 # CONFIG_HUGETLB_PAGE is not set
818 # CONFIG_CONFIGFS_FS is not set
821 # Miscellaneous filesystems
823 # CONFIG_ADFS_FS is not set
824 # CONFIG_AFFS_FS is not set
825 # CONFIG_HFS_FS is not set
826 # CONFIG_HFSPLUS_FS is not set
827 # CONFIG_BEFS_FS is not set
828 # CONFIG_BFS_FS is not set
829 # CONFIG_EFS_FS is not set
830 # CONFIG_CRAMFS is not set
831 # CONFIG_VXFS_FS is not set
832 # CONFIG_HPFS_FS is not set
833 # CONFIG_QNX4FS_FS is not set
834 # CONFIG_SYSV_FS is not set
835 # CONFIG_UFS_FS is not set
838 # Network File Systems
841 # CONFIG_NFS_V3 is not set
842 # CONFIG_NFS_V4 is not set
843 # CONFIG_NFS_DIRECTIO is not set
844 # CONFIG_NFSD is not set
849 # CONFIG_RPCSEC_GSS_KRB5 is not set
850 # CONFIG_RPCSEC_GSS_SPKM3 is not set
851 # CONFIG_SMB_FS is not set
852 # CONFIG_CIFS is not set
853 # CONFIG_NCP_FS is not set
854 # CONFIG_CODA_FS is not set
855 # CONFIG_AFS_FS is not set
856 # CONFIG_9P_FS is not set
861 CONFIG_PARTITION_ADVANCED=y
862 # CONFIG_ACORN_PARTITION is not set
863 # CONFIG_OSF_PARTITION is not set
864 # CONFIG_AMIGA_PARTITION is not set
865 # CONFIG_ATARI_PARTITION is not set
866 # CONFIG_MAC_PARTITION is not set
867 # CONFIG_MSDOS_PARTITION is not set
868 # CONFIG_LDM_PARTITION is not set
869 # CONFIG_SGI_PARTITION is not set
870 # CONFIG_ULTRIX_PARTITION is not set
871 # CONFIG_SUN_PARTITION is not set
872 # CONFIG_KARMA_PARTITION is not set
873 # CONFIG_EFI_PARTITION is not set
876 # Native Language Support
878 # CONFIG_NLS is not set
881 # Distributed Lock Manager
883 # CONFIG_DLM is not set
889 # CONFIG_CRC_CCITT is not set
890 # CONFIG_CRC16 is not set
892 # CONFIG_LIBCRC32C is not set
897 # Instrumentation Support
899 # CONFIG_PROFILING is not set
904 # CONFIG_PRINTK_TIME is not set
905 CONFIG_ENABLE_MUST_CHECK=y
906 # CONFIG_MAGIC_SYSRQ is not set
907 # CONFIG_UNUSED_SYMBOLS is not set
908 # CONFIG_DEBUG_FS is not set
909 # CONFIG_HEADERS_CHECK is not set
910 CONFIG_DEBUG_KERNEL=y
911 CONFIG_LOG_BUF_SHIFT=14
912 CONFIG_DETECT_SOFTLOCKUP=y
913 # CONFIG_SCHEDSTATS is not set
914 # CONFIG_DEBUG_SLAB is not set
915 # CONFIG_DEBUG_RT_MUTEXES is not set
916 # CONFIG_RT_MUTEX_TESTER is not set
917 # CONFIG_DEBUG_SPINLOCK is not set
918 CONFIG_DEBUG_MUTEXES=y
919 # CONFIG_DEBUG_RWSEMS is not set
920 # CONFIG_DEBUG_SPINLOCK_SLEEP is not set
921 # CONFIG_DEBUG_LOCKING_API_SELFTESTS is not set
922 # CONFIG_DEBUG_KOBJECT is not set
923 # CONFIG_DEBUG_BUGVERBOSE is not set
924 # CONFIG_DEBUG_INFO is not set
925 # CONFIG_DEBUG_VM is not set
926 # CONFIG_DEBUG_LIST is not set
927 CONFIG_FORCED_INLINING=y
928 # CONFIG_RCU_TORTURE_TEST is not set
929 # CONFIG_DEBUGGER is not set
930 # CONFIG_BDI_SWITCH is not set
931 # CONFIG_BOOTX_TEXT is not set
932 # CONFIG_PPC_EARLY_DEBUG is not set
937 # CONFIG_KEYS is not set
938 # CONFIG_SECURITY is not set
941 # Cryptographic options
943 # CONFIG_CRYPTO is not set