x86: add PAGE_KERNEL_EXEC_NOCACHE
[wrt350n-kernel.git] / arch / ppc / configs / mpc8555_cds_defconfig
blob4f1e320acfbe524327b6704c2302d105fb9fa2d5
2 # Automatically generated make config: don't edit
3 # Linux kernel version: 2.6.12-rc4
4 # Tue May 17 11:56:01 2005
6 CONFIG_MMU=y
7 CONFIG_GENERIC_HARDIRQS=y
8 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
9 CONFIG_GENERIC_CALIBRATE_DELAY=y
10 CONFIG_HAVE_DEC_LOCK=y
11 CONFIG_PPC=y
12 CONFIG_PPC32=y
13 CONFIG_GENERIC_NVRAM=y
14 CONFIG_SCHED_NO_NO_OMIT_FRAME_POINTER=y
17 # Code maturity level options
19 CONFIG_EXPERIMENTAL=y
20 CONFIG_CLEAN_COMPILE=y
21 CONFIG_BROKEN_ON_SMP=y
22 CONFIG_INIT_ENV_ARG_LIMIT=32
25 # General setup
27 CONFIG_LOCALVERSION=""
28 CONFIG_SWAP=y
29 CONFIG_SYSVIPC=y
30 # CONFIG_POSIX_MQUEUE is not set
31 # CONFIG_BSD_PROCESS_ACCT is not set
32 CONFIG_SYSCTL=y
33 # CONFIG_AUDIT is not set
34 # CONFIG_HOTPLUG is not set
35 CONFIG_KOBJECT_UEVENT=y
36 # CONFIG_IKCONFIG is not set
37 CONFIG_EMBEDDED=y
38 # CONFIG_KALLSYMS is not set
39 CONFIG_PRINTK=y
40 CONFIG_BUG=y
41 CONFIG_BASE_FULL=y
42 CONFIG_FUTEX=y
43 # CONFIG_EPOLL is not set
44 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
45 CONFIG_SHMEM=y
46 CONFIG_CC_ALIGN_FUNCTIONS=0
47 CONFIG_CC_ALIGN_LABELS=0
48 CONFIG_CC_ALIGN_LOOPS=0
49 CONFIG_CC_ALIGN_JUMPS=0
50 # CONFIG_TINY_SHMEM is not set
51 CONFIG_BASE_SMALL=0
54 # Loadable module support
56 # CONFIG_MODULES is not set
59 # Processor
61 # CONFIG_6xx is not set
62 # CONFIG_40x is not set
63 # CONFIG_44x is not set
64 # CONFIG_POWER3 is not set
65 # CONFIG_POWER4 is not set
66 # CONFIG_8xx is not set
67 CONFIG_E500=y
68 CONFIG_BOOKE=y
69 CONFIG_FSL_BOOKE=y
70 # CONFIG_PHYS_64BIT is not set
71 CONFIG_SPE=y
72 CONFIG_MATH_EMULATION=y
73 # CONFIG_CPU_FREQ is not set
74 CONFIG_PPC_GEN550=y
75 # CONFIG_PM is not set
76 CONFIG_85xx=y
77 CONFIG_PPC_INDIRECT_PCI_BE=y
80 # Freescale 85xx options
82 # CONFIG_MPC8540_ADS is not set
83 CONFIG_MPC8555_CDS=y
84 # CONFIG_MPC8560_ADS is not set
85 # CONFIG_SBC8560 is not set
86 # CONFIG_STX_GP3 is not set
87 CONFIG_MPC8555=y
88 CONFIG_85xx_PCI2=y
91 # Platform options
93 CONFIG_CPM2=y
94 # CONFIG_PC_KEYBOARD is not set
95 # CONFIG_SMP is not set
96 # CONFIG_PREEMPT is not set
97 # CONFIG_HIGHMEM is not set
98 CONFIG_BINFMT_ELF=y
99 # CONFIG_BINFMT_MISC is not set
100 # CONFIG_CMDLINE_BOOL is not set
101 CONFIG_ISA_DMA_API=y
104 # Bus options
106 CONFIG_PCI=y
107 CONFIG_PCI_DOMAINS=y
108 # CONFIG_PCI_LEGACY_PROC is not set
109 CONFIG_PCI_NAMES=y
112 # PCCARD (PCMCIA/CardBus) support
114 # CONFIG_PCCARD is not set
117 # Advanced setup
119 # CONFIG_ADVANCED_OPTIONS is not set
122 # Default settings for advanced configuration options are used
124 CONFIG_HIGHMEM_START=0xfe000000
125 CONFIG_LOWMEM_SIZE=0x30000000
126 CONFIG_KERNEL_START=0xc0000000
127 CONFIG_TASK_SIZE=0x80000000
128 CONFIG_BOOT_LOAD=0x00800000
131 # Device Drivers
135 # Generic Driver Options
137 CONFIG_STANDALONE=y
138 CONFIG_PREVENT_FIRMWARE_BUILD=y
139 # CONFIG_FW_LOADER is not set
142 # Memory Technology Devices (MTD)
144 # CONFIG_MTD is not set
147 # Parallel port support
149 # CONFIG_PARPORT is not set
152 # Plug and Play support
156 # Block devices
158 # CONFIG_BLK_DEV_FD is not set
159 # CONFIG_BLK_CPQ_DA is not set
160 # CONFIG_BLK_CPQ_CISS_DA is not set
161 # CONFIG_BLK_DEV_DAC960 is not set
162 # CONFIG_BLK_DEV_UMEM is not set
163 # CONFIG_BLK_DEV_COW_COMMON is not set
164 CONFIG_BLK_DEV_LOOP=y
165 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
166 # CONFIG_BLK_DEV_NBD is not set
167 # CONFIG_BLK_DEV_SX8 is not set
168 CONFIG_BLK_DEV_RAM=y
169 CONFIG_BLK_DEV_RAM_COUNT=16
170 CONFIG_BLK_DEV_RAM_SIZE=32768
171 CONFIG_BLK_DEV_INITRD=y
172 CONFIG_INITRAMFS_SOURCE=""
173 # CONFIG_LBD is not set
174 # CONFIG_CDROM_PKTCDVD is not set
177 # IO Schedulers
179 CONFIG_IOSCHED_NOOP=y
180 CONFIG_IOSCHED_AS=y
181 CONFIG_IOSCHED_DEADLINE=y
182 CONFIG_IOSCHED_CFQ=y
183 # CONFIG_ATA_OVER_ETH is not set
186 # ATA/ATAPI/MFM/RLL support
188 CONFIG_IDE=y
189 CONFIG_BLK_DEV_IDE=y
192 # Please see Documentation/ide.txt for help/info on IDE drives
194 # CONFIG_BLK_DEV_IDE_SATA is not set
195 CONFIG_BLK_DEV_IDEDISK=y
196 # CONFIG_IDEDISK_MULTI_MODE is not set
197 # CONFIG_BLK_DEV_IDECD is not set
198 # CONFIG_BLK_DEV_IDETAPE is not set
199 # CONFIG_BLK_DEV_IDEFLOPPY is not set
200 # CONFIG_IDE_TASK_IOCTL is not set
203 # IDE chipset support/bugfixes
205 CONFIG_IDE_GENERIC=y
206 CONFIG_BLK_DEV_IDEPCI=y
207 CONFIG_IDEPCI_SHARE_IRQ=y
208 # CONFIG_BLK_DEV_OFFBOARD is not set
209 CONFIG_BLK_DEV_GENERIC=y
210 # CONFIG_BLK_DEV_OPTI621 is not set
211 # CONFIG_BLK_DEV_SL82C105 is not set
212 CONFIG_BLK_DEV_IDEDMA_PCI=y
213 # CONFIG_BLK_DEV_IDEDMA_FORCED is not set
214 CONFIG_IDEDMA_PCI_AUTO=y
215 # CONFIG_IDEDMA_ONLYDISK is not set
216 # CONFIG_BLK_DEV_AEC62XX is not set
217 # CONFIG_BLK_DEV_ALI15X3 is not set
218 # CONFIG_BLK_DEV_AMD74XX is not set
219 # CONFIG_BLK_DEV_CMD64X is not set
220 # CONFIG_BLK_DEV_TRIFLEX is not set
221 # CONFIG_BLK_DEV_CY82C693 is not set
222 # CONFIG_BLK_DEV_CS5520 is not set
223 # CONFIG_BLK_DEV_CS5530 is not set
224 # CONFIG_BLK_DEV_HPT34X is not set
225 # CONFIG_BLK_DEV_HPT366 is not set
226 # CONFIG_BLK_DEV_SC1200 is not set
227 # CONFIG_BLK_DEV_PIIX is not set
228 # CONFIG_BLK_DEV_NS87415 is not set
229 # CONFIG_BLK_DEV_PDC202XX_OLD is not set
230 # CONFIG_BLK_DEV_PDC202XX_NEW is not set
231 # CONFIG_BLK_DEV_SVWKS is not set
232 # CONFIG_BLK_DEV_SIIMAGE is not set
233 # CONFIG_BLK_DEV_SLC90E66 is not set
234 # CONFIG_BLK_DEV_TRM290 is not set
235 CONFIG_BLK_DEV_VIA82CXXX=y
236 # CONFIG_IDE_ARM is not set
237 CONFIG_BLK_DEV_IDEDMA=y
238 # CONFIG_IDEDMA_IVB is not set
239 CONFIG_IDEDMA_AUTO=y
240 # CONFIG_BLK_DEV_HD is not set
243 # SCSI device support
245 # CONFIG_SCSI is not set
248 # Multi-device support (RAID and LVM)
250 # CONFIG_MD is not set
253 # Fusion MPT device support
257 # IEEE 1394 (FireWire) support
259 # CONFIG_IEEE1394 is not set
262 # I2O device support
264 # CONFIG_I2O is not set
267 # Macintosh device drivers
271 # Networking support
273 CONFIG_NET=y
276 # Networking options
278 CONFIG_PACKET=y
279 # CONFIG_PACKET_MMAP is not set
280 CONFIG_UNIX=y
281 # CONFIG_NET_KEY is not set
282 CONFIG_INET=y
283 CONFIG_IP_MULTICAST=y
284 # CONFIG_IP_ADVANCED_ROUTER is not set
285 CONFIG_IP_PNP=y
286 CONFIG_IP_PNP_DHCP=y
287 CONFIG_IP_PNP_BOOTP=y
288 # CONFIG_IP_PNP_RARP is not set
289 # CONFIG_NET_IPIP is not set
290 # CONFIG_NET_IPGRE is not set
291 # CONFIG_IP_MROUTE is not set
292 # CONFIG_ARPD is not set
293 CONFIG_SYN_COOKIES=y
294 # CONFIG_INET_AH is not set
295 # CONFIG_INET_ESP is not set
296 # CONFIG_INET_IPCOMP is not set
297 # CONFIG_INET_TUNNEL is not set
298 CONFIG_IP_TCPDIAG=y
299 # CONFIG_IP_TCPDIAG_IPV6 is not set
300 # CONFIG_IPV6 is not set
301 # CONFIG_NETFILTER is not set
304 # SCTP Configuration (EXPERIMENTAL)
306 # CONFIG_IP_SCTP is not set
307 # CONFIG_ATM is not set
308 # CONFIG_BRIDGE is not set
309 # CONFIG_VLAN_8021Q is not set
310 # CONFIG_DECNET is not set
311 # CONFIG_LLC2 is not set
312 # CONFIG_IPX is not set
313 # CONFIG_ATALK is not set
314 # CONFIG_X25 is not set
315 # CONFIG_LAPB is not set
316 # CONFIG_NET_DIVERT is not set
317 # CONFIG_ECONET is not set
318 # CONFIG_WAN_ROUTER is not set
321 # QoS and/or fair queueing
323 # CONFIG_NET_SCHED is not set
324 # CONFIG_NET_CLS_ROUTE is not set
327 # Network testing
329 # CONFIG_NET_PKTGEN is not set
330 # CONFIG_NETPOLL is not set
331 # CONFIG_NET_POLL_CONTROLLER is not set
332 # CONFIG_HAMRADIO is not set
333 # CONFIG_IRDA is not set
334 # CONFIG_BT is not set
335 CONFIG_NETDEVICES=y
336 # CONFIG_DUMMY is not set
337 # CONFIG_BONDING is not set
338 # CONFIG_EQUALIZER is not set
339 # CONFIG_TUN is not set
342 # ARCnet devices
344 # CONFIG_ARCNET is not set
347 # Ethernet (10 or 100Mbit)
349 CONFIG_NET_ETHERNET=y
350 CONFIG_MII=y
351 # CONFIG_HAPPYMEAL is not set
352 # CONFIG_SUNGEM is not set
353 # CONFIG_NET_VENDOR_3COM is not set
356 # Tulip family network device support
358 # CONFIG_NET_TULIP is not set
359 # CONFIG_HP100 is not set
360 # CONFIG_NET_PCI is not set
363 # Ethernet (1000 Mbit)
365 # CONFIG_ACENIC is not set
366 # CONFIG_DL2K is not set
367 # CONFIG_E1000 is not set
368 # CONFIG_NS83820 is not set
369 # CONFIG_HAMACHI is not set
370 # CONFIG_YELLOWFIN is not set
371 # CONFIG_R8169 is not set
372 # CONFIG_SK98LIN is not set
373 # CONFIG_TIGON3 is not set
374 CONFIG_GIANFAR=y
375 CONFIG_GFAR_NAPI=y
378 # Ethernet (10000 Mbit)
380 # CONFIG_IXGB is not set
381 # CONFIG_S2IO is not set
384 # Token Ring devices
386 # CONFIG_TR is not set
389 # Wireless LAN (non-hamradio)
391 # CONFIG_NET_RADIO is not set
394 # Wan interfaces
396 # CONFIG_WAN is not set
397 # CONFIG_FDDI is not set
398 # CONFIG_HIPPI is not set
399 # CONFIG_PPP is not set
400 # CONFIG_SLIP is not set
401 # CONFIG_SHAPER is not set
402 # CONFIG_NETCONSOLE is not set
405 # ISDN subsystem
407 # CONFIG_ISDN is not set
410 # Telephony Support
412 # CONFIG_PHONE is not set
415 # Input device support
417 CONFIG_INPUT=y
420 # Userland interfaces
422 # CONFIG_INPUT_MOUSEDEV is not set
423 # CONFIG_INPUT_JOYDEV is not set
424 # CONFIG_INPUT_TSDEV is not set
425 # CONFIG_INPUT_EVDEV is not set
426 # CONFIG_INPUT_EVBUG is not set
429 # Input Device Drivers
431 # CONFIG_INPUT_KEYBOARD is not set
432 # CONFIG_INPUT_MOUSE is not set
433 # CONFIG_INPUT_JOYSTICK is not set
434 # CONFIG_INPUT_TOUCHSCREEN is not set
435 # CONFIG_INPUT_MISC is not set
438 # Hardware I/O ports
440 # CONFIG_SERIO is not set
441 # CONFIG_GAMEPORT is not set
442 CONFIG_SOUND_GAMEPORT=y
445 # Character devices
447 # CONFIG_VT is not set
448 # CONFIG_SERIAL_NONSTANDARD is not set
451 # Serial drivers
453 CONFIG_SERIAL_8250=y
454 CONFIG_SERIAL_8250_CONSOLE=y
455 CONFIG_SERIAL_8250_NR_UARTS=4
456 # CONFIG_SERIAL_8250_EXTENDED is not set
459 # Non-8250 serial port support
461 CONFIG_SERIAL_CORE=y
462 CONFIG_SERIAL_CORE_CONSOLE=y
463 # CONFIG_SERIAL_CPM is not set
464 # CONFIG_SERIAL_JSM is not set
465 CONFIG_UNIX98_PTYS=y
466 CONFIG_LEGACY_PTYS=y
467 CONFIG_LEGACY_PTY_COUNT=256
470 # IPMI
472 # CONFIG_IPMI_HANDLER is not set
475 # Watchdog Cards
477 # CONFIG_WATCHDOG is not set
478 # CONFIG_NVRAM is not set
479 CONFIG_GEN_RTC=y
480 # CONFIG_GEN_RTC_X is not set
481 # CONFIG_DTLK is not set
482 # CONFIG_R3964 is not set
483 # CONFIG_APPLICOM is not set
486 # Ftape, the floppy tape device driver
488 # CONFIG_AGP is not set
489 # CONFIG_DRM is not set
490 # CONFIG_RAW_DRIVER is not set
493 # TPM devices
495 # CONFIG_TCG_TPM is not set
498 # I2C support
500 CONFIG_I2C=y
501 CONFIG_I2C_CHARDEV=y
504 # I2C Algorithms
506 # CONFIG_I2C_ALGOBIT is not set
507 # CONFIG_I2C_ALGOPCF is not set
508 # CONFIG_I2C_ALGOPCA is not set
511 # I2C Hardware Bus support
513 # CONFIG_I2C_ALI1535 is not set
514 # CONFIG_I2C_ALI1563 is not set
515 # CONFIG_I2C_ALI15X3 is not set
516 # CONFIG_I2C_AMD756 is not set
517 # CONFIG_I2C_AMD8111 is not set
518 # CONFIG_I2C_I801 is not set
519 # CONFIG_I2C_I810 is not set
520 # CONFIG_I2C_PIIX4 is not set
521 CONFIG_I2C_MPC=y
522 # CONFIG_I2C_NFORCE2 is not set
523 # CONFIG_I2C_PARPORT_LIGHT is not set
524 # CONFIG_I2C_PROSAVAGE is not set
525 # CONFIG_I2C_SAVAGE4 is not set
526 # CONFIG_SCx200_ACB is not set
527 # CONFIG_I2C_SIS5595 is not set
528 # CONFIG_I2C_SIS630 is not set
529 # CONFIG_I2C_SIS96X is not set
530 # CONFIG_I2C_VIA is not set
531 # CONFIG_I2C_VIAPRO is not set
532 # CONFIG_I2C_VOODOO3 is not set
533 # CONFIG_I2C_PCA_ISA is not set
536 # Hardware Sensors Chip support
538 # CONFIG_I2C_SENSOR is not set
539 # CONFIG_SENSORS_ADM1021 is not set
540 # CONFIG_SENSORS_ADM1025 is not set
541 # CONFIG_SENSORS_ADM1026 is not set
542 # CONFIG_SENSORS_ADM1031 is not set
543 # CONFIG_SENSORS_ASB100 is not set
544 # CONFIG_SENSORS_DS1621 is not set
545 # CONFIG_SENSORS_FSCHER is not set
546 # CONFIG_SENSORS_FSCPOS is not set
547 # CONFIG_SENSORS_GL518SM is not set
548 # CONFIG_SENSORS_GL520SM is not set
549 # CONFIG_SENSORS_IT87 is not set
550 # CONFIG_SENSORS_LM63 is not set
551 # CONFIG_SENSORS_LM75 is not set
552 # CONFIG_SENSORS_LM77 is not set
553 # CONFIG_SENSORS_LM78 is not set
554 # CONFIG_SENSORS_LM80 is not set
555 # CONFIG_SENSORS_LM83 is not set
556 # CONFIG_SENSORS_LM85 is not set
557 # CONFIG_SENSORS_LM87 is not set
558 # CONFIG_SENSORS_LM90 is not set
559 # CONFIG_SENSORS_LM92 is not set
560 # CONFIG_SENSORS_MAX1619 is not set
561 # CONFIG_SENSORS_PC87360 is not set
562 # CONFIG_SENSORS_SMSC47B397 is not set
563 # CONFIG_SENSORS_SIS5595 is not set
564 # CONFIG_SENSORS_SMSC47M1 is not set
565 # CONFIG_SENSORS_VIA686A is not set
566 # CONFIG_SENSORS_W83781D is not set
567 # CONFIG_SENSORS_W83L785TS is not set
568 # CONFIG_SENSORS_W83627HF is not set
571 # Other I2C Chip support
573 # CONFIG_SENSORS_DS1337 is not set
574 # CONFIG_SENSORS_EEPROM is not set
575 # CONFIG_SENSORS_PCF8574 is not set
576 # CONFIG_SENSORS_PCF8591 is not set
577 # CONFIG_SENSORS_RTC8564 is not set
578 # CONFIG_SENSORS_M41T00 is not set
579 # CONFIG_I2C_DEBUG_CORE is not set
580 # CONFIG_I2C_DEBUG_ALGO is not set
581 # CONFIG_I2C_DEBUG_BUS is not set
582 # CONFIG_I2C_DEBUG_CHIP is not set
585 # Dallas's 1-wire bus
587 # CONFIG_W1 is not set
590 # Misc devices
594 # Multimedia devices
596 # CONFIG_VIDEO_DEV is not set
599 # Digital Video Broadcasting Devices
601 # CONFIG_DVB is not set
604 # Graphics support
606 # CONFIG_FB is not set
609 # Sound
611 # CONFIG_SOUND is not set
614 # USB support
616 CONFIG_USB_ARCH_HAS_HCD=y
617 CONFIG_USB_ARCH_HAS_OHCI=y
618 # CONFIG_USB is not set
621 # USB Gadget Support
623 # CONFIG_USB_GADGET is not set
626 # MMC/SD Card support
628 # CONFIG_MMC is not set
631 # InfiniBand support
633 # CONFIG_INFINIBAND is not set
636 # File systems
638 CONFIG_EXT2_FS=y
639 # CONFIG_EXT2_FS_XATTR is not set
640 CONFIG_EXT3_FS=y
641 CONFIG_EXT3_FS_XATTR=y
642 # CONFIG_EXT3_FS_POSIX_ACL is not set
643 # CONFIG_EXT3_FS_SECURITY is not set
644 CONFIG_JBD=y
645 # CONFIG_JBD_DEBUG is not set
646 CONFIG_FS_MBCACHE=y
647 # CONFIG_REISERFS_FS is not set
648 # CONFIG_JFS_FS is not set
651 # XFS support
653 # CONFIG_XFS_FS is not set
654 # CONFIG_MINIX_FS is not set
655 # CONFIG_ROMFS_FS is not set
656 # CONFIG_QUOTA is not set
657 CONFIG_DNOTIFY=y
658 # CONFIG_AUTOFS_FS is not set
659 # CONFIG_AUTOFS4_FS is not set
662 # CD-ROM/DVD Filesystems
664 # CONFIG_ISO9660_FS is not set
665 # CONFIG_UDF_FS is not set
668 # DOS/FAT/NT Filesystems
670 # CONFIG_MSDOS_FS is not set
671 # CONFIG_VFAT_FS is not set
672 # CONFIG_NTFS_FS is not set
675 # Pseudo filesystems
677 CONFIG_PROC_FS=y
678 CONFIG_PROC_KCORE=y
679 CONFIG_SYSFS=y
680 # CONFIG_DEVFS_FS is not set
681 # CONFIG_DEVPTS_FS_XATTR is not set
682 CONFIG_TMPFS=y
683 # CONFIG_TMPFS_XATTR is not set
684 # CONFIG_HUGETLB_PAGE is not set
685 CONFIG_RAMFS=y
688 # Miscellaneous filesystems
690 # CONFIG_ADFS_FS is not set
691 # CONFIG_AFFS_FS is not set
692 # CONFIG_HFS_FS is not set
693 # CONFIG_HFSPLUS_FS is not set
694 # CONFIG_BEFS_FS is not set
695 # CONFIG_BFS_FS is not set
696 # CONFIG_EFS_FS is not set
697 # CONFIG_CRAMFS is not set
698 # CONFIG_VXFS_FS is not set
699 # CONFIG_HPFS_FS is not set
700 # CONFIG_QNX4FS_FS is not set
701 # CONFIG_SYSV_FS is not set
702 # CONFIG_UFS_FS is not set
705 # Network File Systems
707 CONFIG_NFS_FS=y
708 # CONFIG_NFS_V3 is not set
709 # CONFIG_NFS_V4 is not set
710 # CONFIG_NFS_DIRECTIO is not set
711 # CONFIG_NFSD is not set
712 CONFIG_ROOT_NFS=y
713 CONFIG_LOCKD=y
714 CONFIG_SUNRPC=y
715 # CONFIG_RPCSEC_GSS_KRB5 is not set
716 # CONFIG_RPCSEC_GSS_SPKM3 is not set
717 # CONFIG_SMB_FS is not set
718 # CONFIG_CIFS is not set
719 # CONFIG_NCP_FS is not set
720 # CONFIG_CODA_FS is not set
721 # CONFIG_AFS_FS is not set
724 # Partition Types
726 CONFIG_PARTITION_ADVANCED=y
727 # CONFIG_ACORN_PARTITION is not set
728 # CONFIG_OSF_PARTITION is not set
729 # CONFIG_AMIGA_PARTITION is not set
730 # CONFIG_ATARI_PARTITION is not set
731 # CONFIG_MAC_PARTITION is not set
732 # CONFIG_MSDOS_PARTITION is not set
733 # CONFIG_LDM_PARTITION is not set
734 # CONFIG_SGI_PARTITION is not set
735 # CONFIG_ULTRIX_PARTITION is not set
736 # CONFIG_SUN_PARTITION is not set
737 # CONFIG_EFI_PARTITION is not set
740 # Native Language Support
742 # CONFIG_NLS is not set
743 # CONFIG_SCC_ENET is not set
744 # CONFIG_FEC_ENET is not set
747 # CPM2 Options
751 # Library routines
753 # CONFIG_CRC_CCITT is not set
754 CONFIG_CRC32=y
755 # CONFIG_LIBCRC32C is not set
758 # Profiling support
760 # CONFIG_PROFILING is not set
763 # Kernel hacking
765 # CONFIG_PRINTK_TIME is not set
766 # CONFIG_DEBUG_KERNEL is not set
767 CONFIG_LOG_BUF_SHIFT=14
768 # CONFIG_KGDB_CONSOLE is not set
769 # CONFIG_SERIAL_TEXT_DEBUG is not set
772 # Security options
774 # CONFIG_KEYS is not set
775 # CONFIG_SECURITY is not set
778 # Cryptographic options
780 # CONFIG_CRYPTO is not set
783 # Hardware crypto devices