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_MIPS64 is not set
   8 # CONFIG_64BIT is not set
   9 CONFIG_MIPS32=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_I8259=y
  87 CONFIG_CPU_LITTLE_ENDIAN=y
  88 CONFIG_IRQ_CPU=y
  89 CONFIG_DDB5XXX_COMMON=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=y
 105 # CONFIG_CPU_R6000 is not set
 106 # CONFIG_CPU_NEVADA is not set
 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 is not set
 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 is not set
 187 # CONFIG_BLK_DEV_NBD is not set
 188 # CONFIG_BLK_DEV_SX8 is not set
 189 # CONFIG_BLK_DEV_RAM is not set
 190 CONFIG_BLK_DEV_RAM_COUNT=16
 191 CONFIG_INITRAMFS_SOURCE=""
 192 # CONFIG_LBD is not set
 193 CONFIG_CDROM_PKTCDVD=y
 194 CONFIG_CDROM_PKTCDVD_BUFFERS=8
 195 # CONFIG_CDROM_PKTCDVD_WCACHE is not set
 196
 197 #
 198 # IO Schedulers
 199 #
 200 CONFIG_IOSCHED_NOOP=y
 201 CONFIG_IOSCHED_AS=y
 202 CONFIG_IOSCHED_DEADLINE=y
 203 CONFIG_IOSCHED_CFQ=y
 204 CONFIG_ATA_OVER_ETH=y
 205
 206 #
 207 # ATA/ATAPI/MFM/RLL support
 208 #
 209 # CONFIG_IDE is not set
 210
 211 #
 212 # SCSI device support
 213 #
 214 # CONFIG_SCSI is not set
 215
 216 #
 217 # Multi-device support (RAID and LVM)
 218 #
 219 # CONFIG_MD is not set
 220
 221 #
 222 # Fusion MPT device support
 223 #
 224
 225 #
 226 # IEEE 1394 (FireWire) support
 227 #
 228 # CONFIG_IEEE1394 is not set
 229
 230 #
 231 # I2O device support
 232 #
 233 # CONFIG_I2O is not set
 234
 235 #
 236 # Networking support
 237 #
 238 CONFIG_NET=y
 239
 240 #
 241 # Networking options
 242 #
 243 CONFIG_PACKET=y
 244 # CONFIG_PACKET_MMAP is not set
 245 CONFIG_NETLINK_DEV=y
 246 CONFIG_UNIX=y
 247 CONFIG_NET_KEY=y
 248 CONFIG_INET=y
 249 # CONFIG_IP_MULTICAST is not set
 250 # CONFIG_IP_ADVANCED_ROUTER is not set
 251 CONFIG_IP_PNP=y
 252 # CONFIG_IP_PNP_DHCP is not set
 253 CONFIG_IP_PNP_BOOTP=y
 254 # CONFIG_IP_PNP_RARP is not set
 255 # CONFIG_NET_IPIP is not set
 256 # CONFIG_NET_IPGRE is not set
 257 # CONFIG_ARPD is not set
 258 # CONFIG_SYN_COOKIES is not set
 259 # CONFIG_INET_AH is not set
 260 # CONFIG_INET_ESP is not set
 261 # CONFIG_INET_IPCOMP is not set
 262 CONFIG_INET_TUNNEL=y
 263 CONFIG_IP_TCPDIAG=y
 264 # CONFIG_IP_TCPDIAG_IPV6 is not set
 265 # CONFIG_IPV6 is not set
 266 # CONFIG_NETFILTER is not set
 267 CONFIG_XFRM=y
 268 CONFIG_XFRM_USER=y
 269
 270 #
 271 # SCTP Configuration (EXPERIMENTAL)
 272 #
 273 # CONFIG_IP_SCTP is not set
 274 # CONFIG_ATM is not set
 275 # CONFIG_BRIDGE is not set
 276 # CONFIG_VLAN_8021Q is not set
 277 # CONFIG_DECNET is not set
 278 # CONFIG_LLC2 is not set
 279 # CONFIG_IPX is not set
 280 # CONFIG_ATALK is not set
 281 # CONFIG_X25 is not set
 282 # CONFIG_LAPB is not set
 283 # CONFIG_NET_DIVERT is not set
 284 # CONFIG_ECONET is not set
 285 # CONFIG_WAN_ROUTER is not set
 286
 287 #
 288 # QoS and/or fair queueing
 289 #
 290 # CONFIG_NET_SCHED is not set
 291 # CONFIG_NET_CLS_ROUTE is not set
 292
 293 #
 294 # Network testing
 295 #
 296 # CONFIG_NET_PKTGEN is not set
 297 # CONFIG_NETPOLL is not set
 298 # CONFIG_NET_POLL_CONTROLLER is not set
 299 # CONFIG_HAMRADIO is not set
 300 # CONFIG_IRDA is not set
 301 # CONFIG_BT is not set
 302 CONFIG_NETDEVICES=y
 303 # CONFIG_DUMMY is not set
 304 # CONFIG_BONDING is not set
 305 # CONFIG_EQUALIZER is not set
 306 # CONFIG_TUN is not set
 307 # CONFIG_ETHERTAP is not set
 308
 309 #
 310 # ARCnet devices
 311 #
 312 # CONFIG_ARCNET is not set
 313
 314 #
 315 # Ethernet (10 or 100Mbit)
 316 #
 317 CONFIG_NET_ETHERNET=y
 318 CONFIG_MII=y
 319 # CONFIG_HAPPYMEAL is not set
 320 # CONFIG_SUNGEM is not set
 321 # CONFIG_NET_VENDOR_3COM is not set
 322
 323 #
 324 # Tulip family network device support
 325 #
 326 # CONFIG_NET_TULIP is not set
 327 # CONFIG_HP100 is not set
 328 CONFIG_NET_PCI=y
 329 CONFIG_PCNET32=y
 330 # CONFIG_AMD8111_ETH is not set
 331 # CONFIG_ADAPTEC_STARFIRE is not set
 332 # CONFIG_B44 is not set
 333 # CONFIG_FORCEDETH is not set
 334 # CONFIG_DGRS is not set
 335 # CONFIG_EEPRO100 is not set
 336 # CONFIG_E100 is not set
 337 # CONFIG_FEALNX is not set
 338 # CONFIG_NATSEMI is not set
 339 # CONFIG_NE2K_PCI is not set
 340 # CONFIG_8139CP is not set
 341 # CONFIG_8139TOO is not set
 342 # CONFIG_SIS900 is not set
 343 # CONFIG_EPIC100 is not set
 344 # CONFIG_SUNDANCE is not set
 345 # CONFIG_TLAN is not set
 346 # CONFIG_VIA_RHINE is not set
 347 # CONFIG_LAN_SAA9730 is not set
 348
 349 #
 350 # Ethernet (1000 Mbit)
 351 #
 352 # CONFIG_ACENIC is not set
 353 # CONFIG_DL2K is not set
 354 # CONFIG_E1000 is not set
 355 # CONFIG_NS83820 is not set
 356 # CONFIG_HAMACHI is not set
 357 # CONFIG_YELLOWFIN is not set
 358 # CONFIG_R8169 is not set
 359 # CONFIG_SK98LIN is not set
 360 # CONFIG_VIA_VELOCITY 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 is not set
 474 # CONFIG_GEN_RTC is not set
 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 is not set
 557 # CONFIG_EXT3_FS is not set
 558 # CONFIG_JBD is not set
 559 # CONFIG_REISERFS_FS is not set
 560 # CONFIG_JFS_FS is not set
 561 # CONFIG_XFS_FS is not set
 562 # CONFIG_MINIX_FS is not set
 563 # CONFIG_ROMFS_FS is not set
 564 # CONFIG_QUOTA is not set
 565 CONFIG_DNOTIFY=y
 566 CONFIG_AUTOFS_FS=y
 567 CONFIG_AUTOFS4_FS=y
 568
 569 #
 570 # CD-ROM/DVD Filesystems
 571 #
 572 # CONFIG_ISO9660_FS is not set
 573 # CONFIG_UDF_FS is not set
 574
 575 #
 576 # DOS/FAT/NT Filesystems
 577 #
 578 # CONFIG_MSDOS_FS is not set
 579 # CONFIG_VFAT_FS is not set
 580 # CONFIG_NTFS_FS is not set
 581
 582 #
 583 # Pseudo filesystems
 584 #
 585 CONFIG_PROC_FS=y
 586 CONFIG_PROC_KCORE=y
 587 CONFIG_SYSFS=y
 588 # CONFIG_DEVFS_FS is not set
 589 CONFIG_DEVPTS_FS_XATTR=y
 590 CONFIG_DEVPTS_FS_SECURITY=y
 591 # CONFIG_TMPFS is not set
 592 # CONFIG_HUGETLB_PAGE is not set
 593 CONFIG_RAMFS=y
 594
 595 #
 596 # Miscellaneous filesystems
 597 #
 598 # CONFIG_ADFS_FS is not set
 599 # CONFIG_AFFS_FS is not set
 600 # CONFIG_HFS_FS is not set
 601 # CONFIG_HFSPLUS_FS is not set
 602 # CONFIG_BEFS_FS is not set
 603 # CONFIG_BFS_FS is not set
 604 # CONFIG_EFS_FS is not set
 605 # CONFIG_CRAMFS is not set
 606 # CONFIG_VXFS_FS is not set
 607 # CONFIG_HPFS_FS is not set
 608 # CONFIG_QNX4FS_FS is not set
 609 # CONFIG_SYSV_FS is not set
 610 # CONFIG_UFS_FS is not set
 611
 612 #
 613 # Network File Systems
 614 #
 615 CONFIG_NFS_FS=y
 616 # CONFIG_NFS_V3 is not set
 617 # CONFIG_NFS_V4 is not set
 618 # CONFIG_NFS_DIRECTIO is not set
 619 CONFIG_NFSD=y
 620 # CONFIG_NFSD_V3 is not set
 621 # CONFIG_NFSD_TCP is not set
 622 CONFIG_ROOT_NFS=y
 623 CONFIG_LOCKD=y
 624 CONFIG_EXPORTFS=y
 625 CONFIG_SUNRPC=y
 626 # CONFIG_RPCSEC_GSS_KRB5 is not set
 627 # CONFIG_RPCSEC_GSS_SPKM3 is not set
 628 # CONFIG_SMB_FS is not set
 629 # CONFIG_CIFS is not set
 630 # CONFIG_NCP_FS is not set
 631 # CONFIG_CODA_FS is not set
 632 # CONFIG_AFS_FS is not set
 633
 634 #
 635 # Partition Types
 636 #
 637 # CONFIG_PARTITION_ADVANCED is not set
 638 CONFIG_MSDOS_PARTITION=y
 639
 640 #
 641 # Native Language Support
 642 #
 643 # CONFIG_NLS is not set
 644
 645 #
 646 # Profiling support
 647 #
 648 # CONFIG_PROFILING is not set
 649
 650 #
 651 # Kernel hacking
 652 #
 653 # CONFIG_DEBUG_KERNEL is not set
 654 CONFIG_CROSSCOMPILE=y
 655 CONFIG_CMDLINE="ip=any"
 656
 657 #
 658 # Security options
 659 #
 660 CONFIG_KEYS=y
 661 CONFIG_KEYS_DEBUG_PROC_KEYS=y
 662 # CONFIG_SECURITY is not set
 663
 664 #
 665 # Cryptographic options
 666 #
 667 # CONFIG_CRYPTO is not set
 668
 669 #
 670 # Hardware crypto devices
 671 #
 672
 673 #
 674 # Library routines
 675 #
 676 # CONFIG_CRC_CCITT is not set
 677 CONFIG_CRC32=y
 678 # CONFIG_LIBCRC32C is not set
 679 CONFIG_GENERIC_HARDIRQS=y
 680 CONFIG_GENERIC_IRQ_PROBE=y