2 # Automatically generated make config: don't edit
3 # Linux kernel version: 2.6.12-rc1-bk2
4 # Sun Mar 27 22:39:19 2005
9 CONFIG_RWSEM_GENERIC_SPINLOCK=y
10 CONFIG_GENERIC_CALIBRATE_DELAY=y
11 CONFIG_GENERIC_IOMAP=y
14 # Code maturity level options
17 CONFIG_CLEAN_COMPILE=y
18 CONFIG_BROKEN_ON_SMP=y
23 CONFIG_LOCALVERSION=""
26 # CONFIG_POSIX_MQUEUE is not set
27 CONFIG_BSD_PROCESS_ACCT=y
28 # CONFIG_BSD_PROCESS_ACCT_V3 is not set
30 # CONFIG_AUDIT is not set
31 # CONFIG_HOTPLUG is not set
32 CONFIG_KOBJECT_UEVENT=y
33 # CONFIG_IKCONFIG is not set
36 # CONFIG_KALLSYMS_ALL is not set
37 # CONFIG_KALLSYMS_EXTRA_PASS is not set
41 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
43 CONFIG_CC_ALIGN_FUNCTIONS=0
44 CONFIG_CC_ALIGN_LABELS=0
45 CONFIG_CC_ALIGN_LOOPS=0
46 CONFIG_CC_ALIGN_JUMPS=0
47 # CONFIG_TINY_SHMEM is not set
51 # Loadable module support
54 CONFIG_MODULE_UNLOAD=y
55 # CONFIG_MODULE_FORCE_UNLOAD is not set
56 CONFIG_OBSOLETE_MODPARM=y
57 # CONFIG_MODVERSIONS is not set
58 # CONFIG_MODULE_SRCVERSION_ALL is not set
64 # CONFIG_ARCH_CLPS7500 is not set
65 # CONFIG_ARCH_CLPS711X is not set
66 # CONFIG_ARCH_CO285 is not set
67 # CONFIG_ARCH_EBSA110 is not set
68 # CONFIG_ARCH_CAMELOT is not set
69 # CONFIG_ARCH_FOOTBRIDGE is not set
70 # CONFIG_ARCH_INTEGRATOR is not set
71 # CONFIG_ARCH_IOP3XX is not set
72 # CONFIG_ARCH_IXP4XX is not set
74 # CONFIG_ARCH_L7200 is not set
75 # CONFIG_ARCH_PXA is not set
76 # CONFIG_ARCH_RPC is not set
77 # CONFIG_ARCH_SA1100 is not set
78 # CONFIG_ARCH_S3C2410 is not set
79 # CONFIG_ARCH_SHARK is not set
80 # CONFIG_ARCH_LH7A40X is not set
81 # CONFIG_ARCH_OMAP is not set
82 # CONFIG_ARCH_VERSATILE is not set
83 # CONFIG_ARCH_IMX is not set
84 # CONFIG_ARCH_H720X is not set
85 CONFIG_ARCH_SUPPORTS_BIG_ENDIAN=y
88 # Intel IXP2400/2800 Implementation Options
92 # IXP2400/2800 Platforms
94 # CONFIG_ARCH_ENP2611 is not set
95 # CONFIG_ARCH_IXDP2400 is not set
96 # CONFIG_ARCH_IXDP2800 is not set
97 # CONFIG_ARCH_IXDP2401 is not set
98 CONFIG_ARCH_IXDP2801=y
99 CONFIG_ARCH_IXDP2X01=y
107 CONFIG_CPU_ABRT_EV5T=y
108 CONFIG_CPU_CACHE_VIVT=y
109 CONFIG_CPU_TLB_V4WBI=y
110 CONFIG_CPU_MINICACHE=y
115 # CONFIG_ARM_THUMB is not set
116 CONFIG_CPU_BIG_ENDIAN=y
123 CONFIG_PCI_LEGACY_PROC=y
127 # PCCARD (PCMCIA/CardBus) support
129 # CONFIG_PCCARD is not set
134 # CONFIG_PREEMPT is not set
135 CONFIG_ALIGNMENT_TRAP=y
140 CONFIG_ZBOOT_ROM_TEXT=0x0
141 CONFIG_ZBOOT_ROM_BSS=0x0
142 CONFIG_CMDLINE="console=ttyS0,115200 root=/dev/nfs ip=bootp mem=64M@0x0 pci=firmware ixdp2x01_clock=50000000"
143 # CONFIG_XIP_KERNEL is not set
146 # Floating point emulation
150 # At least one emulation must be selected
153 # CONFIG_FPE_FASTFPE is not set
156 # Userspace binary formats
159 # CONFIG_BINFMT_AOUT is not set
160 # CONFIG_BINFMT_MISC is not set
161 # CONFIG_ARTHUR is not set
164 # Power management options
166 # CONFIG_PM is not set
173 # Generic Driver Options
176 # CONFIG_PREVENT_FIRMWARE_BUILD is not set
177 # CONFIG_FW_LOADER is not set
178 # CONFIG_DEBUG_DRIVER is not set
181 # Memory Technology Devices (MTD)
184 # CONFIG_MTD_DEBUG is not set
185 # CONFIG_MTD_CONCAT is not set
186 CONFIG_MTD_PARTITIONS=y
187 CONFIG_MTD_REDBOOT_PARTS=y
188 CONFIG_MTD_REDBOOT_DIRECTORY_BLOCK=-1
189 CONFIG_MTD_REDBOOT_PARTS_UNALLOCATED=y
190 CONFIG_MTD_REDBOOT_PARTS_READONLY=y
191 # CONFIG_MTD_CMDLINE_PARTS is not set
192 # CONFIG_MTD_AFS_PARTS is not set
195 # User Modules And Translation Layers
199 # CONFIG_FTL is not set
200 # CONFIG_NFTL is not set
201 # CONFIG_INFTL is not set
204 # RAM/ROM/Flash chip drivers
207 # CONFIG_MTD_JEDECPROBE is not set
208 CONFIG_MTD_GEN_PROBE=y
209 # CONFIG_MTD_CFI_ADV_OPTIONS is not set
210 CONFIG_MTD_MAP_BANK_WIDTH_1=y
211 CONFIG_MTD_MAP_BANK_WIDTH_2=y
212 CONFIG_MTD_MAP_BANK_WIDTH_4=y
213 # CONFIG_MTD_MAP_BANK_WIDTH_8 is not set
214 # CONFIG_MTD_MAP_BANK_WIDTH_16 is not set
215 # CONFIG_MTD_MAP_BANK_WIDTH_32 is not set
218 # CONFIG_MTD_CFI_I4 is not set
219 # CONFIG_MTD_CFI_I8 is not set
220 CONFIG_MTD_CFI_INTELEXT=y
221 # CONFIG_MTD_CFI_AMDSTD is not set
222 # CONFIG_MTD_CFI_STAA is not set
223 CONFIG_MTD_CFI_UTIL=y
224 # CONFIG_MTD_RAM is not set
225 # CONFIG_MTD_ROM is not set
226 # CONFIG_MTD_ABSENT is not set
227 # CONFIG_MTD_XIP is not set
230 # Mapping drivers for chip access
232 CONFIG_MTD_COMPLEX_MAPPINGS=y
233 # CONFIG_MTD_PHYSMAP is not set
234 # CONFIG_MTD_ARM_INTEGRATOR is not set
236 # CONFIG_MTD_EDB7312 is not set
237 # CONFIG_MTD_PCI is not set
240 # Self-contained MTD device drivers
242 # CONFIG_MTD_PMC551 is not set
243 # CONFIG_MTD_SLRAM is not set
244 # CONFIG_MTD_PHRAM is not set
245 # CONFIG_MTD_MTDRAM is not set
246 # CONFIG_MTD_BLKMTD is not set
247 # CONFIG_MTD_BLOCK2MTD is not set
250 # Disk-On-Chip Device Drivers
252 # CONFIG_MTD_DOC2000 is not set
253 # CONFIG_MTD_DOC2001 is not set
254 # CONFIG_MTD_DOC2001PLUS is not set
257 # NAND Flash Device Drivers
259 # CONFIG_MTD_NAND is not set
262 # Parallel port support
264 # CONFIG_PARPORT is not set
267 # Plug and Play support
273 # CONFIG_BLK_DEV_FD is not set
274 # CONFIG_BLK_CPQ_DA is not set
275 # CONFIG_BLK_CPQ_CISS_DA is not set
276 # CONFIG_BLK_DEV_DAC960 is not set
277 # CONFIG_BLK_DEV_UMEM is not set
278 # CONFIG_BLK_DEV_COW_COMMON is not set
279 CONFIG_BLK_DEV_LOOP=y
280 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
281 # CONFIG_BLK_DEV_NBD is not set
282 # CONFIG_BLK_DEV_SX8 is not set
284 CONFIG_BLK_DEV_RAM_COUNT=16
285 CONFIG_BLK_DEV_RAM_SIZE=8192
286 CONFIG_BLK_DEV_INITRD=y
287 CONFIG_INITRAMFS_SOURCE=""
288 # CONFIG_CDROM_PKTCDVD is not set
293 CONFIG_IOSCHED_NOOP=y
295 CONFIG_IOSCHED_DEADLINE=y
297 # CONFIG_ATA_OVER_ETH is not set
300 # SCSI device support
302 # CONFIG_SCSI is not set
305 # Multi-device support (RAID and LVM)
307 # CONFIG_MD is not set
310 # Fusion MPT device support
314 # IEEE 1394 (FireWire) support
316 # CONFIG_IEEE1394 is not set
321 # CONFIG_I2O is not set
333 # CONFIG_NETLINK_DEV is not set
335 # CONFIG_NET_KEY is not set
337 # CONFIG_IP_MULTICAST is not set
338 # CONFIG_IP_ADVANCED_ROUTER is not set
341 CONFIG_IP_PNP_BOOTP=y
342 # CONFIG_IP_PNP_RARP is not set
343 # CONFIG_NET_IPIP is not set
344 # CONFIG_NET_IPGRE is not set
345 # CONFIG_ARPD is not set
347 # CONFIG_INET_AH is not set
348 # CONFIG_INET_ESP is not set
349 # CONFIG_INET_IPCOMP is not set
350 # CONFIG_INET_TUNNEL is not set
351 # CONFIG_IP_TCPDIAG is not set
352 # CONFIG_IP_TCPDIAG_IPV6 is not set
353 # CONFIG_IPV6 is not set
354 # CONFIG_NETFILTER is not set
357 # SCTP Configuration (EXPERIMENTAL)
359 # CONFIG_IP_SCTP is not set
360 # CONFIG_ATM is not set
361 # CONFIG_BRIDGE is not set
362 # CONFIG_VLAN_8021Q is not set
363 # CONFIG_DECNET is not set
364 # CONFIG_LLC2 is not set
365 # CONFIG_IPX is not set
366 # CONFIG_ATALK is not set
367 # CONFIG_X25 is not set
368 # CONFIG_LAPB is not set
369 # CONFIG_NET_DIVERT is not set
370 # CONFIG_ECONET is not set
371 # CONFIG_WAN_ROUTER is not set
374 # QoS and/or fair queueing
376 # CONFIG_NET_SCHED is not set
377 # CONFIG_NET_CLS_ROUTE is not set
382 # CONFIG_NET_PKTGEN is not set
383 # CONFIG_NETPOLL is not set
384 # CONFIG_NET_POLL_CONTROLLER is not set
385 # CONFIG_HAMRADIO is not set
386 # CONFIG_IRDA is not set
387 # CONFIG_BT is not set
390 # CONFIG_BONDING is not set
391 # CONFIG_EQUALIZER is not set
392 # CONFIG_TUN is not set
397 # CONFIG_ARCNET is not set
400 # Ethernet (10 or 100Mbit)
402 CONFIG_NET_ETHERNET=y
404 # CONFIG_HAPPYMEAL is not set
405 # CONFIG_SUNGEM is not set
406 # CONFIG_NET_VENDOR_3COM is not set
407 # CONFIG_SMC91X is not set
410 # Tulip family network device support
412 # CONFIG_NET_TULIP is not set
413 # CONFIG_HP100 is not set
415 # CONFIG_PCNET32 is not set
416 # CONFIG_AMD8111_ETH is not set
417 # CONFIG_ADAPTEC_STARFIRE is not set
418 # CONFIG_B44 is not set
419 # CONFIG_FORCEDETH is not set
421 # CONFIG_DGRS is not set
423 # CONFIG_E100 is not set
424 # CONFIG_FEALNX is not set
425 # CONFIG_NATSEMI is not set
426 # CONFIG_NE2K_PCI is not set
427 # CONFIG_8139CP is not set
428 # CONFIG_8139TOO is not set
429 # CONFIG_SIS900 is not set
430 # CONFIG_EPIC100 is not set
431 # CONFIG_SUNDANCE is not set
432 # CONFIG_TLAN is not set
433 # CONFIG_VIA_RHINE is not set
436 # Ethernet (1000 Mbit)
438 # CONFIG_ACENIC is not set
439 # CONFIG_DL2K is not set
440 # CONFIG_E1000 is not set
441 # CONFIG_NS83820 is not set
442 # CONFIG_HAMACHI is not set
443 # CONFIG_YELLOWFIN is not set
444 # CONFIG_R8169 is not set
445 # CONFIG_SK98LIN is not set
446 # CONFIG_VIA_VELOCITY is not set
447 # CONFIG_TIGON3 is not set
450 # Ethernet (10000 Mbit)
452 # CONFIG_IXGB is not set
453 # CONFIG_S2IO is not set
458 # CONFIG_TR is not set
461 # Wireless LAN (non-hamradio)
463 # CONFIG_NET_RADIO is not set
469 # CONFIG_LANMEDIA is not set
470 # CONFIG_SYNCLINK_SYNCPPP is not set
473 # CONFIG_HDLC_RAW_ETH is not set
479 # X.25/LAPB support is disabled
481 # CONFIG_PCI200SYN is not set
482 # CONFIG_WANXL is not set
483 # CONFIG_PC300 is not set
484 # CONFIG_FARSYNC is not set
488 # CONFIG_FDDI is not set
489 # CONFIG_HIPPI is not set
490 # CONFIG_PPP is not set
491 # CONFIG_SLIP is not set
492 # CONFIG_SHAPER is not set
493 # CONFIG_NETCONSOLE is not set
498 # CONFIG_ISDN is not set
501 # Input device support
506 # Userland interfaces
508 CONFIG_INPUT_MOUSEDEV=y
509 CONFIG_INPUT_MOUSEDEV_PSAUX=y
510 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
511 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
512 # CONFIG_INPUT_JOYDEV is not set
513 # CONFIG_INPUT_TSDEV is not set
514 # CONFIG_INPUT_EVDEV is not set
515 # CONFIG_INPUT_EVBUG is not set
518 # Input Device Drivers
520 # CONFIG_INPUT_KEYBOARD is not set
521 # CONFIG_INPUT_MOUSE is not set
522 # CONFIG_INPUT_JOYSTICK is not set
523 # CONFIG_INPUT_TOUCHSCREEN is not set
524 # CONFIG_INPUT_MISC is not set
529 # CONFIG_SERIO is not set
530 # CONFIG_GAMEPORT is not set
531 CONFIG_SOUND_GAMEPORT=y
536 # CONFIG_VT is not set
537 # CONFIG_SERIAL_NONSTANDARD is not set
543 CONFIG_SERIAL_8250_CONSOLE=y
544 CONFIG_SERIAL_8250_NR_UARTS=2
545 # CONFIG_SERIAL_8250_EXTENDED is not set
548 # Non-8250 serial port support
551 CONFIG_SERIAL_CORE_CONSOLE=y
554 CONFIG_LEGACY_PTY_COUNT=256
559 # CONFIG_IPMI_HANDLER is not set
565 # CONFIG_WATCHDOG_NOWAYOUT is not set
568 # Watchdog Device Drivers
570 # CONFIG_SOFT_WATCHDOG is not set
571 CONFIG_IXP2000_WATCHDOG=y
574 # PCI-based Watchdog Cards
576 # CONFIG_PCIPCWATCHDOG is not set
577 # CONFIG_WDTPCI is not set
578 # CONFIG_NVRAM is not set
579 # CONFIG_RTC is not set
580 # CONFIG_DTLK is not set
581 # CONFIG_R3964 is not set
582 # CONFIG_APPLICOM is not set
585 # Ftape, the floppy tape device driver
587 # CONFIG_DRM is not set
588 # CONFIG_RAW_DRIVER is not set
593 # CONFIG_TCG_TPM is not set
605 # CONFIG_I2C_ALGOPCF is not set
606 # CONFIG_I2C_ALGOPCA is not set
609 # I2C Hardware Bus support
611 # CONFIG_I2C_ALI1535 is not set
612 # CONFIG_I2C_ALI1563 is not set
613 # CONFIG_I2C_ALI15X3 is not set
614 # CONFIG_I2C_AMD756 is not set
615 # CONFIG_I2C_AMD8111 is not set
616 # CONFIG_I2C_I801 is not set
617 # CONFIG_I2C_I810 is not set
618 # CONFIG_I2C_ISA is not set
619 # CONFIG_I2C_IXP2000 is not set
620 # CONFIG_I2C_NFORCE2 is not set
621 # CONFIG_I2C_PARPORT_LIGHT is not set
622 # CONFIG_I2C_PIIX4 is not set
623 # CONFIG_I2C_PROSAVAGE is not set
624 # CONFIG_I2C_SAVAGE4 is not set
625 # CONFIG_SCx200_ACB is not set
626 # CONFIG_I2C_SIS5595 is not set
627 # CONFIG_I2C_SIS630 is not set
628 # CONFIG_I2C_SIS96X is not set
629 # CONFIG_I2C_VIA is not set
630 # CONFIG_I2C_VIAPRO is not set
631 # CONFIG_I2C_VOODOO3 is not set
632 # CONFIG_I2C_PCA_ISA is not set
635 # Hardware Sensors Chip support
638 # CONFIG_SENSORS_ADM1021 is not set
639 # CONFIG_SENSORS_ADM1025 is not set
640 # CONFIG_SENSORS_ADM1026 is not set
641 # CONFIG_SENSORS_ADM1031 is not set
642 # CONFIG_SENSORS_ASB100 is not set
643 # CONFIG_SENSORS_DS1621 is not set
644 # CONFIG_SENSORS_FSCHER is not set
645 # CONFIG_SENSORS_FSCPOS is not set
646 # CONFIG_SENSORS_GL518SM is not set
647 # CONFIG_SENSORS_GL520SM is not set
648 # CONFIG_SENSORS_IT87 is not set
649 # CONFIG_SENSORS_LM63 is not set
650 # CONFIG_SENSORS_LM75 is not set
651 # CONFIG_SENSORS_LM77 is not set
652 # CONFIG_SENSORS_LM78 is not set
653 # CONFIG_SENSORS_LM80 is not set
654 # CONFIG_SENSORS_LM83 is not set
655 # CONFIG_SENSORS_LM85 is not set
656 # CONFIG_SENSORS_LM87 is not set
657 # CONFIG_SENSORS_LM90 is not set
658 # CONFIG_SENSORS_MAX1619 is not set
659 # CONFIG_SENSORS_PC87360 is not set
660 # CONFIG_SENSORS_SMSC47B397 is not set
661 # CONFIG_SENSORS_SIS5595 is not set
662 # CONFIG_SENSORS_SMSC47M1 is not set
663 # CONFIG_SENSORS_VIA686A is not set
664 # CONFIG_SENSORS_W83781D is not set
665 # CONFIG_SENSORS_W83L785TS is not set
666 # CONFIG_SENSORS_W83627HF is not set
669 # Other I2C Chip support
671 CONFIG_SENSORS_EEPROM=y
672 # CONFIG_SENSORS_PCF8574 is not set
673 # CONFIG_SENSORS_PCF8591 is not set
674 # CONFIG_SENSORS_RTC8564 is not set
675 # CONFIG_I2C_DEBUG_CORE is not set
676 # CONFIG_I2C_DEBUG_ALGO is not set
677 # CONFIG_I2C_DEBUG_BUS is not set
678 # CONFIG_I2C_DEBUG_CHIP is not set
687 # CONFIG_VIDEO_DEV is not set
690 # Digital Video Broadcasting Devices
692 # CONFIG_DVB is not set
697 # CONFIG_FB is not set
702 # CONFIG_SOUND is not set
707 CONFIG_USB_ARCH_HAS_HCD=y
708 CONFIG_USB_ARCH_HAS_OHCI=y
709 # CONFIG_USB is not set
714 # CONFIG_USB_GADGET is not set
717 # MMC/SD Card support
719 # CONFIG_MMC is not set
725 CONFIG_EXT2_FS_XATTR=y
726 CONFIG_EXT2_FS_POSIX_ACL=y
727 # CONFIG_EXT2_FS_SECURITY is not set
729 CONFIG_EXT3_FS_XATTR=y
730 CONFIG_EXT3_FS_POSIX_ACL=y
731 # CONFIG_EXT3_FS_SECURITY is not set
733 # CONFIG_JBD_DEBUG is not set
735 # CONFIG_REISERFS_FS is not set
736 # CONFIG_JFS_FS is not set
737 CONFIG_FS_POSIX_ACL=y
742 # CONFIG_XFS_FS is not set
743 # CONFIG_MINIX_FS is not set
744 # CONFIG_ROMFS_FS is not set
745 # CONFIG_QUOTA is not set
747 # CONFIG_AUTOFS_FS is not set
748 # CONFIG_AUTOFS4_FS is not set
751 # CD-ROM/DVD Filesystems
753 # CONFIG_ISO9660_FS is not set
754 # CONFIG_UDF_FS is not set
757 # DOS/FAT/NT Filesystems
759 # CONFIG_MSDOS_FS is not set
760 # CONFIG_VFAT_FS is not set
761 # CONFIG_NTFS_FS is not set
768 # CONFIG_DEVFS_FS is not set
769 # CONFIG_DEVPTS_FS_XATTR is not set
771 # CONFIG_TMPFS_XATTR is not set
772 # CONFIG_HUGETLB_PAGE is not set
776 # Miscellaneous filesystems
778 # CONFIG_ADFS_FS is not set
779 # CONFIG_AFFS_FS is not set
780 # CONFIG_HFS_FS is not set
781 # CONFIG_HFSPLUS_FS is not set
782 # CONFIG_BEFS_FS is not set
783 # CONFIG_BFS_FS is not set
784 # CONFIG_EFS_FS is not set
785 # CONFIG_JFFS_FS is not set
787 CONFIG_JFFS2_FS_DEBUG=0
788 # CONFIG_JFFS2_FS_NAND is not set
789 # CONFIG_JFFS2_FS_NOR_ECC is not set
790 # CONFIG_JFFS2_COMPRESSION_OPTIONS is not set
793 # CONFIG_JFFS2_RUBIN is not set
794 # CONFIG_CRAMFS is not set
795 # CONFIG_VXFS_FS is not set
796 # CONFIG_HPFS_FS is not set
797 # CONFIG_QNX4FS_FS is not set
798 # CONFIG_SYSV_FS is not set
799 # CONFIG_UFS_FS is not set
802 # Network File Systems
806 # CONFIG_NFS_V4 is not set
807 # CONFIG_NFS_DIRECTIO is not set
808 # CONFIG_NFSD is not set
813 # CONFIG_RPCSEC_GSS_KRB5 is not set
814 # CONFIG_RPCSEC_GSS_SPKM3 is not set
815 # CONFIG_SMB_FS is not set
816 # CONFIG_CIFS is not set
817 # CONFIG_NCP_FS is not set
818 # CONFIG_CODA_FS is not set
819 # CONFIG_AFS_FS is not set
824 CONFIG_PARTITION_ADVANCED=y
825 # CONFIG_ACORN_PARTITION is not set
826 # CONFIG_OSF_PARTITION is not set
827 # CONFIG_AMIGA_PARTITION is not set
828 # CONFIG_ATARI_PARTITION is not set
829 # CONFIG_MAC_PARTITION is not set
830 CONFIG_MSDOS_PARTITION=y
831 # CONFIG_BSD_DISKLABEL is not set
832 # CONFIG_MINIX_SUBPARTITION is not set
833 # CONFIG_SOLARIS_X86_PARTITION is not set
834 # CONFIG_UNIXWARE_DISKLABEL is not set
835 # CONFIG_LDM_PARTITION is not set
836 # CONFIG_SGI_PARTITION is not set
837 # CONFIG_ULTRIX_PARTITION is not set
838 # CONFIG_SUN_PARTITION is not set
839 # CONFIG_EFI_PARTITION is not set
842 # Native Language Support
844 # CONFIG_NLS is not set
849 # CONFIG_PROFILING is not set
854 # CONFIG_PRINTK_TIME is not set
855 CONFIG_DEBUG_KERNEL=y
857 CONFIG_LOG_BUF_SHIFT=14
858 # CONFIG_SCHEDSTATS is not set
859 # CONFIG_DEBUG_SLAB is not set
860 # CONFIG_DEBUG_SPINLOCK is not set
861 # CONFIG_DEBUG_SPINLOCK_SLEEP is not set
862 # CONFIG_DEBUG_KOBJECT is not set
863 CONFIG_DEBUG_BUGVERBOSE=y
864 # CONFIG_DEBUG_INFO is not set
865 # CONFIG_DEBUG_FS is not set
866 CONFIG_FRAME_POINTER=y
868 # CONFIG_DEBUG_WAITQ is not set
869 CONFIG_DEBUG_ERRORS=y
871 # CONFIG_DEBUG_ICEDCC is not set
876 # CONFIG_KEYS is not set
877 # CONFIG_SECURITY is not set
880 # Cryptographic options
882 # CONFIG_CRYPTO is not set
885 # Hardware crypto devices
891 # CONFIG_CRC_CCITT is not set
893 # CONFIG_LIBCRC32C is not set
894 CONFIG_ZLIB_INFLATE=y
895 CONFIG_ZLIB_DEFLATE=y