arch/mips/configs/cobalt_defconfig

   1 #
   2 # Automatically generated make config: don't edit
   3 # Linux kernel version: 2.6.11-rc2
   4 # Wed Jan 26 02:49:00 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=y
  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=y
  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 is not set
  75 # CONFIG_NEC_OSPREY is not set
  76 # CONFIG_SGI_IP22 is not set
  77 # CONFIG_SOC_AU1X00 is not set
  78 # CONFIG_SIBYTE_SB1xxx_SOC is not set
  79 # CONFIG_SNI_RM200_PCI is not set
  80 # CONFIG_TOSHIBA_RBTX4927 is not set
  81 CONFIG_RWSEM_GENERIC_SPINLOCK=y
  82 CONFIG_GENERIC_CALIBRATE_DELAY=y
  83 CONFIG_HAVE_DEC_LOCK=y
  84 CONFIG_DMA_NONCOHERENT=y
  85 CONFIG_DMA_NEED_PCI_MAP_STATE=y
  86 CONFIG_I8259=y
  87 CONFIG_CPU_LITTLE_ENDIAN=y
  88 CONFIG_IRQ_CPU=y
  89 CONFIG_MIPS_GT64111=y
  90 CONFIG_MIPS_L1_CACHE_SHIFT=5
  91
  92 #
  93 # CPU selection
  94 #
  95 # CONFIG_CPU_MIPS32 is not set
  96 # CONFIG_CPU_MIPS64 is not set
  97 # CONFIG_CPU_R3000 is not set
  98 # CONFIG_CPU_TX39XX is not set
  99 # CONFIG_CPU_VR41XX is not set
 100 # CONFIG_CPU_R4300 is not set
 101 # CONFIG_CPU_R4X00 is not set
 102 # CONFIG_CPU_TX49XX is not set
 103 # CONFIG_CPU_R5000 is not set
 104 # CONFIG_CPU_R5432 is not set
 105 # CONFIG_CPU_R6000 is not set
 106 CONFIG_CPU_NEVADA=y
 107 # CONFIG_CPU_R8000 is not set
 108 # CONFIG_CPU_R10000 is not set
 109 # CONFIG_CPU_RM7000 is not set
 110 # CONFIG_CPU_RM9000 is not set
 111 # CONFIG_CPU_SB1 is not set
 112 CONFIG_PAGE_SIZE_4KB=y
 113 # CONFIG_PAGE_SIZE_8KB is not set
 114 # CONFIG_PAGE_SIZE_16KB is not set
 115 # CONFIG_PAGE_SIZE_64KB is not set
 116 # CONFIG_CPU_ADVANCED is not set
 117 CONFIG_CPU_HAS_LLSC=y
 118 CONFIG_CPU_HAS_LLDSCD=y
 119 CONFIG_CPU_HAS_SYNC=y
 120 # CONFIG_PREEMPT is not set
 121
 122 #
 123 # Bus options (PCI, PCMCIA, EISA, ISA, TC)
 124 #
 125 CONFIG_HW_HAS_PCI=y
 126 CONFIG_PCI=y
 127 CONFIG_PCI_LEGACY_PROC=y
 128 CONFIG_PCI_NAMES=y
 129 CONFIG_MMU=y
 130
 131 #
 132 # PCCARD (PCMCIA/CardBus) support
 133 #
 134 # CONFIG_PCCARD is not set
 135
 136 #
 137 # PC-card bridges
 138 #
 139
 140 #
 141 # PCI Hotplug Support
 142 #
 143 # CONFIG_HOTPLUG_PCI is not set
 144
 145 #
 146 # Executable file formats
 147 #
 148 CONFIG_BINFMT_ELF=y
 149 # CONFIG_BINFMT_MISC is not set
 150 CONFIG_TRAD_SIGNALS=y
 151
 152 #
 153 # Device Drivers
 154 #
 155
 156 #
 157 # Generic Driver Options
 158 #
 159 CONFIG_STANDALONE=y
 160 CONFIG_PREVENT_FIRMWARE_BUILD=y
 161 CONFIG_FW_LOADER=y
 162
 163 #
 164 # Memory Technology Devices (MTD)
 165 #
 166 # CONFIG_MTD is not set
 167
 168 #
 169 # Parallel port support
 170 #
 171 # CONFIG_PARPORT is not set
 172
 173 #
 174 # Plug and Play support
 175 #
 176
 177 #
 178 # Block devices
 179 #
 180 # CONFIG_BLK_DEV_FD is not set
 181 # CONFIG_BLK_CPQ_DA is not set
 182 # CONFIG_BLK_CPQ_CISS_DA is not set
 183 # CONFIG_BLK_DEV_DAC960 is not set
 184 # CONFIG_BLK_DEV_UMEM is not set
 185 # CONFIG_BLK_DEV_COW_COMMON is not set
 186 CONFIG_BLK_DEV_LOOP=y
 187 # CONFIG_BLK_DEV_CRYPTOLOOP 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=y
 211 CONFIG_BLK_DEV_IDE=y
 212
 213 #
 214 # Please see Documentation/ide.txt for help/info on IDE drives
 215 #
 216 # CONFIG_BLK_DEV_IDE_SATA is not set
 217 CONFIG_BLK_DEV_IDEDISK=y
 218 # CONFIG_IDEDISK_MULTI_MODE is not set
 219 # CONFIG_BLK_DEV_IDECD is not set
 220 # CONFIG_BLK_DEV_IDETAPE is not set
 221 # CONFIG_BLK_DEV_IDEFLOPPY is not set
 222 # CONFIG_IDE_TASK_IOCTL is not set
 223
 224 #
 225 # IDE chipset support/bugfixes
 226 #
 227 CONFIG_IDE_GENERIC=y
 228 # CONFIG_BLK_DEV_IDEPCI is not set
 229 # CONFIG_IDE_ARM is not set
 230 # CONFIG_BLK_DEV_IDEDMA is not set
 231 # CONFIG_IDEDMA_AUTO is not set
 232 # CONFIG_BLK_DEV_HD is not set
 233
 234 #
 235 # SCSI device support
 236 #
 237 # CONFIG_SCSI is not set
 238
 239 #
 240 # Multi-device support (RAID and LVM)
 241 #
 242 # CONFIG_MD is not set
 243
 244 #
 245 # Fusion MPT device support
 246 #
 247
 248 #
 249 # IEEE 1394 (FireWire) support
 250 #
 251 # CONFIG_IEEE1394 is not set
 252
 253 #
 254 # I2O device support
 255 #
 256 # CONFIG_I2O is not set
 257
 258 #
 259 # Networking support
 260 #
 261 CONFIG_NET=y
 262
 263 #
 264 # Networking options
 265 #
 266 CONFIG_PACKET=y
 267 # CONFIG_PACKET_MMAP is not set
 268 CONFIG_NETLINK_DEV=y
 269 CONFIG_UNIX=y
 270 CONFIG_NET_KEY=y
 271 CONFIG_INET=y
 272 # CONFIG_IP_MULTICAST is not set
 273 # CONFIG_IP_ADVANCED_ROUTER is not set
 274 # CONFIG_IP_PNP is not set
 275 # CONFIG_NET_IPIP is not set
 276 # CONFIG_NET_IPGRE is not set
 277 # CONFIG_ARPD is not set
 278 # CONFIG_SYN_COOKIES is not set
 279 # CONFIG_INET_AH is not set
 280 # CONFIG_INET_ESP is not set
 281 # CONFIG_INET_IPCOMP is not set
 282 CONFIG_INET_TUNNEL=y
 283 CONFIG_IP_TCPDIAG=y
 284 # CONFIG_IP_TCPDIAG_IPV6 is not set
 285 # CONFIG_IPV6 is not set
 286 # CONFIG_NETFILTER is not set
 287 CONFIG_XFRM=y
 288 CONFIG_XFRM_USER=y
 289
 290 #
 291 # SCTP Configuration (EXPERIMENTAL)
 292 #
 293 # CONFIG_IP_SCTP is not set
 294 # CONFIG_ATM is not set
 295 # CONFIG_BRIDGE is not set
 296 # CONFIG_VLAN_8021Q is not set
 297 # CONFIG_DECNET is not set
 298 # CONFIG_LLC2 is not set
 299 # CONFIG_IPX is not set
 300 # CONFIG_ATALK is not set
 301 # CONFIG_X25 is not set
 302 # CONFIG_LAPB is not set
 303 # CONFIG_NET_DIVERT is not set
 304 # CONFIG_ECONET is not set
 305 # CONFIG_WAN_ROUTER is not set
 306
 307 #
 308 # QoS and/or fair queueing
 309 #
 310 # CONFIG_NET_SCHED is not set
 311 # CONFIG_NET_CLS_ROUTE is not set
 312
 313 #
 314 # Network testing
 315 #
 316 # CONFIG_NET_PKTGEN is not set
 317 # CONFIG_NETPOLL is not set
 318 # CONFIG_NET_POLL_CONTROLLER is not set
 319 # CONFIG_HAMRADIO is not set
 320 # CONFIG_IRDA is not set
 321 # CONFIG_BT is not set
 322 CONFIG_NETDEVICES=y
 323 # CONFIG_DUMMY is not set
 324 # CONFIG_BONDING is not set
 325 # CONFIG_EQUALIZER is not set
 326 # CONFIG_TUN is not set
 327 # CONFIG_ETHERTAP is not set
 328
 329 #
 330 # ARCnet devices
 331 #
 332 # CONFIG_ARCNET is not set
 333
 334 #
 335 # Ethernet (10 or 100Mbit)
 336 #
 337 CONFIG_NET_ETHERNET=y
 338 # CONFIG_MII is not set
 339 # CONFIG_HAPPYMEAL is not set
 340 # CONFIG_SUNGEM is not set
 341 # CONFIG_NET_VENDOR_3COM is not set
 342
 343 #
 344 # Tulip family network device support
 345 #
 346 # CONFIG_NET_TULIP is not set
 347 # CONFIG_HP100 is not set
 348 # CONFIG_NET_PCI 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_TIGON3 is not set
 362
 363 #
 364 # Ethernet (10000 Mbit)
 365 #
 366 # CONFIG_IXGB is not set
 367 # CONFIG_S2IO is not set
 368
 369 #
 370 # Token Ring devices
 371 #
 372 # CONFIG_TR is not set
 373
 374 #
 375 # Wireless LAN (non-hamradio)
 376 #
 377 # CONFIG_NET_RADIO is not set
 378
 379 #
 380 # Wan interfaces
 381 #
 382 # CONFIG_WAN is not set
 383 # CONFIG_FDDI is not set
 384 # CONFIG_HIPPI is not set
 385 # CONFIG_PPP is not set
 386 # CONFIG_SLIP is not set
 387 # CONFIG_SHAPER is not set
 388 # CONFIG_NETCONSOLE is not set
 389
 390 #
 391 # ISDN subsystem
 392 #
 393 # CONFIG_ISDN is not set
 394
 395 #
 396 # Telephony Support
 397 #
 398 # CONFIG_PHONE is not set
 399
 400 #
 401 # Input device support
 402 #
 403 CONFIG_INPUT=y
 404
 405 #
 406 # Userland interfaces
 407 #
 408 CONFIG_INPUT_MOUSEDEV=y
 409 CONFIG_INPUT_MOUSEDEV_PSAUX=y
 410 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
 411 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
 412 # CONFIG_INPUT_JOYDEV is not set
 413 # CONFIG_INPUT_TSDEV is not set
 414 # CONFIG_INPUT_EVDEV is not set
 415 # CONFIG_INPUT_EVBUG is not set
 416
 417 #
 418 # Input I/O drivers
 419 #
 420 # CONFIG_GAMEPORT is not set
 421 CONFIG_SOUND_GAMEPORT=y
 422 CONFIG_SERIO=y
 423 # CONFIG_SERIO_I8042 is not set
 424 CONFIG_SERIO_SERPORT=y
 425 # CONFIG_SERIO_CT82C710 is not set
 426 # CONFIG_SERIO_PCIPS2 is not set
 427 # CONFIG_SERIO_LIBPS2 is not set
 428 CONFIG_SERIO_RAW=y
 429
 430 #
 431 # Input Device Drivers
 432 #
 433 # CONFIG_INPUT_KEYBOARD is not set
 434 # CONFIG_INPUT_MOUSE is not set
 435 # CONFIG_INPUT_JOYSTICK is not set
 436 # CONFIG_INPUT_TOUCHSCREEN is not set
 437 # CONFIG_INPUT_MISC is not set
 438
 439 #
 440 # Character devices
 441 #
 442 CONFIG_VT=y
 443 CONFIG_VT_CONSOLE=y
 444 CONFIG_HW_CONSOLE=y
 445 # CONFIG_SERIAL_NONSTANDARD is not set
 446
 447 #
 448 # Serial drivers
 449 #
 450 CONFIG_SERIAL_8250=y
 451 CONFIG_SERIAL_8250_CONSOLE=y
 452 CONFIG_SERIAL_8250_NR_UARTS=4
 453 # CONFIG_SERIAL_8250_EXTENDED is not set
 454
 455 #
 456 # Non-8250 serial port support
 457 #
 458 CONFIG_SERIAL_CORE=y
 459 CONFIG_SERIAL_CORE_CONSOLE=y
 460 CONFIG_UNIX98_PTYS=y
 461 CONFIG_LEGACY_PTYS=y
 462 CONFIG_LEGACY_PTY_COUNT=256
 463
 464 #
 465 # IPMI
 466 #
 467 # CONFIG_IPMI_HANDLER is not set
 468
 469 #
 470 # Watchdog Cards
 471 #
 472 # CONFIG_WATCHDOG is not set
 473 CONFIG_RTC=y
 474 CONFIG_COBALT_LCD=y
 475 # CONFIG_DTLK is not set
 476 # CONFIG_R3964 is not set
 477 # CONFIG_APPLICOM is not set
 478
 479 #
 480 # Ftape, the floppy tape device driver
 481 #
 482 # CONFIG_DRM is not set
 483 # CONFIG_RAW_DRIVER is not set
 484
 485 #
 486 # I2C support
 487 #
 488 # CONFIG_I2C is not set
 489
 490 #
 491 # Dallas's 1-wire bus
 492 #
 493 # CONFIG_W1 is not set
 494
 495 #
 496 # Misc devices
 497 #
 498
 499 #
 500 # Multimedia devices
 501 #
 502 # CONFIG_VIDEO_DEV is not set
 503
 504 #
 505 # Digital Video Broadcasting Devices
 506 #
 507 # CONFIG_DVB is not set
 508
 509 #
 510 # Graphics support
 511 #
 512 # CONFIG_FB is not set
 513
 514 #
 515 # Console display driver support
 516 #
 517 # CONFIG_VGA_CONSOLE is not set
 518 CONFIG_DUMMY_CONSOLE=y
 519 # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
 520
 521 #
 522 # Sound
 523 #
 524 # CONFIG_SOUND is not set
 525
 526 #
 527 # USB support
 528 #
 529 # CONFIG_USB is not set
 530 CONFIG_USB_ARCH_HAS_HCD=y
 531 CONFIG_USB_ARCH_HAS_OHCI=y
 532
 533 #
 534 # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support' may also be needed; see USB_STORAGE Help for more information
 535 #
 536
 537 #
 538 # USB Gadget Support
 539 #
 540 # CONFIG_USB_GADGET is not set
 541
 542 #
 543 # MMC/SD Card support
 544 #
 545 # CONFIG_MMC is not set
 546
 547 #
 548 # InfiniBand support
 549 #
 550 # CONFIG_INFINIBAND is not set
 551
 552 #
 553 # File systems
 554 #
 555 CONFIG_EXT2_FS=y
 556 CONFIG_EXT2_FS_XATTR=y
 557 CONFIG_EXT2_FS_POSIX_ACL=y
 558 CONFIG_EXT2_FS_SECURITY=y
 559 # CONFIG_EXT3_FS is not set
 560 # CONFIG_JBD is not set
 561 CONFIG_FS_MBCACHE=y
 562 # CONFIG_REISERFS_FS is not set
 563 # CONFIG_JFS_FS is not set
 564 CONFIG_FS_POSIX_ACL=y
 565 # CONFIG_XFS_FS is not set
 566 # CONFIG_MINIX_FS is not set
 567 # CONFIG_ROMFS_FS is not set
 568 # CONFIG_QUOTA is not set
 569 CONFIG_DNOTIFY=y
 570 # CONFIG_AUTOFS_FS is not set
 571 # CONFIG_AUTOFS4_FS is not set
 572
 573 #
 574 # CD-ROM/DVD Filesystems
 575 #
 576 # CONFIG_ISO9660_FS is not set
 577 # CONFIG_UDF_FS is not set
 578
 579 #
 580 # DOS/FAT/NT Filesystems
 581 #
 582 # CONFIG_MSDOS_FS is not set
 583 # CONFIG_VFAT_FS is not set
 584 # CONFIG_NTFS_FS is not set
 585
 586 #
 587 # Pseudo filesystems
 588 #
 589 CONFIG_PROC_FS=y
 590 CONFIG_PROC_KCORE=y
 591 CONFIG_SYSFS=y
 592 # CONFIG_DEVFS_FS is not set
 593 CONFIG_DEVPTS_FS_XATTR=y
 594 CONFIG_DEVPTS_FS_SECURITY=y
 595 # CONFIG_TMPFS is not set
 596 # CONFIG_HUGETLB_PAGE is not set
 597 CONFIG_RAMFS=y
 598
 599 #
 600 # Miscellaneous filesystems
 601 #
 602 # CONFIG_ADFS_FS is not set
 603 # CONFIG_AFFS_FS is not set
 604 # CONFIG_HFS_FS is not set
 605 # CONFIG_HFSPLUS_FS is not set
 606 # CONFIG_BEFS_FS is not set
 607 # CONFIG_BFS_FS is not set
 608 # CONFIG_EFS_FS is not set
 609 # CONFIG_CRAMFS is not set
 610 # CONFIG_VXFS_FS is not set
 611 # CONFIG_HPFS_FS is not set
 612 # CONFIG_QNX4FS_FS is not set
 613 # CONFIG_SYSV_FS is not set
 614 # CONFIG_UFS_FS is not set
 615
 616 #
 617 # Network File Systems
 618 #
 619 CONFIG_NFS_FS=y
 620 # CONFIG_NFS_V3 is not set
 621 # CONFIG_NFS_V4 is not set
 622 # CONFIG_NFS_DIRECTIO is not set
 623 # CONFIG_NFSD is not set
 624 CONFIG_LOCKD=y
 625 # CONFIG_EXPORTFS is not set
 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=""
 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 is not set
 679 # CONFIG_LIBCRC32C is not set
 680 CONFIG_GENERIC_HARDIRQS=y
 681 CONFIG_GENERIC_IRQ_PROBE=y