2 # Automatically generated make config: don't edit
3 # Linux kernel version: 2.6.23-rc1
4 # Wed Aug 1 17:22:36 2007
7 CONFIG_GENERIC_ISA_DMA=y
9 CONFIG_GENERIC_HARDIRQS=y
10 CONFIG_GENERIC_IRQ_PROBE=y
13 CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config"
16 # Code maturity level options
20 CONFIG_INIT_ENV_ARG_LIMIT=32
25 CONFIG_LOCALVERSION=""
26 CONFIG_LOCALVERSION_AUTO=y
29 CONFIG_SYSVIPC_SYSCTL=y
30 # CONFIG_POSIX_MQUEUE is not set
31 # CONFIG_BSD_PROCESS_ACCT is not set
32 # CONFIG_TASKSTATS is not set
33 # CONFIG_USER_NS is not set
34 # CONFIG_AUDIT is not set
36 CONFIG_IKCONFIG_PROC=y
37 CONFIG_LOG_BUF_SHIFT=15
38 # CONFIG_CPUSETS is not set
39 CONFIG_SYSFS_DEPRECATED=y
40 # CONFIG_RELAY is not set
41 CONFIG_BLK_DEV_INITRD=y
42 CONFIG_INITRAMFS_SOURCE=""
43 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
46 CONFIG_SYSCTL_SYSCALL=y
47 # CONFIG_KALLSYMS is not set
53 # CONFIG_FUTEX is not set
55 # CONFIG_EPOLL is not set
60 CONFIG_VM_EVENT_COUNTERS=y
62 # CONFIG_SLUB is not set
63 # CONFIG_SLOB is not set
64 # CONFIG_TINY_SHMEM is not set
67 CONFIG_MODULE_UNLOAD=y
68 # CONFIG_MODULE_FORCE_UNLOAD is not set
69 # CONFIG_MODVERSIONS is not set
70 # CONFIG_MODULE_SRCVERSION_ALL is not set
74 # CONFIG_LBD is not set
75 # CONFIG_BLK_DEV_IO_TRACE is not set
76 # CONFIG_LSF is not set
77 # CONFIG_BLK_DEV_BSG is not set
83 # CONFIG_IOSCHED_AS is not set
84 CONFIG_IOSCHED_DEADLINE=y
86 # CONFIG_DEFAULT_AS is not set
87 # CONFIG_DEFAULT_DEADLINE is not set
89 # CONFIG_DEFAULT_NOOP is not set
90 CONFIG_DEFAULT_IOSCHED="cfq"
93 # Processor type and features
95 # CONFIG_PLAT_MAPPI is not set
96 # CONFIG_PLAT_USRV is not set
97 # CONFIG_PLAT_M32700UT is not set
98 # CONFIG_PLAT_OPSPUT is not set
99 # CONFIG_PLAT_OAKS32R is not set
100 # CONFIG_PLAT_MAPPI2 is not set
102 # CONFIG_PLAT_M32104UT is not set
104 # CONFIG_CHIP_M32102 is not set
105 # CONFIG_CHIP_M32104 is not set
106 # CONFIG_CHIP_VDEC2 is not set
107 # CONFIG_CHIP_OPSP is not set
109 CONFIG_TLB_ENTRIES=32
111 CONFIG_ISA_DSP_LEVEL2=y
112 CONFIG_ISA_DUAL_ISSUE=y
113 CONFIG_BUS_CLOCK=10000000
114 CONFIG_TIMER_DIVIDE=128
115 # CONFIG_CPU_LITTLE_ENDIAN is not set
116 CONFIG_MEMORY_START=0x08000000
117 CONFIG_MEMORY_SIZE=0x08000000
119 CONFIG_ARCH_DISCONTIGMEM_ENABLE=y
120 CONFIG_SELECT_MEMORY_MODEL=y
121 # CONFIG_FLATMEM_MANUAL is not set
122 CONFIG_DISCONTIGMEM_MANUAL=y
123 # CONFIG_SPARSEMEM_MANUAL is not set
124 CONFIG_DISCONTIGMEM=y
125 CONFIG_FLAT_NODE_MEM_MAP=y
126 CONFIG_NEED_MULTIPLE_NODES=y
127 # CONFIG_SPARSEMEM_STATIC is not set
128 CONFIG_SPLIT_PTLOCK_CPUS=4
129 # CONFIG_RESOURCES_64BIT is not set
130 CONFIG_ZONE_DMA_FLAG=1
133 CONFIG_IRAM_START=0x00f00000
134 CONFIG_IRAM_SIZE=0x00080000
135 CONFIG_RWSEM_GENERIC_SPINLOCK=y
136 # CONFIG_RWSEM_XCHGADD_ALGORITHM is not set
137 # CONFIG_ARCH_HAS_ILOG2_U32 is not set
138 # CONFIG_ARCH_HAS_ILOG2_U64 is not set
139 CONFIG_GENERIC_FIND_NEXT_BIT=y
140 CONFIG_GENERIC_HWEIGHT=y
141 CONFIG_GENERIC_CALIBRATE_DELAY=y
142 CONFIG_SCHED_NO_NO_OMIT_FRAME_POINTER=y
145 # CONFIG_CHIP_M32700_TS1 is not set
150 # Bus options (PCI, PCMCIA, EISA, MCA, ISA)
152 # CONFIG_ARCH_SUPPORTS_MSI is not set
153 # CONFIG_ISA is not set
156 # PCCARD (PCMCIA/CardBus) support
159 # CONFIG_PCMCIA_DEBUG is not set
161 CONFIG_PCMCIA_LOAD_CIS=y
162 CONFIG_PCMCIA_IOCTL=y
167 # CONFIG_M32R_PCC is not set
168 # CONFIG_M32R_CFC is not set
171 # Executable file formats
174 # CONFIG_BINFMT_MISC is not set
184 # CONFIG_PACKET is not set
187 # CONFIG_XFRM_USER is not set
188 # CONFIG_XFRM_SUB_POLICY is not set
189 # CONFIG_XFRM_MIGRATE is not set
190 # CONFIG_NET_KEY is not set
192 # CONFIG_IP_MULTICAST is not set
193 # CONFIG_IP_ADVANCED_ROUTER is not set
197 # CONFIG_IP_PNP_BOOTP is not set
198 # CONFIG_IP_PNP_RARP is not set
199 # CONFIG_NET_IPIP is not set
200 # CONFIG_NET_IPGRE is not set
201 # CONFIG_ARPD is not set
202 # CONFIG_SYN_COOKIES is not set
203 # CONFIG_INET_AH is not set
204 # CONFIG_INET_ESP is not set
205 # CONFIG_INET_IPCOMP is not set
206 # CONFIG_INET_XFRM_TUNNEL is not set
207 # CONFIG_INET_TUNNEL is not set
208 CONFIG_INET_XFRM_MODE_TRANSPORT=y
209 CONFIG_INET_XFRM_MODE_TUNNEL=y
210 CONFIG_INET_XFRM_MODE_BEET=y
212 CONFIG_INET_TCP_DIAG=y
213 # CONFIG_TCP_CONG_ADVANCED is not set
214 CONFIG_TCP_CONG_CUBIC=y
215 CONFIG_DEFAULT_TCP_CONG="cubic"
216 # CONFIG_TCP_MD5SIG is not set
217 # CONFIG_IPV6 is not set
218 # CONFIG_INET6_XFRM_TUNNEL is not set
219 # CONFIG_INET6_TUNNEL is not set
220 # CONFIG_NETWORK_SECMARK is not set
221 # CONFIG_NETFILTER is not set
222 # CONFIG_IP_DCCP is not set
223 # CONFIG_IP_SCTP is not set
224 # CONFIG_TIPC is not set
225 # CONFIG_ATM is not set
226 # CONFIG_BRIDGE is not set
227 # CONFIG_VLAN_8021Q is not set
228 # CONFIG_DECNET is not set
229 # CONFIG_LLC2 is not set
230 # CONFIG_IPX is not set
231 # CONFIG_ATALK is not set
232 # CONFIG_X25 is not set
233 # CONFIG_LAPB is not set
234 # CONFIG_ECONET is not set
235 # CONFIG_WAN_ROUTER is not set
238 # QoS and/or fair queueing
240 # CONFIG_NET_SCHED is not set
245 # CONFIG_NET_PKTGEN is not set
246 # CONFIG_HAMRADIO is not set
247 # CONFIG_IRDA is not set
248 # CONFIG_BT is not set
249 # CONFIG_AF_RXRPC is not set
254 # CONFIG_CFG80211 is not set
255 # CONFIG_WIRELESS_EXT is not set
256 # CONFIG_MAC80211 is not set
257 # CONFIG_IEEE80211 is not set
258 # CONFIG_RFKILL is not set
259 # CONFIG_NET_9P is not set
266 # Generic Driver Options
269 CONFIG_PREVENT_FIRMWARE_BUILD=y
271 # CONFIG_SYS_HYPERVISOR is not set
272 # CONFIG_CONNECTOR is not set
274 # CONFIG_MTD_DEBUG is not set
275 # CONFIG_MTD_CONCAT is not set
276 CONFIG_MTD_PARTITIONS=y
277 CONFIG_MTD_REDBOOT_PARTS=y
278 CONFIG_MTD_REDBOOT_DIRECTORY_BLOCK=-1
279 # CONFIG_MTD_REDBOOT_PARTS_UNALLOCATED is not set
280 # CONFIG_MTD_REDBOOT_PARTS_READONLY is not set
281 # CONFIG_MTD_CMDLINE_PARTS is not set
284 # User Modules And Translation Layers
289 # CONFIG_FTL is not set
290 # CONFIG_NFTL is not set
291 # CONFIG_INFTL is not set
292 # CONFIG_RFD_FTL is not set
293 # CONFIG_SSFDC is not set
296 # RAM/ROM/Flash chip drivers
298 # CONFIG_MTD_CFI is not set
299 # CONFIG_MTD_JEDECPROBE is not set
300 CONFIG_MTD_MAP_BANK_WIDTH_1=y
301 CONFIG_MTD_MAP_BANK_WIDTH_2=y
302 CONFIG_MTD_MAP_BANK_WIDTH_4=y
303 # CONFIG_MTD_MAP_BANK_WIDTH_8 is not set
304 # CONFIG_MTD_MAP_BANK_WIDTH_16 is not set
305 # CONFIG_MTD_MAP_BANK_WIDTH_32 is not set
308 # CONFIG_MTD_CFI_I4 is not set
309 # CONFIG_MTD_CFI_I8 is not set
310 # CONFIG_MTD_RAM is not set
311 # CONFIG_MTD_ROM is not set
312 # CONFIG_MTD_ABSENT is not set
315 # Mapping drivers for chip access
317 # CONFIG_MTD_COMPLEX_MAPPINGS is not set
318 # CONFIG_MTD_PLATRAM is not set
321 # Self-contained MTD device drivers
323 # CONFIG_MTD_SLRAM is not set
324 # CONFIG_MTD_PHRAM is not set
325 # CONFIG_MTD_MTDRAM is not set
326 # CONFIG_MTD_BLOCK2MTD is not set
329 # Disk-On-Chip Device Drivers
331 # CONFIG_MTD_DOC2000 is not set
332 # CONFIG_MTD_DOC2001 is not set
333 # CONFIG_MTD_DOC2001PLUS is not set
334 # CONFIG_MTD_NAND is not set
335 # CONFIG_MTD_ONENAND is not set
338 # UBI - Unsorted block images
340 # CONFIG_MTD_UBI is not set
341 # CONFIG_PARPORT is not set
343 # CONFIG_BLK_DEV_COW_COMMON is not set
344 CONFIG_BLK_DEV_LOOP=y
345 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
348 CONFIG_BLK_DEV_RAM_COUNT=16
349 CONFIG_BLK_DEV_RAM_SIZE=4096
350 CONFIG_BLK_DEV_RAM_BLOCKSIZE=1024
351 # CONFIG_CDROM_PKTCDVD is not set
352 # CONFIG_ATA_OVER_ETH is not set
353 CONFIG_MISC_DEVICES=y
354 # CONFIG_EEPROM_93CX6 is not set
356 CONFIG_IDE_MAX_HWIFS=4
360 # Please see Documentation/ide.txt for help/info on IDE drives
362 # CONFIG_BLK_DEV_IDE_SATA is not set
363 CONFIG_BLK_DEV_IDEDISK=y
364 # CONFIG_IDEDISK_MULTI_MODE is not set
365 CONFIG_BLK_DEV_IDECS=m
366 CONFIG_BLK_DEV_IDECD=m
367 # CONFIG_BLK_DEV_IDETAPE is not set
368 # CONFIG_BLK_DEV_IDEFLOPPY is not set
369 # CONFIG_IDE_TASK_IOCTL is not set
373 # IDE chipset support/bugfixes
376 # CONFIG_IDEPCI_PCIBUS_ORDER is not set
377 # CONFIG_IDE_ARM is not set
378 # CONFIG_BLK_DEV_IDEDMA is not set
379 # CONFIG_BLK_DEV_HD is not set
382 # SCSI device support
384 # CONFIG_RAID_ATTRS is not set
385 # CONFIG_SCSI is not set
386 # CONFIG_SCSI_DMA is not set
387 # CONFIG_SCSI_NETLINK is not set
388 # CONFIG_MD is not set
390 # CONFIG_NETDEVICES_MULTIQUEUE is not set
391 # CONFIG_DUMMY is not set
392 # CONFIG_BONDING is not set
393 # CONFIG_MACVLAN is not set
394 # CONFIG_EQUALIZER is not set
395 # CONFIG_TUN is not set
396 # CONFIG_PHYLIB is not set
397 CONFIG_NET_ETHERNET=y
400 # CONFIG_NE2000 is not set
402 CONFIG_NETDEV_10000=y
407 # CONFIG_WLAN_PRE80211 is not set
408 # CONFIG_WLAN_80211 is not set
409 # CONFIG_NET_PCMCIA is not set
410 # CONFIG_WAN is not set
411 # CONFIG_PPP is not set
412 # CONFIG_SLIP is not set
413 # CONFIG_SHAPER is not set
414 # CONFIG_NETCONSOLE is not set
415 # CONFIG_NETPOLL is not set
416 # CONFIG_NET_POLL_CONTROLLER is not set
417 # CONFIG_ISDN is not set
418 # CONFIG_PHONE is not set
421 # Input device support
424 # CONFIG_INPUT_FF_MEMLESS is not set
425 # CONFIG_INPUT_POLLDEV is not set
428 # Userland interfaces
430 CONFIG_INPUT_MOUSEDEV=y
431 CONFIG_INPUT_MOUSEDEV_PSAUX=y
432 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
433 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
434 # CONFIG_INPUT_JOYDEV is not set
435 # CONFIG_INPUT_TSDEV is not set
436 # CONFIG_INPUT_EVDEV is not set
437 # CONFIG_INPUT_EVBUG is not set
440 # Input Device Drivers
442 # CONFIG_INPUT_KEYBOARD is not set
443 # CONFIG_INPUT_MOUSE is not set
444 # CONFIG_INPUT_JOYSTICK is not set
445 # CONFIG_INPUT_TABLET is not set
446 # CONFIG_INPUT_TOUCHSCREEN is not set
447 # CONFIG_INPUT_MISC is not set
453 # CONFIG_SERIO_I8042 is not set
454 # CONFIG_SERIO_SERPORT is not set
455 # CONFIG_SERIO_LIBPS2 is not set
456 # CONFIG_SERIO_RAW is not set
457 # CONFIG_GAMEPORT is not set
462 # CONFIG_VT is not set
463 # CONFIG_SERIAL_NONSTANDARD is not set
468 # CONFIG_SERIAL_8250 is not set
471 # Non-8250 serial port support
474 CONFIG_SERIAL_CORE_CONSOLE=y
475 CONFIG_SERIAL_M32R_SIO=y
476 CONFIG_SERIAL_M32R_SIO_CONSOLE=y
479 CONFIG_LEGACY_PTY_COUNT=256
480 # CONFIG_IPMI_HANDLER is not set
481 # CONFIG_WATCHDOG is not set
483 # CONFIG_RTC is not set
484 # CONFIG_R3964 is not set
487 # PCMCIA character devices
489 # CONFIG_SYNCLINK_CS is not set
490 # CONFIG_CARDMAN_4000 is not set
491 # CONFIG_CARDMAN_4040 is not set
492 # CONFIG_RAW_DRIVER is not set
493 # CONFIG_TCG_TPM is not set
494 # CONFIG_I2C is not set
499 # CONFIG_SPI is not set
500 # CONFIG_SPI_MASTER is not set
501 # CONFIG_W1 is not set
502 # CONFIG_POWER_SUPPLY is not set
504 # CONFIG_HWMON_VID is not set
505 # CONFIG_SENSORS_ABITUGURU is not set
506 # CONFIG_SENSORS_ABITUGURU3 is not set
507 # CONFIG_SENSORS_F71805F is not set
508 # CONFIG_SENSORS_IT87 is not set
509 # CONFIG_SENSORS_PC87360 is not set
510 # CONFIG_SENSORS_PC87427 is not set
511 # CONFIG_SENSORS_SMSC47M1 is not set
512 # CONFIG_SENSORS_SMSC47B397 is not set
513 # CONFIG_SENSORS_VT1211 is not set
514 # CONFIG_SENSORS_W83627HF is not set
515 # CONFIG_SENSORS_W83627EHF is not set
516 # CONFIG_HWMON_DEBUG_CHIP is not set
519 # Multifunction device drivers
521 # CONFIG_MFD_SM501 is not set
526 # CONFIG_VIDEO_DEV is not set
527 # CONFIG_DVB_CORE is not set
533 # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
536 # Display device support
538 # CONFIG_DISPLAY_SUPPORT is not set
539 # CONFIG_VGASTATE is not set
540 CONFIG_VIDEO_OUTPUT_CONTROL=m
541 # CONFIG_FB is not set
546 # CONFIG_SOUND is not set
549 # CONFIG_HID_DEBUG is not set
551 # CONFIG_USB_ARCH_HAS_HCD is not set
552 # CONFIG_USB_ARCH_HAS_OHCI is not set
553 # CONFIG_USB_ARCH_HAS_EHCI is not set
556 # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support'
562 # CONFIG_USB_GADGET is not set
563 # CONFIG_MMC is not set
564 # CONFIG_NEW_LEDS is not set
569 # CONFIG_RTC_CLASS is not set
574 # CONFIG_UIO is not set
580 # CONFIG_EXT2_FS_XATTR is not set
581 # CONFIG_EXT2_FS_XIP is not set
583 CONFIG_EXT3_FS_XATTR=y
584 # CONFIG_EXT3_FS_POSIX_ACL is not set
585 # CONFIG_EXT3_FS_SECURITY is not set
586 # CONFIG_EXT4DEV_FS is not set
588 # CONFIG_JBD_DEBUG is not set
590 # CONFIG_REISERFS_FS is not set
591 # CONFIG_JFS_FS is not set
592 # CONFIG_FS_POSIX_ACL is not set
593 # CONFIG_XFS_FS is not set
594 # CONFIG_GFS2_FS is not set
595 # CONFIG_OCFS2_FS is not set
596 # CONFIG_MINIX_FS is not set
599 CONFIG_INOTIFY_USER=y
600 # CONFIG_QUOTA is not set
602 # CONFIG_AUTOFS_FS is not set
603 # CONFIG_AUTOFS4_FS is not set
604 # CONFIG_FUSE_FS is not set
607 # CD-ROM/DVD Filesystems
610 # CONFIG_JOLIET is not set
611 # CONFIG_ZISOFS is not set
612 # CONFIG_UDF_FS is not set
615 # DOS/FAT/NT Filesystems
620 CONFIG_FAT_DEFAULT_CODEPAGE=437
621 CONFIG_FAT_DEFAULT_IOCHARSET="iso8859-1"
622 # CONFIG_NTFS_FS is not set
632 # CONFIG_TMPFS_POSIX_ACL is not set
633 # CONFIG_HUGETLB_PAGE is not set
635 # CONFIG_CONFIGFS_FS is not set
638 # Miscellaneous filesystems
640 # CONFIG_ADFS_FS is not set
641 # CONFIG_AFFS_FS is not set
642 # CONFIG_HFS_FS is not set
643 # CONFIG_HFSPLUS_FS is not set
644 # CONFIG_BEFS_FS is not set
645 # CONFIG_BFS_FS is not set
646 # CONFIG_EFS_FS is not set
648 CONFIG_JFFS2_FS_DEBUG=0
649 CONFIG_JFFS2_FS_WRITEBUFFER=y
650 # CONFIG_JFFS2_SUMMARY is not set
651 # CONFIG_JFFS2_FS_XATTR is not set
652 # CONFIG_JFFS2_COMPRESSION_OPTIONS is not set
655 # CONFIG_JFFS2_RUBIN is not set
656 # CONFIG_CRAMFS is not set
657 # CONFIG_VXFS_FS is not set
658 # CONFIG_HPFS_FS is not set
659 # CONFIG_QNX4FS_FS is not set
660 # CONFIG_SYSV_FS is not set
661 # CONFIG_UFS_FS is not set
664 # Network File Systems
668 # CONFIG_NFS_V3_ACL is not set
669 # CONFIG_NFS_V4 is not set
670 # CONFIG_NFS_DIRECTIO is not set
671 # CONFIG_NFSD is not set
677 # CONFIG_SUNRPC_BIND34 is not set
678 # CONFIG_RPCSEC_GSS_KRB5 is not set
679 # CONFIG_RPCSEC_GSS_SPKM3 is not set
680 # CONFIG_SMB_FS is not set
681 # CONFIG_CIFS is not set
682 # CONFIG_NCP_FS is not set
683 # CONFIG_CODA_FS is not set
684 # CONFIG_AFS_FS is not set
689 # CONFIG_PARTITION_ADVANCED is not set
690 CONFIG_MSDOS_PARTITION=y
693 # Native Language Support
696 CONFIG_NLS_DEFAULT="iso8859-1"
697 # CONFIG_NLS_CODEPAGE_437 is not set
698 # CONFIG_NLS_CODEPAGE_737 is not set
699 # CONFIG_NLS_CODEPAGE_775 is not set
700 # CONFIG_NLS_CODEPAGE_850 is not set
701 # CONFIG_NLS_CODEPAGE_852 is not set
702 # CONFIG_NLS_CODEPAGE_855 is not set
703 # CONFIG_NLS_CODEPAGE_857 is not set
704 # CONFIG_NLS_CODEPAGE_860 is not set
705 # CONFIG_NLS_CODEPAGE_861 is not set
706 # CONFIG_NLS_CODEPAGE_862 is not set
707 # CONFIG_NLS_CODEPAGE_863 is not set
708 # CONFIG_NLS_CODEPAGE_864 is not set
709 # CONFIG_NLS_CODEPAGE_865 is not set
710 # CONFIG_NLS_CODEPAGE_866 is not set
711 # CONFIG_NLS_CODEPAGE_869 is not set
712 # CONFIG_NLS_CODEPAGE_936 is not set
713 # CONFIG_NLS_CODEPAGE_950 is not set
714 # CONFIG_NLS_CODEPAGE_932 is not set
715 # CONFIG_NLS_CODEPAGE_949 is not set
716 # CONFIG_NLS_CODEPAGE_874 is not set
717 # CONFIG_NLS_ISO8859_8 is not set
718 # CONFIG_NLS_CODEPAGE_1250 is not set
719 # CONFIG_NLS_CODEPAGE_1251 is not set
720 # CONFIG_NLS_ASCII is not set
721 # CONFIG_NLS_ISO8859_1 is not set
722 # CONFIG_NLS_ISO8859_2 is not set
723 # CONFIG_NLS_ISO8859_3 is not set
724 # CONFIG_NLS_ISO8859_4 is not set
725 # CONFIG_NLS_ISO8859_5 is not set
726 # CONFIG_NLS_ISO8859_6 is not set
727 # CONFIG_NLS_ISO8859_7 is not set
728 # CONFIG_NLS_ISO8859_9 is not set
729 # CONFIG_NLS_ISO8859_13 is not set
730 # CONFIG_NLS_ISO8859_14 is not set
731 # CONFIG_NLS_ISO8859_15 is not set
732 # CONFIG_NLS_KOI8_R is not set
733 # CONFIG_NLS_KOI8_U is not set
734 # CONFIG_NLS_UTF8 is not set
737 # Distributed Lock Manager
739 # CONFIG_DLM is not set
744 # CONFIG_PROFILING is not set
749 # CONFIG_PRINTK_TIME is not set
750 CONFIG_ENABLE_MUST_CHECK=y
751 # CONFIG_MAGIC_SYSRQ is not set
752 # CONFIG_UNUSED_SYMBOLS is not set
753 # CONFIG_DEBUG_FS is not set
754 # CONFIG_HEADERS_CHECK is not set
755 # CONFIG_DEBUG_KERNEL is not set
756 # CONFIG_DEBUG_BUGVERBOSE is not set
757 # CONFIG_FRAME_POINTER is not set
762 # CONFIG_KEYS is not set
763 # CONFIG_SECURITY is not set
764 # CONFIG_CRYPTO is not set
770 # CONFIG_CRC_CCITT is not set
771 # CONFIG_CRC16 is not set
772 # CONFIG_CRC_ITU_T is not set
774 # CONFIG_CRC7 is not set
775 # CONFIG_LIBCRC32C is not set
776 CONFIG_ZLIB_INFLATE=y
777 CONFIG_ZLIB_DEFLATE=y