arch/mips/configs/workpad_defconfig

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