git.oblomov.eu Git - linux-2.6/blob - arch/mips/configs/ddb5477_defconfig

   1 #
   2 # Automatically generated make config: don't edit
   3 # Linux kernel version: 2.6.11-rc2
   4 # Wed Jan 26 02:49:02 2005
   5 #
   6 CONFIG_MIPS=y
   7 # CONFIG_64BIT is not set
   8 # CONFIG_64BIT is not set
   9 CONFIG_32BIT=y
  10
  11 #
  12 # Code maturity level options
  13 #
  14 CONFIG_EXPERIMENTAL=y
  15 CONFIG_CLEAN_COMPILE=y
  16 CONFIG_BROKEN_ON_SMP=y
  17
  18 #
  19 # General setup
  20 #
  21 CONFIG_LOCALVERSION=""
  22 CONFIG_SWAP=y
  23 CONFIG_SYSVIPC=y
  24 # CONFIG_POSIX_MQUEUE is not set
  25 # CONFIG_BSD_PROCESS_ACCT is not set
  26 CONFIG_SYSCTL=y
  27 # CONFIG_AUDIT is not set
  28 CONFIG_LOG_BUF_SHIFT=14
  29 # CONFIG_HOTPLUG is not set
  30 CONFIG_KOBJECT_UEVENT=y
  31 # CONFIG_IKCONFIG is not set
  32 CONFIG_EMBEDDED=y
  33 CONFIG_KALLSYMS=y
  34 # CONFIG_KALLSYMS_EXTRA_PASS is not set
  35 CONFIG_FUTEX=y
  36 CONFIG_EPOLL=y
  37 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
  38 CONFIG_SHMEM=y
  39 CONFIG_CC_ALIGN_FUNCTIONS=0
  40 CONFIG_CC_ALIGN_LABELS=0
  41 CONFIG_CC_ALIGN_LOOPS=0
  42 CONFIG_CC_ALIGN_JUMPS=0
  43 # CONFIG_TINY_SHMEM is not set
  44
  45 #
  46 # Loadable module support
  47 #
  48 # CONFIG_MODULES is not set
  49
  50 #
  51 # Machine selection
  52 #
  53 # CONFIG_MACH_JAZZ is not set
  54 # CONFIG_MACH_VR41XX is not set
  55 # CONFIG_TOSHIBA_JMR3927 is not set
  56 # CONFIG_MIPS_COBALT is not set
  57 # CONFIG_MACH_DECSTATION is not set
  58 # CONFIG_MIPS_EV64120 is not set
  59 # CONFIG_MIPS_EV96100 is not set
  60 # CONFIG_MIPS_IVR is not set
  61 # CONFIG_LASAT is not set
  62 # CONFIG_MIPS_ITE8172 is not set
  63 # CONFIG_MIPS_ATLAS is not set
  64 # CONFIG_MIPS_MALTA is not set
  65 # CONFIG_MIPS_SEAD is not set
  66 # CONFIG_MOMENCO_OCELOT is not set
  67 # CONFIG_MOMENCO_OCELOT_G is not set
  68 # CONFIG_MOMENCO_OCELOT_C is not set
  69 # CONFIG_MOMENCO_OCELOT_3 is not set
  70 # CONFIG_MOMENCO_JAGUAR_ATX is not set
  71 # CONFIG_PMC_YOSEMITE is not set
  72 # CONFIG_DDB5074 is not set
  73 # CONFIG_DDB5476 is not set
  74 CONFIG_DDB5477=y
  75 CONFIG_DDB5477_BUS_FREQUENCY=0
  76 # CONFIG_NEC_OSPREY is not set
  77 # CONFIG_SGI_IP22 is not set
  78 # CONFIG_SOC_AU1X00 is not set
  79 # CONFIG_SIBYTE_SB1xxx_SOC is not set
  80 # CONFIG_SNI_RM200_PCI is not set
  81 # CONFIG_TOSHIBA_RBTX4927 is not set
  82 CONFIG_RWSEM_GENERIC_SPINLOCK=y
  83 CONFIG_GENERIC_CALIBRATE_DELAY=y
  84 CONFIG_HAVE_DEC_LOCK=y
  85 CONFIG_DMA_NONCOHERENT=y
  86 CONFIG_DMA_NEED_PCI_MAP_STATE=y
  87 CONFIG_I8259=y
  88 CONFIG_CPU_LITTLE_ENDIAN=y
  89 CONFIG_IRQ_CPU=y
  90 CONFIG_DDB5XXX_COMMON=y
  91 CONFIG_MIPS_L1_CACHE_SHIFT=5
  92
  93 #
  94 # CPU selection
  95 #
  96 # CONFIG_CPU_MIPS32 is not set
  97 # CONFIG_CPU_MIPS64 is not set
  98 # CONFIG_CPU_R3000 is not set
  99 # CONFIG_CPU_TX39XX is not set
 100 # CONFIG_CPU_VR41XX is not set
 101 # CONFIG_CPU_R4300 is not set
 102 # CONFIG_CPU_R4X00 is not set
 103 # CONFIG_CPU_TX49XX is not set
 104 # CONFIG_CPU_R5000 is not set
 105 CONFIG_CPU_R5432=y
 106 # CONFIG_CPU_R6000 is not set
 107 # CONFIG_CPU_NEVADA is not set
 108 # CONFIG_CPU_R8000 is not set
 109 # CONFIG_CPU_R10000 is not set
 110 # CONFIG_CPU_RM7000 is not set
 111 # CONFIG_CPU_RM9000 is not set
 112 # CONFIG_CPU_SB1 is not set
 113 CONFIG_PAGE_SIZE_4KB=y
 114 # CONFIG_PAGE_SIZE_8KB is not set
 115 # CONFIG_PAGE_SIZE_16KB is not set
 116 # CONFIG_PAGE_SIZE_64KB is not set
 117 # CONFIG_CPU_ADVANCED is not set
 118 CONFIG_CPU_HAS_LLSC=y
 119 CONFIG_CPU_HAS_LLDSCD=y
 120 CONFIG_CPU_HAS_SYNC=y
 121 # CONFIG_PREEMPT is not set
 122
 123 #
 124 # Bus options (PCI, PCMCIA, EISA, ISA, TC)
 125 #
 126 CONFIG_HW_HAS_PCI=y
 127 CONFIG_PCI=y
 128 CONFIG_PCI_LEGACY_PROC=y
 129 CONFIG_PCI_NAMES=y
 130 CONFIG_MMU=y
 131
 132 #
 133 # PCCARD (PCMCIA/CardBus) support
 134 #
 135 # CONFIG_PCCARD is not set
 136
 137 #
 138 # PC-card bridges
 139 #
 140
 141 #
 142 # PCI Hotplug Support
 143 #
 144 # CONFIG_HOTPLUG_PCI is not set
 145
 146 #
 147 # Executable file formats
 148 #
 149 CONFIG_BINFMT_ELF=y
 150 # CONFIG_BINFMT_MISC is not set
 151 CONFIG_TRAD_SIGNALS=y
 152
 153 #
 154 # Device Drivers
 155 #
 156
 157 #
 158 # Generic Driver Options
 159 #
 160 CONFIG_STANDALONE=y
 161 CONFIG_PREVENT_FIRMWARE_BUILD=y
 162 # CONFIG_FW_LOADER is not set
 163
 164 #
 165 # Memory Technology Devices (MTD)
 166 #
 167 # CONFIG_MTD is not set
 168
 169 #
 170 # Parallel port support
 171 #
 172 # CONFIG_PARPORT is not set
 173
 174 #
 175 # Plug and Play support
 176 #
 177
 178 #
 179 # Block devices
 180 #
 181 # CONFIG_BLK_DEV_FD is not set
 182 # CONFIG_BLK_CPQ_DA is not set
 183 # CONFIG_BLK_CPQ_CISS_DA is not set
 184 # CONFIG_BLK_DEV_DAC960 is not set
 185 # CONFIG_BLK_DEV_UMEM is not set
 186 # CONFIG_BLK_DEV_COW_COMMON is not set
 187 # CONFIG_BLK_DEV_LOOP is not set
 188 # CONFIG_BLK_DEV_NBD is not set
 189 # CONFIG_BLK_DEV_SX8 is not set
 190 # CONFIG_BLK_DEV_RAM is not set
 191 CONFIG_BLK_DEV_RAM_COUNT=16
 192 CONFIG_INITRAMFS_SOURCE=""
 193 # CONFIG_LBD is not set
 194 CONFIG_CDROM_PKTCDVD=y
 195 CONFIG_CDROM_PKTCDVD_BUFFERS=8
 196 # CONFIG_CDROM_PKTCDVD_WCACHE is not set
 197
 198 #
 199 # IO Schedulers
 200 #
 201 CONFIG_IOSCHED_NOOP=y
 202 CONFIG_IOSCHED_AS=y
 203 CONFIG_IOSCHED_DEADLINE=y
 204 CONFIG_IOSCHED_CFQ=y
 205 CONFIG_ATA_OVER_ETH=y
 206
 207 #
 208 # ATA/ATAPI/MFM/RLL support
 209 #
 210 # CONFIG_IDE is not set
 211
 212 #
 213 # SCSI device support
 214 #
 215 # CONFIG_SCSI is not set
 216
 217 #
 218 # Multi-device support (RAID and LVM)
 219 #
 220 # CONFIG_MD is not set
 221
 222 #
 223 # Fusion MPT device support
 224 #
 225
 226 #
 227 # IEEE 1394 (FireWire) support
 228 #
 229 # CONFIG_IEEE1394 is not set
 230
 231 #
 232 # I2O device support
 233 #
 234 # CONFIG_I2O is not set
 235
 236 #
 237 # Networking support
 238 #
 239 CONFIG_NET=y
 240
 241 #
 242 # Networking options
 243 #
 244 CONFIG_PACKET=y
 245 # CONFIG_PACKET_MMAP is not set
 246 CONFIG_NETLINK_DEV=y
 247 CONFIG_UNIX=y
 248 CONFIG_NET_KEY=y
 249 CONFIG_INET=y
 250 # CONFIG_IP_MULTICAST is not set
 251 # CONFIG_IP_ADVANCED_ROUTER is not set
 252 CONFIG_IP_PNP=y
 253 # CONFIG_IP_PNP_DHCP is not set
 254 CONFIG_IP_PNP_BOOTP=y
 255 # CONFIG_IP_PNP_RARP is not set
 256 # CONFIG_NET_IPIP is not set
 257 # CONFIG_NET_IPGRE is not set
 258 # CONFIG_ARPD is not set
 259 # CONFIG_SYN_COOKIES is not set
 260 # CONFIG_INET_AH is not set
 261 # CONFIG_INET_ESP is not set
 262 # CONFIG_INET_IPCOMP is not set
 263 CONFIG_INET_TUNNEL=y
 264 CONFIG_IP_TCPDIAG=y
 265 # CONFIG_IP_TCPDIAG_IPV6 is not set
 266 # CONFIG_IPV6 is not set
 267 # CONFIG_NETFILTER is not set
 268 CONFIG_XFRM=y
 269 CONFIG_XFRM_USER=y
 270
 271 #
 272 # SCTP Configuration (EXPERIMENTAL)
 273 #
 274 # CONFIG_IP_SCTP is not set
 275 # CONFIG_ATM is not set
 276 # CONFIG_BRIDGE is not set
 277 # CONFIG_VLAN_8021Q is not set
 278 # CONFIG_DECNET is not set
 279 # CONFIG_LLC2 is not set
 280 # CONFIG_IPX is not set
 281 # CONFIG_ATALK is not set
 282 # CONFIG_X25 is not set
 283 # CONFIG_LAPB is not set
 284 # CONFIG_NET_DIVERT is not set
 285 # CONFIG_ECONET is not set
 286 # CONFIG_WAN_ROUTER is not set
 287
 288 #
 289 # QoS and/or fair queueing
 290 #
 291 # CONFIG_NET_SCHED is not set
 292 # CONFIG_NET_CLS_ROUTE is not set
 293
 294 #
 295 # Network testing
 296 #
 297 # CONFIG_NET_PKTGEN is not set
 298 # CONFIG_NETPOLL is not set
 299 # CONFIG_NET_POLL_CONTROLLER is not set
 300 # CONFIG_HAMRADIO is not set
 301 # CONFIG_IRDA is not set
 302 # CONFIG_BT is not set
 303 CONFIG_NETDEVICES=y
 304 # CONFIG_DUMMY is not set
 305 # CONFIG_BONDING is not set
 306 # CONFIG_EQUALIZER is not set
 307 # CONFIG_TUN is not set
 308 # CONFIG_ETHERTAP is not set
 309
 310 #
 311 # ARCnet devices
 312 #
 313 # CONFIG_ARCNET is not set
 314
 315 #
 316 # Ethernet (10 or 100Mbit)
 317 #
 318 CONFIG_NET_ETHERNET=y
 319 CONFIG_MII=y
 320 # CONFIG_HAPPYMEAL is not set
 321 # CONFIG_SUNGEM is not set
 322 # CONFIG_NET_VENDOR_3COM is not set
 323
 324 #
 325 # Tulip family network device support
 326 #
 327 # CONFIG_NET_TULIP is not set
 328 # CONFIG_HP100 is not set
 329 CONFIG_NET_PCI=y
 330 CONFIG_PCNET32=y
 331 # CONFIG_AMD8111_ETH is not set
 332 # CONFIG_ADAPTEC_STARFIRE is not set
 333 # CONFIG_B44 is not set
 334 # CONFIG_FORCEDETH is not set
 335 # CONFIG_DGRS is not set
 336 # CONFIG_EEPRO100 is not set
 337 # CONFIG_E100 is not set
 338 # CONFIG_FEALNX is not set
 339 # CONFIG_NATSEMI is not set
 340 # CONFIG_NE2K_PCI is not set
 341 # CONFIG_8139CP is not set
 342 # CONFIG_8139TOO is not set
 343 # CONFIG_SIS900 is not set
 344 # CONFIG_EPIC100 is not set
 345 # CONFIG_SUNDANCE is not set
 346 # CONFIG_TLAN is not set
 347 # CONFIG_VIA_RHINE is not set
 348 # CONFIG_LAN_SAA9730 is not set
 349
 350 #
 351 # Ethernet (1000 Mbit)
 352 #
 353 # CONFIG_ACENIC is not set
 354 # CONFIG_DL2K is not set
 355 # CONFIG_E1000 is not set
 356 # CONFIG_NS83820 is not set
 357 # CONFIG_HAMACHI is not set
 358 # CONFIG_YELLOWFIN is not set
 359 # CONFIG_R8169 is not set
 360 # CONFIG_SK98LIN is not set
 361 # CONFIG_VIA_VELOCITY is not set
 362 # CONFIG_TIGON3 is not set
 363
 364 #
 365 # Ethernet (10000 Mbit)
 366 #
 367 # CONFIG_IXGB is not set
 368 # CONFIG_S2IO is not set
 369
 370 #
 371 # Token Ring devices
 372 #
 373 # CONFIG_TR is not set
 374
 375 #
 376 # Wireless LAN (non-hamradio)
 377 #
 378 # CONFIG_NET_RADIO is not set
 379
 380 #
 381 # Wan interfaces
 382 #
 383 # CONFIG_WAN is not set
 384 # CONFIG_FDDI is not set
 385 # CONFIG_HIPPI is not set
 386 # CONFIG_PPP is not set
 387 # CONFIG_SLIP is not set
 388 # CONFIG_SHAPER is not set
 389 # CONFIG_NETCONSOLE is not set
 390
 391 #
 392 # ISDN subsystem
 393 #
 394 # CONFIG_ISDN is not set
 395
 396 #
 397 # Telephony Support
 398 #
 399 # CONFIG_PHONE is not set
 400
 401 #
 402 # Input device support
 403 #
 404 CONFIG_INPUT=y
 405
 406 #
 407 # Userland interfaces
 408 #
 409 CONFIG_INPUT_MOUSEDEV=y
 410 CONFIG_INPUT_MOUSEDEV_PSAUX=y
 411 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
 412 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
 413 # CONFIG_INPUT_JOYDEV is not set
 414 # CONFIG_INPUT_TSDEV is not set
 415 # CONFIG_INPUT_EVDEV is not set
 416 # CONFIG_INPUT_EVBUG is not set
 417
 418 #
 419 # Input I/O drivers
 420 #
 421 # CONFIG_GAMEPORT is not set
 422 CONFIG_SOUND_GAMEPORT=y
 423 CONFIG_SERIO=y
 424 # CONFIG_SERIO_I8042 is not set
 425 CONFIG_SERIO_SERPORT=y
 426 # CONFIG_SERIO_CT82C710 is not set
 427 # CONFIG_SERIO_PCIPS2 is not set
 428 # CONFIG_SERIO_LIBPS2 is not set
 429 CONFIG_SERIO_RAW=y
 430
 431 #
 432 # Input Device Drivers
 433 #
 434 # CONFIG_INPUT_KEYBOARD is not set
 435 # CONFIG_INPUT_MOUSE is not set
 436 # CONFIG_INPUT_JOYSTICK is not set
 437 # CONFIG_INPUT_TOUCHSCREEN is not set
 438 # CONFIG_INPUT_MISC is not set
 439
 440 #
 441 # Character devices
 442 #
 443 CONFIG_VT=y
 444 CONFIG_VT_CONSOLE=y
 445 CONFIG_HW_CONSOLE=y
 446 # CONFIG_SERIAL_NONSTANDARD is not set
 447
 448 #
 449 # Serial drivers
 450 #
 451 CONFIG_SERIAL_8250=y
 452 CONFIG_SERIAL_8250_CONSOLE=y
 453 CONFIG_SERIAL_8250_NR_UARTS=4
 454 # CONFIG_SERIAL_8250_EXTENDED is not set
 455
 456 #
 457 # Non-8250 serial port support
 458 #
 459 CONFIG_SERIAL_CORE=y
 460 CONFIG_SERIAL_CORE_CONSOLE=y
 461 CONFIG_UNIX98_PTYS=y
 462 CONFIG_LEGACY_PTYS=y
 463 CONFIG_LEGACY_PTY_COUNT=256
 464
 465 #
 466 # IPMI
 467 #
 468 # CONFIG_IPMI_HANDLER is not set
 469
 470 #
 471 # Watchdog Cards
 472 #
 473 # CONFIG_WATCHDOG is not set
 474 # CONFIG_RTC is not set
 475 # CONFIG_GEN_RTC is not set
 476 # CONFIG_DTLK is not set
 477 # CONFIG_R3964 is not set
 478 # CONFIG_APPLICOM is not set
 479
 480 #
 481 # Ftape, the floppy tape device driver
 482 #
 483 # CONFIG_DRM is not set
 484 # CONFIG_RAW_DRIVER is not set
 485
 486 #
 487 # I2C support
 488 #
 489 # CONFIG_I2C is not set
 490
 491 #
 492 # Dallas's 1-wire bus
 493 #
 494 # CONFIG_W1 is not set
 495
 496 #
 497 # Misc devices
 498 #
 499
 500 #
 501 # Multimedia devices
 502 #
 503 # CONFIG_VIDEO_DEV is not set
 504
 505 #
 506 # Digital Video Broadcasting Devices
 507 #
 508 # CONFIG_DVB is not set
 509
 510 #
 511 # Graphics support
 512 #
 513 # CONFIG_FB is not set
 514
 515 #
 516 # Console display driver support
 517 #
 518 # CONFIG_VGA_CONSOLE is not set
 519 CONFIG_DUMMY_CONSOLE=y
 520 # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
 521
 522 #
 523 # Sound
 524 #
 525 # CONFIG_SOUND is not set
 526
 527 #
 528 # USB support
 529 #
 530 # CONFIG_USB is not set
 531 CONFIG_USB_ARCH_HAS_HCD=y
 532 CONFIG_USB_ARCH_HAS_OHCI=y
 533
 534 #
 535 # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support' may also be needed; see USB_STORAGE Help for more information
 536 #
 537
 538 #
 539 # USB Gadget Support
 540 #
 541 # CONFIG_USB_GADGET is not set
 542
 543 #
 544 # MMC/SD Card support
 545 #
 546 # CONFIG_MMC is not set
 547
 548 #
 549 # InfiniBand support
 550 #
 551 # CONFIG_INFINIBAND is not set
 552
 553 #
 554 # File systems
 555 #
 556 CONFIG_EXT2_FS=y
 557 # CONFIG_EXT2_FS_XATTR is not set
 558 # CONFIG_EXT3_FS is not set
 559 # CONFIG_JBD is not set
 560 # CONFIG_REISERFS_FS is not set
 561 # CONFIG_JFS_FS is not set
 562 # CONFIG_XFS_FS is not set
 563 # CONFIG_MINIX_FS is not set
 564 # CONFIG_ROMFS_FS is not set
 565 # CONFIG_QUOTA is not set
 566 CONFIG_DNOTIFY=y
 567 CONFIG_AUTOFS_FS=y
 568 CONFIG_AUTOFS4_FS=y
 569
 570 #
 571 # CD-ROM/DVD Filesystems
 572 #
 573 # CONFIG_ISO9660_FS is not set
 574 # CONFIG_UDF_FS is not set
 575
 576 #
 577 # DOS/FAT/NT Filesystems
 578 #
 579 # CONFIG_MSDOS_FS is not set
 580 # CONFIG_VFAT_FS is not set
 581 # CONFIG_NTFS_FS is not set
 582
 583 #
 584 # Pseudo filesystems
 585 #
 586 CONFIG_PROC_FS=y
 587 CONFIG_PROC_KCORE=y
 588 CONFIG_SYSFS=y
 589 # CONFIG_DEVFS_FS is not set
 590 CONFIG_DEVPTS_FS_XATTR=y
 591 CONFIG_DEVPTS_FS_SECURITY=y
 592 # CONFIG_TMPFS is not set
 593 # CONFIG_HUGETLB_PAGE is not set
 594 CONFIG_RAMFS=y
 595
 596 #
 597 # Miscellaneous filesystems
 598 #
 599 # CONFIG_ADFS_FS is not set
 600 # CONFIG_AFFS_FS is not set
 601 # CONFIG_HFS_FS is not set
 602 # CONFIG_HFSPLUS_FS is not set
 603 # CONFIG_BEFS_FS is not set
 604 # CONFIG_BFS_FS is not set
 605 # CONFIG_EFS_FS is not set
 606 # CONFIG_CRAMFS is not set
 607 # CONFIG_VXFS_FS is not set
 608 # CONFIG_HPFS_FS is not set
 609 # CONFIG_QNX4FS_FS is not set
 610 # CONFIG_SYSV_FS is not set
 611 # CONFIG_UFS_FS is not set
 612
 613 #
 614 # Network File Systems
 615 #
 616 CONFIG_NFS_FS=y
 617 # CONFIG_NFS_V3 is not set
 618 # CONFIG_NFS_V4 is not set
 619 # CONFIG_NFS_DIRECTIO is not set
 620 CONFIG_NFSD=y
 621 # CONFIG_NFSD_V3 is not set
 622 # CONFIG_NFSD_TCP is not set
 623 CONFIG_ROOT_NFS=y
 624 CONFIG_LOCKD=y
 625 CONFIG_EXPORTFS=y
 626 CONFIG_SUNRPC=y
 627 # CONFIG_RPCSEC_GSS_KRB5 is not set
 628 # CONFIG_RPCSEC_GSS_SPKM3 is not set
 629 # CONFIG_SMB_FS is not set
 630 # CONFIG_CIFS is not set
 631 # CONFIG_NCP_FS is not set
 632 # CONFIG_CODA_FS is not set
 633 # CONFIG_AFS_FS is not set
 634
 635 #
 636 # Partition Types
 637 #
 638 # CONFIG_PARTITION_ADVANCED is not set
 639 CONFIG_MSDOS_PARTITION=y
 640
 641 #
 642 # Native Language Support
 643 #
 644 # CONFIG_NLS is not set
 645
 646 #
 647 # Profiling support
 648 #
 649 # CONFIG_PROFILING is not set
 650
 651 #
 652 # Kernel hacking
 653 #
 654 # CONFIG_DEBUG_KERNEL is not set
 655 CONFIG_CROSSCOMPILE=y
 656 CONFIG_CMDLINE="ip=any"
 657
 658 #
 659 # Security options
 660 #
 661 CONFIG_KEYS=y
 662 CONFIG_KEYS_DEBUG_PROC_KEYS=y
 663 # CONFIG_SECURITY is not set
 664
 665 #
 666 # Cryptographic options
 667 #
 668 # CONFIG_CRYPTO is not set
 669
 670 #
 671 # Hardware crypto devices
 672 #
 673
 674 #
 675 # Library routines
 676 #
 677 # CONFIG_CRC_CCITT is not set
 678 CONFIG_CRC32=y
 679 # CONFIG_LIBCRC32C is not set
 680 CONFIG_GENERIC_HARDIRQS=y
 681 CONFIG_GENERIC_IRQ_PROBE=y