arch/mips/configs/rbhma4200_defconfig

   1 #
   2 # Automatically generated make config: don't edit
   3 # Linux kernel version: 2.6.23-rc1
   4 # Thu Aug  2 22:55:57 2007
   5 #
   6 CONFIG_MIPS=y
   7
   8 #
   9 # Machine selection
  10 #
  11 # CONFIG_MACH_ALCHEMY is not set
  12 # CONFIG_BASLER_EXCITE is not set
  13 # CONFIG_MIPS_COBALT is not set
  14 # CONFIG_MACH_DECSTATION is not set
  15 # CONFIG_MACH_JAZZ is not set
  16 # CONFIG_LEMOTE_FULONG is not set
  17 # CONFIG_MIPS_ATLAS is not set
  18 # CONFIG_MIPS_MALTA is not set
  19 # CONFIG_MIPS_SEAD is not set
  20 # CONFIG_MIPS_SIM is not set
  21 # CONFIG_MARKEINS is not set
  22 # CONFIG_MACH_VR41XX is not set
  23 # CONFIG_PNX8550_JBS is not set
  24 # CONFIG_PNX8550_STB810 is not set
  25 # CONFIG_PMC_MSP is not set
  26 # CONFIG_PMC_YOSEMITE is not set
  27 # CONFIG_QEMU is not set
  28 # CONFIG_SGI_IP22 is not set
  29 # CONFIG_SGI_IP27 is not set
  30 # CONFIG_SGI_IP32 is not set
  31 # CONFIG_SIBYTE_CRHINE is not set
  32 # CONFIG_SIBYTE_CARMEL is not set
  33 # CONFIG_SIBYTE_CRHONE is not set
  34 # CONFIG_SIBYTE_RHONE is not set
  35 # CONFIG_SIBYTE_SWARM is not set
  36 # CONFIG_SIBYTE_LITTLESUR is not set
  37 # CONFIG_SIBYTE_SENTOSA is not set
  38 # CONFIG_SIBYTE_PTSWARM is not set
  39 # CONFIG_SIBYTE_BIGSUR is not set
  40 # CONFIG_SNI_RM is not set
  41 # CONFIG_TOSHIBA_JMR3927 is not set
  42 CONFIG_TOSHIBA_RBTX4927=y
  43 # CONFIG_TOSHIBA_RBTX4938 is not set
  44 # CONFIG_WR_PPMC is not set
  45 # CONFIG_TOSHIBA_FPCIB0 is not set
  46 CONFIG_RWSEM_GENERIC_SPINLOCK=y
  47 # CONFIG_ARCH_HAS_ILOG2_U32 is not set
  48 # CONFIG_ARCH_HAS_ILOG2_U64 is not set
  49 CONFIG_GENERIC_FIND_NEXT_BIT=y
  50 CONFIG_GENERIC_HWEIGHT=y
  51 CONFIG_GENERIC_CALIBRATE_DELAY=y
  52 CONFIG_GENERIC_TIME=y
  53 CONFIG_SCHED_NO_NO_OMIT_FRAME_POINTER=y
  54 CONFIG_GENERIC_HARDIRQS_NO__DO_IRQ=y
  55 CONFIG_DMA_NONCOHERENT=y
  56 CONFIG_DMA_NEED_PCI_MAP_STATE=y
  57 # CONFIG_NO_IOPORT is not set
  58 CONFIG_CPU_BIG_ENDIAN=y
  59 # CONFIG_CPU_LITTLE_ENDIAN is not set
  60 CONFIG_SYS_SUPPORTS_BIG_ENDIAN=y
  61 CONFIG_SYS_SUPPORTS_LITTLE_ENDIAN=y
  62 CONFIG_IRQ_CPU=y
  63 CONFIG_IRQ_TXX9=y
  64 CONFIG_SWAP_IO_SPACE=y
  65 CONFIG_MIPS_L1_CACHE_SHIFT=5
  66
  67 #
  68 # CPU selection
  69 #
  70 # CONFIG_CPU_LOONGSON2 is not set
  71 # CONFIG_CPU_MIPS32_R1 is not set
  72 # CONFIG_CPU_MIPS32_R2 is not set
  73 # CONFIG_CPU_MIPS64_R1 is not set
  74 # CONFIG_CPU_MIPS64_R2 is not set
  75 # CONFIG_CPU_R3000 is not set
  76 # CONFIG_CPU_TX39XX is not set
  77 # CONFIG_CPU_VR41XX is not set
  78 # CONFIG_CPU_R4300 is not set
  79 # CONFIG_CPU_R4X00 is not set
  80 CONFIG_CPU_TX49XX=y
  81 # CONFIG_CPU_R5000 is not set
  82 # CONFIG_CPU_R5432 is not set
  83 # CONFIG_CPU_R6000 is not set
  84 # CONFIG_CPU_NEVADA is not set
  85 # CONFIG_CPU_R8000 is not set
  86 # CONFIG_CPU_R10000 is not set
  87 # CONFIG_CPU_RM7000 is not set
  88 # CONFIG_CPU_RM9000 is not set
  89 # CONFIG_CPU_SB1 is not set
  90 CONFIG_SYS_HAS_CPU_TX49XX=y
  91 CONFIG_SYS_SUPPORTS_32BIT_KERNEL=y
  92 CONFIG_SYS_SUPPORTS_64BIT_KERNEL=y
  93 CONFIG_CPU_SUPPORTS_32BIT_KERNEL=y
  94 CONFIG_CPU_SUPPORTS_64BIT_KERNEL=y
  95
  96 #
  97 # Kernel type
  98 #
  99 CONFIG_32BIT=y
 100 # CONFIG_64BIT is not set
 101 CONFIG_PAGE_SIZE_4KB=y
 102 # CONFIG_PAGE_SIZE_8KB is not set
 103 # CONFIG_PAGE_SIZE_16KB is not set
 104 # CONFIG_PAGE_SIZE_64KB is not set
 105 CONFIG_CPU_HAS_PREFETCH=y
 106 CONFIG_MIPS_MT_DISABLED=y
 107 # CONFIG_MIPS_MT_SMP is not set
 108 # CONFIG_MIPS_MT_SMTC is not set
 109 CONFIG_CPU_HAS_LLSC=y
 110 CONFIG_CPU_HAS_SYNC=y
 111 CONFIG_GENERIC_HARDIRQS=y
 112 CONFIG_GENERIC_IRQ_PROBE=y
 113 CONFIG_ARCH_FLATMEM_ENABLE=y
 114 CONFIG_FLATMEM=y
 115 CONFIG_FLAT_NODE_MEM_MAP=y
 116 # CONFIG_SPARSEMEM_STATIC is not set
 117 CONFIG_SPLIT_PTLOCK_CPUS=4
 118 # CONFIG_RESOURCES_64BIT is not set
 119 CONFIG_ZONE_DMA_FLAG=0
 120 CONFIG_VIRT_TO_BUS=y
 121 # CONFIG_HZ_48 is not set
 122 # CONFIG_HZ_100 is not set
 123 # CONFIG_HZ_128 is not set
 124 CONFIG_HZ_250=y
 125 # CONFIG_HZ_256 is not set
 126 # CONFIG_HZ_1000 is not set
 127 # CONFIG_HZ_1024 is not set
 128 CONFIG_SYS_SUPPORTS_ARBIT_HZ=y
 129 CONFIG_HZ=250
 130 CONFIG_PREEMPT_NONE=y
 131 # CONFIG_PREEMPT_VOLUNTARY is not set
 132 # CONFIG_PREEMPT is not set
 133 # CONFIG_SECCOMP is not set
 134 CONFIG_LOCKDEP_SUPPORT=y
 135 CONFIG_STACKTRACE_SUPPORT=y
 136 CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config"
 137
 138 #
 139 # General setup
 140 #
 141 # CONFIG_EXPERIMENTAL is not set
 142 CONFIG_BROKEN_ON_SMP=y
 143 CONFIG_INIT_ENV_ARG_LIMIT=32
 144 CONFIG_LOCALVERSION=""
 145 CONFIG_LOCALVERSION_AUTO=y
 146 CONFIG_SWAP=y
 147 CONFIG_SYSVIPC=y
 148 CONFIG_SYSVIPC_SYSCTL=y
 149 # CONFIG_BSD_PROCESS_ACCT is not set
 150 # CONFIG_TASKSTATS is not set
 151 # CONFIG_AUDIT is not set
 152 CONFIG_IKCONFIG=y
 153 CONFIG_IKCONFIG_PROC=y
 154 CONFIG_LOG_BUF_SHIFT=14
 155 CONFIG_SYSFS_DEPRECATED=y
 156 # CONFIG_RELAY is not set
 157 CONFIG_BLK_DEV_INITRD=y
 158 CONFIG_INITRAMFS_SOURCE=""
 159 CONFIG_SYSCTL=y
 160 CONFIG_EMBEDDED=y
 161 CONFIG_SYSCTL_SYSCALL=y
 162 CONFIG_KALLSYMS=y
 163 # CONFIG_KALLSYMS_EXTRA_PASS is not set
 164 # CONFIG_HOTPLUG is not set
 165 CONFIG_PRINTK=y
 166 CONFIG_BUG=y
 167 CONFIG_ELF_CORE=y
 168 CONFIG_BASE_FULL=y
 169 # CONFIG_FUTEX is not set
 170 CONFIG_ANON_INODES=y
 171 # CONFIG_EPOLL is not set
 172 CONFIG_SIGNALFD=y
 173 CONFIG_TIMERFD=y
 174 CONFIG_EVENTFD=y
 175 CONFIG_SHMEM=y
 176 CONFIG_VM_EVENT_COUNTERS=y
 177 CONFIG_SLAB=y
 178 # CONFIG_SLUB is not set
 179 # CONFIG_SLOB is not set
 180 # CONFIG_TINY_SHMEM is not set
 181 CONFIG_BASE_SMALL=0
 182 CONFIG_MODULES=y
 183 # CONFIG_MODULE_UNLOAD is not set
 184 # CONFIG_MODVERSIONS is not set
 185 # CONFIG_MODULE_SRCVERSION_ALL is not set
 186 CONFIG_KMOD=y
 187 CONFIG_BLOCK=y
 188 # CONFIG_LBD is not set
 189 # CONFIG_BLK_DEV_IO_TRACE is not set
 190 # CONFIG_LSF is not set
 191
 192 #
 193 # IO Schedulers
 194 #
 195 CONFIG_IOSCHED_NOOP=y
 196 CONFIG_IOSCHED_AS=y
 197 CONFIG_IOSCHED_DEADLINE=y
 198 CONFIG_IOSCHED_CFQ=y
 199 CONFIG_DEFAULT_AS=y
 200 # CONFIG_DEFAULT_DEADLINE is not set
 201 # CONFIG_DEFAULT_CFQ is not set
 202 # CONFIG_DEFAULT_NOOP is not set
 203 CONFIG_DEFAULT_IOSCHED="anticipatory"
 204
 205 #
 206 # Bus options (PCI, PCMCIA, EISA, ISA, TC)
 207 #
 208 CONFIG_HW_HAS_PCI=y
 209 CONFIG_PCI=y
 210 # CONFIG_ARCH_SUPPORTS_MSI is not set
 211 CONFIG_MMU=y
 212
 213 #
 214 # PCCARD (PCMCIA/CardBus) support
 215 #
 216
 217 #
 218 # Executable file formats
 219 #
 220 CONFIG_BINFMT_ELF=y
 221 # CONFIG_BINFMT_MISC is not set
 222 CONFIG_TRAD_SIGNALS=y
 223
 224 #
 225 # Power management options
 226 #
 227 # CONFIG_PM is not set
 228
 229 #
 230 # Networking
 231 #
 232 CONFIG_NET=y
 233
 234 #
 235 # Networking options
 236 #
 237 CONFIG_PACKET=y
 238 # CONFIG_PACKET_MMAP is not set
 239 CONFIG_UNIX=y
 240 # CONFIG_NET_KEY is not set
 241 CONFIG_INET=y
 242 CONFIG_IP_MULTICAST=y
 243 # CONFIG_IP_ADVANCED_ROUTER is not set
 244 CONFIG_IP_FIB_HASH=y
 245 CONFIG_IP_PNP=y
 246 # CONFIG_IP_PNP_DHCP is not set
 247 # CONFIG_IP_PNP_BOOTP is not set
 248 # CONFIG_IP_PNP_RARP is not set
 249 # CONFIG_NET_IPIP is not set
 250 # CONFIG_NET_IPGRE is not set
 251 # CONFIG_IP_MROUTE is not set
 252 # CONFIG_SYN_COOKIES is not set
 253 # CONFIG_INET_AH is not set
 254 # CONFIG_INET_ESP is not set
 255 # CONFIG_INET_IPCOMP is not set
 256 # CONFIG_INET_XFRM_TUNNEL is not set
 257 # CONFIG_INET_TUNNEL is not set
 258 # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
 259 # CONFIG_INET_XFRM_MODE_TUNNEL is not set
 260 # CONFIG_INET_XFRM_MODE_BEET is not set
 261 CONFIG_INET_DIAG=y
 262 CONFIG_INET_TCP_DIAG=y
 263 # CONFIG_TCP_CONG_ADVANCED is not set
 264 CONFIG_TCP_CONG_CUBIC=y
 265 CONFIG_DEFAULT_TCP_CONG="cubic"
 266 # CONFIG_IPV6 is not set
 267 # CONFIG_INET6_XFRM_TUNNEL is not set
 268 # CONFIG_INET6_TUNNEL is not set
 269 # CONFIG_NETWORK_SECMARK is not set
 270 # CONFIG_NETFILTER is not set
 271 # CONFIG_BRIDGE is not set
 272 # CONFIG_VLAN_8021Q is not set
 273 # CONFIG_DECNET is not set
 274 # CONFIG_LLC2 is not set
 275 # CONFIG_IPX is not set
 276 # CONFIG_ATALK is not set
 277
 278 #
 279 # QoS and/or fair queueing
 280 #
 281 # CONFIG_NET_SCHED is not set
 282
 283 #
 284 # Network testing
 285 #
 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
 291 #
 292 # Wireless
 293 #
 294 # CONFIG_CFG80211 is not set
 295 # CONFIG_WIRELESS_EXT is not set
 296 # CONFIG_IEEE80211 is not set
 297 # CONFIG_RFKILL is not set
 298
 299 #
 300 # Device Drivers
 301 #
 302
 303 #
 304 # Generic Driver Options
 305 #
 306 CONFIG_STANDALONE=y
 307 CONFIG_PREVENT_FIRMWARE_BUILD=y
 308 # CONFIG_SYS_HYPERVISOR is not set
 309 # CONFIG_CONNECTOR is not set
 310 # CONFIG_MTD is not set
 311 # CONFIG_PARPORT is not set
 312 CONFIG_BLK_DEV=y
 313 # CONFIG_BLK_CPQ_DA is not set
 314 # CONFIG_BLK_CPQ_CISS_DA is not set
 315 # CONFIG_BLK_DEV_DAC960 is not set
 316 # CONFIG_BLK_DEV_COW_COMMON is not set
 317 CONFIG_BLK_DEV_LOOP=y
 318 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
 319 # CONFIG_BLK_DEV_NBD is not set
 320 # CONFIG_BLK_DEV_SX8 is not set
 321 CONFIG_BLK_DEV_RAM=y
 322 CONFIG_BLK_DEV_RAM_COUNT=16
 323 CONFIG_BLK_DEV_RAM_SIZE=8192
 324 CONFIG_BLK_DEV_RAM_BLOCKSIZE=1024
 325 # CONFIG_CDROM_PKTCDVD is not set
 326 # CONFIG_ATA_OVER_ETH is not set
 327 # CONFIG_MISC_DEVICES is not set
 328 # CONFIG_IDE is not set
 329
 330 #
 331 # SCSI device support
 332 #
 333 # CONFIG_RAID_ATTRS is not set
 334 # CONFIG_SCSI is not set
 335 # CONFIG_SCSI_DMA is not set
 336 # CONFIG_SCSI_NETLINK is not set
 337 # CONFIG_ATA is not set
 338 # CONFIG_MD is not set
 339
 340 #
 341 # Fusion MPT device support
 342 #
 343 # CONFIG_FUSION is not set
 344
 345 #
 346 # IEEE 1394 (FireWire) support
 347 #
 348
 349 #
 350 # An alternative FireWire stack is available with EXPERIMENTAL=y
 351 #
 352 # CONFIG_IEEE1394 is not set
 353 # CONFIG_I2O is not set
 354 CONFIG_NETDEVICES=y
 355 # CONFIG_NETDEVICES_MULTIQUEUE is not set
 356 # CONFIG_DUMMY is not set
 357 # CONFIG_BONDING is not set
 358 # CONFIG_EQUALIZER is not set
 359 # CONFIG_TUN is not set
 360 # CONFIG_ARCNET is not set
 361 # CONFIG_PHYLIB is not set
 362 CONFIG_NET_ETHERNET=y
 363 # CONFIG_MII is not set
 364 # CONFIG_AX88796 is not set
 365 # CONFIG_HAPPYMEAL is not set
 366 # CONFIG_SUNGEM is not set
 367 # CONFIG_CASSINI is not set
 368 # CONFIG_NET_VENDOR_3COM is not set
 369 # CONFIG_DM9000 is not set
 370 # CONFIG_NET_TULIP is not set
 371 # CONFIG_HP100 is not set
 372 CONFIG_NE2000=y
 373 # CONFIG_NET_PCI is not set
 374 # CONFIG_NETDEV_1000 is not set
 375 # CONFIG_NETDEV_10000 is not set
 376 # CONFIG_TR is not set
 377
 378 #
 379 # Wireless LAN
 380 #
 381 # CONFIG_WLAN_PRE80211 is not set
 382 # CONFIG_WLAN_80211 is not set
 383 # CONFIG_WAN is not set
 384 # CONFIG_FDDI is not set
 385 # CONFIG_PPP is not set
 386 # CONFIG_SLIP is not set
 387 # CONFIG_NETPOLL is not set
 388 # CONFIG_NET_POLL_CONTROLLER is not set
 389 # CONFIG_ISDN is not set
 390 # CONFIG_PHONE is not set
 391
 392 #
 393 # Input device support
 394 #
 395 # CONFIG_INPUT is not set
 396
 397 #
 398 # Hardware I/O ports
 399 #
 400 CONFIG_SERIO=y
 401 # CONFIG_SERIO_I8042 is not set
 402 CONFIG_SERIO_SERPORT=y
 403 # CONFIG_SERIO_PCIPS2 is not set
 404 CONFIG_SERIO_LIBPS2=y
 405 # CONFIG_SERIO_RAW is not set
 406 # CONFIG_GAMEPORT is not set
 407
 408 #
 409 # Character devices
 410 #
 411 # CONFIG_VT is not set
 412 # CONFIG_SERIAL_NONSTANDARD is not set
 413
 414 #
 415 # Serial drivers
 416 #
 417 # CONFIG_SERIAL_8250 is not set
 418
 419 #
 420 # Non-8250 serial port support
 421 #
 422 CONFIG_SERIAL_CORE=y
 423 CONFIG_SERIAL_CORE_CONSOLE=y
 424 CONFIG_SERIAL_TXX9=y
 425 CONFIG_HAS_TXX9_SERIAL=y
 426 CONFIG_SERIAL_TXX9_NR_UARTS=6
 427 CONFIG_SERIAL_TXX9_CONSOLE=y
 428 CONFIG_SERIAL_TXX9_STDSERIAL=y
 429 # CONFIG_SERIAL_JSM is not set
 430 CONFIG_UNIX98_PTYS=y
 431 CONFIG_LEGACY_PTYS=y
 432 CONFIG_LEGACY_PTY_COUNT=256
 433 # CONFIG_IPMI_HANDLER is not set
 434 # CONFIG_WATCHDOG is not set
 435 # CONFIG_HW_RANDOM is not set
 436 # CONFIG_RTC is not set
 437 # CONFIG_R3964 is not set
 438 # CONFIG_APPLICOM is not set
 439 # CONFIG_DRM is not set
 440 # CONFIG_RAW_DRIVER is not set
 441 CONFIG_DEVPORT=y
 442 # CONFIG_I2C is not set
 443
 444 #
 445 # SPI support
 446 #
 447 # CONFIG_SPI is not set
 448 # CONFIG_SPI_MASTER is not set
 449 # CONFIG_W1 is not set
 450 # CONFIG_POWER_SUPPLY is not set
 451 # CONFIG_HWMON is not set
 452
 453 #
 454 # Multifunction device drivers
 455 #
 456 # CONFIG_MFD_SM501 is not set
 457
 458 #
 459 # Multimedia devices
 460 #
 461 # CONFIG_VIDEO_DEV is not set
 462 # CONFIG_DVB_CORE is not set
 463 # CONFIG_DAB is not set
 464
 465 #
 466 # Graphics support
 467 #
 468 # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
 469
 470 #
 471 # Display device support
 472 #
 473 # CONFIG_DISPLAY_SUPPORT is not set
 474 # CONFIG_VGASTATE is not set
 475 # CONFIG_VIDEO_OUTPUT_CONTROL is not set
 476 # CONFIG_FB is not set
 477
 478 #
 479 # Sound
 480 #
 481 # CONFIG_SOUND is not set
 482 # CONFIG_USB_SUPPORT is not set
 483 # CONFIG_MMC is not set
 484 # CONFIG_NEW_LEDS is not set
 485 # CONFIG_INFINIBAND is not set
 486 CONFIG_RTC_LIB=y
 487 CONFIG_RTC_CLASS=y
 488 CONFIG_RTC_HCTOSYS=y
 489 CONFIG_RTC_HCTOSYS_DEVICE="rtc0"
 490 # CONFIG_RTC_DEBUG is not set
 491
 492 #
 493 # RTC interfaces
 494 #
 495 CONFIG_RTC_INTF_SYSFS=y
 496 CONFIG_RTC_INTF_PROC=y
 497 CONFIG_RTC_INTF_DEV=y
 498 # CONFIG_RTC_INTF_DEV_UIE_EMUL is not set
 499 # CONFIG_RTC_DRV_TEST is not set
 500
 501 #
 502 # SPI RTC drivers
 503 #
 504
 505 #
 506 # Platform RTC drivers
 507 #
 508 # CONFIG_RTC_DRV_CMOS is not set
 509 # CONFIG_RTC_DRV_DS1553 is not set
 510 # CONFIG_RTC_DRV_STK17TA8 is not set
 511 CONFIG_RTC_DRV_DS1742=y
 512 # CONFIG_RTC_DRV_M48T86 is not set
 513 # CONFIG_RTC_DRV_M48T59 is not set
 514 # CONFIG_RTC_DRV_V3020 is not set
 515
 516 #
 517 # on-CPU RTC drivers
 518 #
 519
 520 #
 521 # DMA Engine support
 522 #
 523 # CONFIG_DMA_ENGINE is not set
 524
 525 #
 526 # DMA Clients
 527 #
 528
 529 #
 530 # DMA Devices
 531 #
 532
 533 #
 534 # Userspace I/O
 535 #
 536 # CONFIG_UIO is not set
 537
 538 #
 539 # File systems
 540 #
 541 # CONFIG_EXT2_FS is not set
 542 # CONFIG_EXT3_FS is not set
 543 # CONFIG_REISERFS_FS is not set
 544 # CONFIG_JFS_FS is not set
 545 CONFIG_FS_POSIX_ACL=y
 546 # CONFIG_XFS_FS is not set
 547 # CONFIG_OCFS2_FS is not set
 548 # CONFIG_MINIX_FS is not set
 549 # CONFIG_ROMFS_FS is not set
 550 CONFIG_INOTIFY=y
 551 CONFIG_INOTIFY_USER=y
 552 # CONFIG_QUOTA is not set
 553 # CONFIG_DNOTIFY is not set
 554 # CONFIG_AUTOFS_FS is not set
 555 # CONFIG_AUTOFS4_FS is not set
 556 # CONFIG_FUSE_FS is not set
 557 CONFIG_GENERIC_ACL=y
 558
 559 #
 560 # CD-ROM/DVD Filesystems
 561 #
 562 # CONFIG_ISO9660_FS is not set
 563 # CONFIG_UDF_FS is not set
 564
 565 #
 566 # DOS/FAT/NT Filesystems
 567 #
 568 # CONFIG_MSDOS_FS is not set
 569 # CONFIG_VFAT_FS is not set
 570 # CONFIG_NTFS_FS is not set
 571
 572 #
 573 # Pseudo filesystems
 574 #
 575 CONFIG_PROC_FS=y
 576 # CONFIG_PROC_KCORE is not set
 577 CONFIG_PROC_SYSCTL=y
 578 CONFIG_SYSFS=y
 579 CONFIG_TMPFS=y
 580 CONFIG_TMPFS_POSIX_ACL=y
 581 # CONFIG_HUGETLB_PAGE is not set
 582 CONFIG_RAMFS=y
 583
 584 #
 585 # Miscellaneous filesystems
 586 #
 587 # CONFIG_HFSPLUS_FS is not set
 588 # CONFIG_CRAMFS is not set
 589 # CONFIG_VXFS_FS is not set
 590 # CONFIG_HPFS_FS is not set
 591 # CONFIG_QNX4FS_FS is not set
 592 # CONFIG_SYSV_FS is not set
 593 # CONFIG_UFS_FS is not set
 594
 595 #
 596 # Network File Systems
 597 #
 598 CONFIG_NFS_FS=y
 599 CONFIG_NFS_V3=y
 600 # CONFIG_NFS_V3_ACL is not set
 601 # CONFIG_NFS_DIRECTIO is not set
 602 # CONFIG_NFSD is not set
 603 CONFIG_ROOT_NFS=y
 604 CONFIG_LOCKD=y
 605 CONFIG_LOCKD_V4=y
 606 CONFIG_NFS_COMMON=y
 607 CONFIG_SUNRPC=y
 608 # CONFIG_SMB_FS is not set
 609 # CONFIG_CIFS is not set
 610 # CONFIG_NCP_FS is not set
 611 # CONFIG_CODA_FS is not set
 612
 613 #
 614 # Partition Types
 615 #
 616 # CONFIG_PARTITION_ADVANCED is not set
 617 CONFIG_MSDOS_PARTITION=y
 618
 619 #
 620 # Native Language Support
 621 #
 622 # CONFIG_NLS is not set
 623
 624 #
 625 # Kernel hacking
 626 #
 627 CONFIG_TRACE_IRQFLAGS_SUPPORT=y
 628 # CONFIG_PRINTK_TIME is not set
 629 CONFIG_ENABLE_MUST_CHECK=y
 630 # CONFIG_MAGIC_SYSRQ is not set
 631 # CONFIG_UNUSED_SYMBOLS is not set
 632 # CONFIG_DEBUG_FS is not set
 633 # CONFIG_HEADERS_CHECK is not set
 634 # CONFIG_DEBUG_KERNEL is not set
 635 CONFIG_CROSSCOMPILE=y
 636 CONFIG_CMDLINE=""
 637 CONFIG_SYS_SUPPORTS_KGDB=y
 638
 639 #
 640 # Security options
 641 #
 642 # CONFIG_KEYS is not set
 643 # CONFIG_SECURITY is not set
 644 # CONFIG_CRYPTO is not set
 645
 646 #
 647 # Library routines
 648 #
 649 CONFIG_BITREVERSE=y
 650 # CONFIG_CRC_CCITT is not set
 651 # CONFIG_CRC16 is not set
 652 # CONFIG_CRC_ITU_T is not set
 653 CONFIG_CRC32=y
 654 # CONFIG_CRC7 is not set
 655 # CONFIG_LIBCRC32C is not set
 656 CONFIG_HAS_IOMEM=y
 657 CONFIG_HAS_IOPORT=y
 658 CONFIG_HAS_DMA=y