[PATCH] ppc32/8xx: Fix r3 trashing due to 8MB TLB page instantiation
[linux-2.6] / arch / ppc / configs / mpc834x_sys_defconfig
1 #
2 # Automatically generated make config: don't edit
3 # Linux kernel version: 2.6.14
4 # Mon Nov  7 15:38:29 2005
5 #
6 CONFIG_MMU=y
7 CONFIG_GENERIC_HARDIRQS=y
8 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
9 CONFIG_GENERIC_CALIBRATE_DELAY=y
10 CONFIG_PPC=y
11 CONFIG_PPC32=y
12 CONFIG_GENERIC_NVRAM=y
13 CONFIG_SCHED_NO_NO_OMIT_FRAME_POINTER=y
14 CONFIG_ARCH_MAY_HAVE_PC_FDC=y
15
16 #
17 # Code maturity level options
18 #
19 CONFIG_EXPERIMENTAL=y
20 CONFIG_CLEAN_COMPILE=y
21 CONFIG_BROKEN_ON_SMP=y
22 CONFIG_INIT_ENV_ARG_LIMIT=32
23
24 #
25 # General setup
26 #
27 CONFIG_LOCALVERSION=""
28 CONFIG_LOCALVERSION_AUTO=y
29 CONFIG_SWAP=y
30 CONFIG_SYSVIPC=y
31 # CONFIG_POSIX_MQUEUE is not set
32 # CONFIG_BSD_PROCESS_ACCT is not set
33 CONFIG_SYSCTL=y
34 # CONFIG_AUDIT is not set
35 # CONFIG_HOTPLUG is not set
36 CONFIG_KOBJECT_UEVENT=y
37 # CONFIG_IKCONFIG is not set
38 CONFIG_INITRAMFS_SOURCE=""
39 CONFIG_EMBEDDED=y
40 # CONFIG_KALLSYMS is not set
41 CONFIG_PRINTK=y
42 CONFIG_BUG=y
43 CONFIG_BASE_FULL=y
44 CONFIG_FUTEX=y
45 # CONFIG_EPOLL is not set
46 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
47 CONFIG_SHMEM=y
48 CONFIG_CC_ALIGN_FUNCTIONS=0
49 CONFIG_CC_ALIGN_LABELS=0
50 CONFIG_CC_ALIGN_LOOPS=0
51 CONFIG_CC_ALIGN_JUMPS=0
52 # CONFIG_TINY_SHMEM is not set
53 CONFIG_BASE_SMALL=0
54
55 #
56 # Loadable module support
57 #
58 # CONFIG_MODULES is not set
59
60 #
61 # Processor
62 #
63 CONFIG_6xx=y
64 # CONFIG_40x is not set
65 # CONFIG_44x is not set
66 # CONFIG_POWER3 is not set
67 # CONFIG_POWER4 is not set
68 # CONFIG_8xx is not set
69 # CONFIG_E200 is not set
70 # CONFIG_E500 is not set
71 CONFIG_PPC_FPU=y
72 # CONFIG_KEXEC is not set
73 # CONFIG_CPU_FREQ is not set
74 # CONFIG_WANT_EARLY_SERIAL is not set
75 CONFIG_PPC_GEN550=y
76 CONFIG_PPC_STD_MMU=y
77
78 #
79 # Platform options
80 #
81 # CONFIG_PPC_MULTIPLATFORM is not set
82 # CONFIG_APUS is not set
83 # CONFIG_KATANA is not set
84 # CONFIG_WILLOW is not set
85 # CONFIG_CPCI690 is not set
86 # CONFIG_POWERPMC250 is not set
87 # CONFIG_CHESTNUT is not set
88 # CONFIG_SPRUCE is not set
89 # CONFIG_HDPU is not set
90 # CONFIG_EV64260 is not set
91 # CONFIG_LOPEC is not set
92 # CONFIG_MVME5100 is not set
93 # CONFIG_PPLUS is not set
94 # CONFIG_PRPMC750 is not set
95 # CONFIG_PRPMC800 is not set
96 # CONFIG_SANDPOINT is not set
97 # CONFIG_RADSTONE_PPC7D is not set
98 # CONFIG_PAL4 is not set
99 # CONFIG_GEMINI is not set
100 # CONFIG_EST8260 is not set
101 # CONFIG_SBC82xx is not set
102 # CONFIG_SBS8260 is not set
103 # CONFIG_RPX8260 is not set
104 # CONFIG_TQM8260 is not set
105 # CONFIG_ADS8272 is not set
106 # CONFIG_PQ2FADS is not set
107 # CONFIG_LITE5200 is not set
108 CONFIG_MPC834x_SYS=y
109 # CONFIG_EV64360 is not set
110 CONFIG_83xx=y
111 CONFIG_MPC834x=y
112 # CONFIG_SMP is not set
113 # CONFIG_HIGHMEM is not set
114 # CONFIG_HZ_100 is not set
115 CONFIG_HZ_250=y
116 # CONFIG_HZ_1000 is not set
117 CONFIG_HZ=250
118 CONFIG_PREEMPT_NONE=y
119 # CONFIG_PREEMPT_VOLUNTARY is not set
120 # CONFIG_PREEMPT is not set
121 CONFIG_SELECT_MEMORY_MODEL=y
122 CONFIG_FLATMEM_MANUAL=y
123 # CONFIG_DISCONTIGMEM_MANUAL is not set
124 # CONFIG_SPARSEMEM_MANUAL is not set
125 CONFIG_FLATMEM=y
126 CONFIG_FLAT_NODE_MEM_MAP=y
127 # CONFIG_SPARSEMEM_STATIC is not set
128 CONFIG_SPLIT_PTLOCK_CPUS=4
129 CONFIG_BINFMT_ELF=y
130 # CONFIG_BINFMT_MISC is not set
131 # CONFIG_CMDLINE_BOOL is not set
132 # CONFIG_PM is not set
133 # CONFIG_SOFTWARE_SUSPEND is not set
134 CONFIG_SECCOMP=y
135 CONFIG_ISA_DMA_API=y
136
137 #
138 # Bus options
139 #
140 CONFIG_GENERIC_ISA_DMA=y
141 # CONFIG_PPC_I8259 is not set
142 CONFIG_PPC_INDIRECT_PCI=y
143 CONFIG_PCI=y
144 CONFIG_PCI_DOMAINS=y
145 # CONFIG_MPC83xx_PCI2 is not set
146 CONFIG_PCI_LEGACY_PROC=y
147
148 #
149 # PCCARD (PCMCIA/CardBus) support
150 #
151 # CONFIG_PCCARD is not set
152
153 #
154 # Advanced setup
155 #
156 # CONFIG_ADVANCED_OPTIONS is not set
157
158 #
159 # Default settings for advanced configuration options are used
160 #
161 CONFIG_HIGHMEM_START=0xfe000000
162 CONFIG_LOWMEM_SIZE=0x30000000
163 CONFIG_KERNEL_START=0xc0000000
164 CONFIG_TASK_SIZE=0x80000000
165 CONFIG_BOOT_LOAD=0x00800000
166
167 #
168 # Networking
169 #
170 CONFIG_NET=y
171
172 #
173 # Networking options
174 #
175 CONFIG_PACKET=y
176 # CONFIG_PACKET_MMAP is not set
177 CONFIG_UNIX=y
178 # CONFIG_NET_KEY is not set
179 CONFIG_INET=y
180 CONFIG_IP_MULTICAST=y
181 # CONFIG_IP_ADVANCED_ROUTER is not set
182 CONFIG_IP_FIB_HASH=y
183 CONFIG_IP_PNP=y
184 CONFIG_IP_PNP_DHCP=y
185 CONFIG_IP_PNP_BOOTP=y
186 # CONFIG_IP_PNP_RARP is not set
187 # CONFIG_NET_IPIP is not set
188 # CONFIG_NET_IPGRE is not set
189 # CONFIG_IP_MROUTE is not set
190 # CONFIG_ARPD is not set
191 CONFIG_SYN_COOKIES=y
192 # CONFIG_INET_AH is not set
193 # CONFIG_INET_ESP is not set
194 # CONFIG_INET_IPCOMP is not set
195 # CONFIG_INET_TUNNEL is not set
196 CONFIG_INET_DIAG=y
197 CONFIG_INET_TCP_DIAG=y
198 # CONFIG_TCP_CONG_ADVANCED is not set
199 CONFIG_TCP_CONG_BIC=y
200 # CONFIG_IPV6 is not set
201 # CONFIG_NETFILTER is not set
202
203 #
204 # DCCP Configuration (EXPERIMENTAL)
205 #
206 # CONFIG_IP_DCCP is not set
207
208 #
209 # SCTP Configuration (EXPERIMENTAL)
210 #
211 # CONFIG_IP_SCTP is not set
212 # CONFIG_ATM is not set
213 # CONFIG_BRIDGE is not set
214 # CONFIG_VLAN_8021Q is not set
215 # CONFIG_DECNET is not set
216 # CONFIG_LLC2 is not set
217 # CONFIG_IPX is not set
218 # CONFIG_ATALK is not set
219 # CONFIG_X25 is not set
220 # CONFIG_LAPB is not set
221 # CONFIG_NET_DIVERT is not set
222 # CONFIG_ECONET is not set
223 # CONFIG_WAN_ROUTER is not set
224 # CONFIG_NET_SCHED is not set
225 # CONFIG_NET_CLS_ROUTE is not set
226
227 #
228 # Network testing
229 #
230 # CONFIG_NET_PKTGEN is not set
231 # CONFIG_HAMRADIO is not set
232 # CONFIG_IRDA is not set
233 # CONFIG_BT is not set
234 # CONFIG_IEEE80211 is not set
235
236 #
237 # Device Drivers
238 #
239
240 #
241 # Generic Driver Options
242 #
243 CONFIG_STANDALONE=y
244 CONFIG_PREVENT_FIRMWARE_BUILD=y
245 # CONFIG_FW_LOADER is not set
246
247 #
248 # Connector - unified userspace <-> kernelspace linker
249 #
250 # CONFIG_CONNECTOR is not set
251
252 #
253 # Memory Technology Devices (MTD)
254 #
255 # CONFIG_MTD is not set
256
257 #
258 # Parallel port support
259 #
260 # CONFIG_PARPORT is not set
261
262 #
263 # Plug and Play support
264 #
265
266 #
267 # Block devices
268 #
269 # CONFIG_BLK_DEV_FD is not set
270 # CONFIG_BLK_CPQ_DA is not set
271 # CONFIG_BLK_CPQ_CISS_DA is not set
272 # CONFIG_BLK_DEV_DAC960 is not set
273 # CONFIG_BLK_DEV_UMEM is not set
274 # CONFIG_BLK_DEV_COW_COMMON is not set
275 CONFIG_BLK_DEV_LOOP=y
276 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
277 # CONFIG_BLK_DEV_NBD is not set
278 # CONFIG_BLK_DEV_SX8 is not set
279 CONFIG_BLK_DEV_RAM=y
280 CONFIG_BLK_DEV_RAM_COUNT=16
281 CONFIG_BLK_DEV_RAM_SIZE=32768
282 CONFIG_BLK_DEV_INITRD=y
283 # CONFIG_LBD is not set
284 # CONFIG_CDROM_PKTCDVD is not set
285
286 #
287 # IO Schedulers
288 #
289 CONFIG_IOSCHED_NOOP=y
290 CONFIG_IOSCHED_AS=y
291 CONFIG_IOSCHED_DEADLINE=y
292 CONFIG_IOSCHED_CFQ=y
293 CONFIG_DEFAULT_AS=y
294 # CONFIG_DEFAULT_DEADLINE is not set
295 # CONFIG_DEFAULT_CFQ is not set
296 # CONFIG_DEFAULT_NOOP is not set
297 CONFIG_DEFAULT_IOSCHED="anticipatory"
298 # CONFIG_ATA_OVER_ETH is not set
299
300 #
301 # ATA/ATAPI/MFM/RLL support
302 #
303 # CONFIG_IDE is not set
304
305 #
306 # SCSI device support
307 #
308 # CONFIG_RAID_ATTRS is not set
309 # CONFIG_SCSI is not set
310
311 #
312 # Multi-device support (RAID and LVM)
313 #
314 # CONFIG_MD is not set
315
316 #
317 # Fusion MPT device support
318 #
319 # CONFIG_FUSION is not set
320
321 #
322 # IEEE 1394 (FireWire) support
323 #
324 # CONFIG_IEEE1394 is not set
325
326 #
327 # I2O device support
328 #
329 # CONFIG_I2O is not set
330
331 #
332 # Macintosh device drivers
333 #
334
335 #
336 # Network device support
337 #
338 CONFIG_NETDEVICES=y
339 # CONFIG_DUMMY is not set
340 # CONFIG_BONDING is not set
341 # CONFIG_EQUALIZER is not set
342 # CONFIG_TUN is not set
343
344 #
345 # ARCnet devices
346 #
347 # CONFIG_ARCNET is not set
348
349 #
350 # PHY device support
351 #
352 CONFIG_PHYLIB=y
353
354 #
355 # MII PHY device drivers
356 #
357 CONFIG_MARVELL_PHY=y
358 # CONFIG_DAVICOM_PHY is not set
359 # CONFIG_QSEMI_PHY is not set
360 # CONFIG_LXT_PHY is not set
361 # CONFIG_CICADA_PHY is not set
362
363 #
364 # Ethernet (10 or 100Mbit)
365 #
366 CONFIG_NET_ETHERNET=y
367 CONFIG_MII=y
368 # CONFIG_HAPPYMEAL is not set
369 # CONFIG_SUNGEM is not set
370 # CONFIG_CASSINI is not set
371 # CONFIG_NET_VENDOR_3COM is not set
372
373 #
374 # Tulip family network device support
375 #
376 # CONFIG_NET_TULIP is not set
377 # CONFIG_HP100 is not set
378 CONFIG_NET_PCI=y
379 # CONFIG_PCNET32 is not set
380 # CONFIG_AMD8111_ETH is not set
381 # CONFIG_ADAPTEC_STARFIRE is not set
382 # CONFIG_B44 is not set
383 # CONFIG_FORCEDETH is not set
384 # CONFIG_DGRS is not set
385 # CONFIG_EEPRO100 is not set
386 CONFIG_E100=y
387 # CONFIG_FEALNX is not set
388 # CONFIG_NATSEMI is not set
389 # CONFIG_NE2K_PCI is not set
390 # CONFIG_8139CP is not set
391 # CONFIG_8139TOO is not set
392 # CONFIG_SIS900 is not set
393 # CONFIG_EPIC100 is not set
394 # CONFIG_SUNDANCE is not set
395 # CONFIG_TLAN is not set
396 # CONFIG_VIA_RHINE is not set
397
398 #
399 # Ethernet (1000 Mbit)
400 #
401 # CONFIG_ACENIC is not set
402 # CONFIG_DL2K is not set
403 CONFIG_E1000=y
404 # CONFIG_E1000_NAPI is not set
405 # CONFIG_E1000_DISABLE_PACKET_SPLIT is not set
406 # CONFIG_NS83820 is not set
407 # CONFIG_HAMACHI is not set
408 # CONFIG_YELLOWFIN is not set
409 # CONFIG_R8169 is not set
410 # CONFIG_SIS190 is not set
411 # CONFIG_SKGE is not set
412 # CONFIG_SK98LIN is not set
413 # CONFIG_VIA_VELOCITY is not set
414 # CONFIG_TIGON3 is not set
415 # CONFIG_BNX2 is not set
416 CONFIG_GIANFAR=y
417 # CONFIG_GFAR_NAPI is not set
418
419 #
420 # Ethernet (10000 Mbit)
421 #
422 # CONFIG_CHELSIO_T1 is not set
423 # CONFIG_IXGB is not set
424 # CONFIG_S2IO is not set
425
426 #
427 # Token Ring devices
428 #
429 # CONFIG_TR is not set
430
431 #
432 # Wireless LAN (non-hamradio)
433 #
434 # CONFIG_NET_RADIO is not set
435
436 #
437 # Wan interfaces
438 #
439 # CONFIG_WAN is not set
440 # CONFIG_FDDI is not set
441 # CONFIG_HIPPI is not set
442 # CONFIG_PPP is not set
443 # CONFIG_SLIP is not set
444 # CONFIG_SHAPER is not set
445 # CONFIG_NETCONSOLE is not set
446 # CONFIG_NETPOLL is not set
447 # CONFIG_NET_POLL_CONTROLLER is not set
448
449 #
450 # ISDN subsystem
451 #
452 # CONFIG_ISDN is not set
453
454 #
455 # Telephony Support
456 #
457 # CONFIG_PHONE is not set
458
459 #
460 # Input device support
461 #
462 CONFIG_INPUT=y
463
464 #
465 # Userland interfaces
466 #
467 # CONFIG_INPUT_MOUSEDEV is not set
468 # CONFIG_INPUT_JOYDEV is not set
469 # CONFIG_INPUT_TSDEV is not set
470 # CONFIG_INPUT_EVDEV is not set
471 # CONFIG_INPUT_EVBUG is not set
472
473 #
474 # Input Device Drivers
475 #
476 # CONFIG_INPUT_KEYBOARD is not set
477 # CONFIG_INPUT_MOUSE is not set
478 # CONFIG_INPUT_JOYSTICK is not set
479 # CONFIG_INPUT_TOUCHSCREEN is not set
480 # CONFIG_INPUT_MISC is not set
481
482 #
483 # Hardware I/O ports
484 #
485 # CONFIG_SERIO is not set
486 # CONFIG_GAMEPORT is not set
487
488 #
489 # Character devices
490 #
491 # CONFIG_VT is not set
492 # CONFIG_SERIAL_NONSTANDARD is not set
493
494 #
495 # Serial drivers
496 #
497 CONFIG_SERIAL_8250=y
498 CONFIG_SERIAL_8250_CONSOLE=y
499 CONFIG_SERIAL_8250_NR_UARTS=4
500 # CONFIG_SERIAL_8250_EXTENDED is not set
501
502 #
503 # Non-8250 serial port support
504 #
505 CONFIG_SERIAL_CORE=y
506 CONFIG_SERIAL_CORE_CONSOLE=y
507 # CONFIG_SERIAL_JSM is not set
508 CONFIG_UNIX98_PTYS=y
509 CONFIG_LEGACY_PTYS=y
510 CONFIG_LEGACY_PTY_COUNT=256
511
512 #
513 # IPMI
514 #
515 # CONFIG_IPMI_HANDLER is not set
516
517 #
518 # Watchdog Cards
519 #
520 # CONFIG_WATCHDOG is not set
521 # CONFIG_NVRAM is not set
522 CONFIG_GEN_RTC=y
523 # CONFIG_GEN_RTC_X is not set
524 # CONFIG_DTLK is not set
525 # CONFIG_R3964 is not set
526 # CONFIG_APPLICOM is not set
527
528 #
529 # Ftape, the floppy tape device driver
530 #
531 # CONFIG_AGP is not set
532 # CONFIG_DRM is not set
533 # CONFIG_RAW_DRIVER is not set
534
535 #
536 # TPM devices
537 #
538 # CONFIG_TCG_TPM is not set
539 # CONFIG_TELCLOCK is not set
540
541 #
542 # I2C support
543 #
544 CONFIG_I2C=y
545 CONFIG_I2C_CHARDEV=y
546
547 #
548 # I2C Algorithms
549 #
550 # CONFIG_I2C_ALGOBIT is not set
551 # CONFIG_I2C_ALGOPCF is not set
552 # CONFIG_I2C_ALGOPCA is not set
553
554 #
555 # I2C Hardware Bus support
556 #
557 # CONFIG_I2C_ALI1535 is not set
558 # CONFIG_I2C_ALI1563 is not set
559 # CONFIG_I2C_ALI15X3 is not set
560 # CONFIG_I2C_AMD756 is not set
561 # CONFIG_I2C_AMD8111 is not set
562 # CONFIG_I2C_I801 is not set
563 # CONFIG_I2C_I810 is not set
564 # CONFIG_I2C_PIIX4 is not set
565 CONFIG_I2C_MPC=y
566 # CONFIG_I2C_NFORCE2 is not set
567 # CONFIG_I2C_PARPORT_LIGHT is not set
568 # CONFIG_I2C_PROSAVAGE is not set
569 # CONFIG_I2C_SAVAGE4 is not set
570 # CONFIG_SCx200_ACB is not set
571 # CONFIG_I2C_SIS5595 is not set
572 # CONFIG_I2C_SIS630 is not set
573 # CONFIG_I2C_SIS96X is not set
574 # CONFIG_I2C_VIA is not set
575 # CONFIG_I2C_VIAPRO is not set
576 # CONFIG_I2C_VOODOO3 is not set
577 # CONFIG_I2C_PCA_ISA is not set
578
579 #
580 # Miscellaneous I2C Chip support
581 #
582 # CONFIG_SENSORS_DS1337 is not set
583 # CONFIG_SENSORS_DS1374 is not set
584 # CONFIG_SENSORS_EEPROM is not set
585 # CONFIG_SENSORS_PCF8574 is not set
586 # CONFIG_SENSORS_PCA9539 is not set
587 # CONFIG_SENSORS_PCF8591 is not set
588 # CONFIG_SENSORS_RTC8564 is not set
589 # CONFIG_SENSORS_M41T00 is not set
590 # CONFIG_SENSORS_MAX6875 is not set
591 # CONFIG_RTC_X1205_I2C is not set
592 # CONFIG_I2C_DEBUG_CORE is not set
593 # CONFIG_I2C_DEBUG_ALGO is not set
594 # CONFIG_I2C_DEBUG_BUS is not set
595 # CONFIG_I2C_DEBUG_CHIP is not set
596
597 #
598 # Dallas's 1-wire bus
599 #
600 # CONFIG_W1 is not set
601
602 #
603 # Hardware Monitoring support
604 #
605 CONFIG_HWMON=y
606 # CONFIG_HWMON_VID is not set
607 # CONFIG_SENSORS_ADM1021 is not set
608 # CONFIG_SENSORS_ADM1025 is not set
609 # CONFIG_SENSORS_ADM1026 is not set
610 # CONFIG_SENSORS_ADM1031 is not set
611 # CONFIG_SENSORS_ADM9240 is not set
612 # CONFIG_SENSORS_ASB100 is not set
613 # CONFIG_SENSORS_ATXP1 is not set
614 # CONFIG_SENSORS_DS1621 is not set
615 # CONFIG_SENSORS_FSCHER is not set
616 # CONFIG_SENSORS_FSCPOS is not set
617 # CONFIG_SENSORS_GL518SM is not set
618 # CONFIG_SENSORS_GL520SM is not set
619 # CONFIG_SENSORS_IT87 is not set
620 # CONFIG_SENSORS_LM63 is not set
621 # CONFIG_SENSORS_LM75 is not set
622 # CONFIG_SENSORS_LM77 is not set
623 # CONFIG_SENSORS_LM78 is not set
624 # CONFIG_SENSORS_LM80 is not set
625 # CONFIG_SENSORS_LM83 is not set
626 # CONFIG_SENSORS_LM85 is not set
627 # CONFIG_SENSORS_LM87 is not set
628 # CONFIG_SENSORS_LM90 is not set
629 # CONFIG_SENSORS_LM92 is not set
630 # CONFIG_SENSORS_MAX1619 is not set
631 # CONFIG_SENSORS_PC87360 is not set
632 # CONFIG_SENSORS_SIS5595 is not set
633 # CONFIG_SENSORS_SMSC47M1 is not set
634 # CONFIG_SENSORS_SMSC47B397 is not set
635 # CONFIG_SENSORS_VIA686A is not set
636 # CONFIG_SENSORS_W83781D is not set
637 # CONFIG_SENSORS_W83792D is not set
638 # CONFIG_SENSORS_W83L785TS is not set
639 # CONFIG_SENSORS_W83627HF is not set
640 # CONFIG_SENSORS_W83627EHF is not set
641 # CONFIG_HWMON_DEBUG_CHIP is not set
642
643 #
644 # Misc devices
645 #
646
647 #
648 # Multimedia Capabilities Port drivers
649 #
650
651 #
652 # Multimedia devices
653 #
654 # CONFIG_VIDEO_DEV is not set
655
656 #
657 # Digital Video Broadcasting Devices
658 #
659 # CONFIG_DVB is not set
660
661 #
662 # Graphics support
663 #
664 # CONFIG_FB is not set
665
666 #
667 # Sound
668 #
669 # CONFIG_SOUND is not set
670
671 #
672 # USB support
673 #
674 CONFIG_USB_ARCH_HAS_HCD=y
675 CONFIG_USB_ARCH_HAS_OHCI=y
676 # CONFIG_USB is not set
677
678 #
679 # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support'
680 #
681
682 #
683 # USB Gadget Support
684 #
685 # CONFIG_USB_GADGET is not set
686
687 #
688 # MMC/SD Card support
689 #
690 # CONFIG_MMC is not set
691
692 #
693 # InfiniBand support
694 #
695 # CONFIG_INFINIBAND is not set
696
697 #
698 # SN Devices
699 #
700
701 #
702 # File systems
703 #
704 CONFIG_EXT2_FS=y
705 # CONFIG_EXT2_FS_XATTR is not set
706 # CONFIG_EXT2_FS_XIP is not set
707 CONFIG_EXT3_FS=y
708 CONFIG_EXT3_FS_XATTR=y
709 # CONFIG_EXT3_FS_POSIX_ACL is not set
710 # CONFIG_EXT3_FS_SECURITY is not set
711 CONFIG_JBD=y
712 # CONFIG_JBD_DEBUG is not set
713 CONFIG_FS_MBCACHE=y
714 # CONFIG_REISERFS_FS is not set
715 # CONFIG_JFS_FS is not set
716 # CONFIG_FS_POSIX_ACL is not set
717 # CONFIG_XFS_FS is not set
718 # CONFIG_MINIX_FS is not set
719 # CONFIG_ROMFS_FS is not set
720 CONFIG_INOTIFY=y
721 # CONFIG_QUOTA is not set
722 CONFIG_DNOTIFY=y
723 # CONFIG_AUTOFS_FS is not set
724 # CONFIG_AUTOFS4_FS is not set
725 # CONFIG_FUSE_FS is not set
726
727 #
728 # CD-ROM/DVD Filesystems
729 #
730 # CONFIG_ISO9660_FS is not set
731 # CONFIG_UDF_FS is not set
732
733 #
734 # DOS/FAT/NT Filesystems
735 #
736 # CONFIG_MSDOS_FS is not set
737 # CONFIG_VFAT_FS is not set
738 # CONFIG_NTFS_FS is not set
739
740 #
741 # Pseudo filesystems
742 #
743 CONFIG_PROC_FS=y
744 CONFIG_PROC_KCORE=y
745 CONFIG_SYSFS=y
746 CONFIG_TMPFS=y
747 # CONFIG_HUGETLB_PAGE is not set
748 CONFIG_RAMFS=y
749 # CONFIG_RELAYFS_FS is not set
750
751 #
752 # Miscellaneous filesystems
753 #
754 # CONFIG_ADFS_FS is not set
755 # CONFIG_AFFS_FS is not set
756 # CONFIG_HFS_FS is not set
757 # CONFIG_HFSPLUS_FS is not set
758 # CONFIG_BEFS_FS is not set
759 # CONFIG_BFS_FS is not set
760 # CONFIG_EFS_FS is not set
761 # CONFIG_CRAMFS is not set
762 # CONFIG_VXFS_FS is not set
763 # CONFIG_HPFS_FS is not set
764 # CONFIG_QNX4FS_FS is not set
765 # CONFIG_SYSV_FS is not set
766 # CONFIG_UFS_FS is not set
767
768 #
769 # Network File Systems
770 #
771 CONFIG_NFS_FS=y
772 # CONFIG_NFS_V3 is not set
773 # CONFIG_NFS_V4 is not set
774 # CONFIG_NFS_DIRECTIO is not set
775 # CONFIG_NFSD is not set
776 CONFIG_ROOT_NFS=y
777 CONFIG_LOCKD=y
778 CONFIG_NFS_COMMON=y
779 CONFIG_SUNRPC=y
780 # CONFIG_RPCSEC_GSS_KRB5 is not set
781 # CONFIG_RPCSEC_GSS_SPKM3 is not set
782 # CONFIG_SMB_FS is not set
783 # CONFIG_CIFS is not set
784 # CONFIG_NCP_FS is not set
785 # CONFIG_CODA_FS is not set
786 # CONFIG_AFS_FS is not set
787 # CONFIG_9P_FS is not set
788
789 #
790 # Partition Types
791 #
792 CONFIG_PARTITION_ADVANCED=y
793 # CONFIG_ACORN_PARTITION is not set
794 # CONFIG_OSF_PARTITION is not set
795 # CONFIG_AMIGA_PARTITION is not set
796 # CONFIG_ATARI_PARTITION is not set
797 # CONFIG_MAC_PARTITION is not set
798 # CONFIG_MSDOS_PARTITION is not set
799 # CONFIG_LDM_PARTITION is not set
800 # CONFIG_SGI_PARTITION is not set
801 # CONFIG_ULTRIX_PARTITION is not set
802 # CONFIG_SUN_PARTITION is not set
803 # CONFIG_EFI_PARTITION is not set
804
805 #
806 # Native Language Support
807 #
808 # CONFIG_NLS is not set
809
810 #
811 # Library routines
812 #
813 # CONFIG_CRC_CCITT is not set
814 # CONFIG_CRC16 is not set
815 CONFIG_CRC32=y
816 # CONFIG_LIBCRC32C is not set
817
818 #
819 # Profiling support
820 #
821 # CONFIG_PROFILING is not set
822
823 #
824 # Kernel hacking
825 #
826 # CONFIG_PRINTK_TIME is not set
827 # CONFIG_DEBUG_KERNEL is not set
828 CONFIG_LOG_BUF_SHIFT=14
829 # CONFIG_SERIAL_TEXT_DEBUG is not set
830
831 #
832 # Security options
833 #
834 # CONFIG_KEYS is not set
835 # CONFIG_SECURITY is not set
836
837 #
838 # Cryptographic options
839 #
840 # CONFIG_CRYPTO is not set
841
842 #
843 # Hardware crypto devices
844 #