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