arch/mips/configs/ivr_defconfig

   1 #
   2 # Automatically generated make config: don't edit
   3 # Linux kernel version: 2.6.11-rc2
   4 # Wed Jan 26 02:49:05 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=y
  26 # CONFIG_BSD_PROCESS_ACCT_V3 is not set
  27 CONFIG_SYSCTL=y
  28 # CONFIG_AUDIT is not set
  29 CONFIG_LOG_BUF_SHIFT=14
  30 # CONFIG_HOTPLUG is not set
  31 CONFIG_KOBJECT_UEVENT=y
  32 # CONFIG_IKCONFIG is not set
  33 CONFIG_EMBEDDED=y
  34 CONFIG_KALLSYMS=y
  35 # CONFIG_KALLSYMS_EXTRA_PASS is not set
  36 CONFIG_FUTEX=y
  37 CONFIG_EPOLL=y
  38 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
  39 CONFIG_SHMEM=y
  40 CONFIG_CC_ALIGN_FUNCTIONS=0
  41 CONFIG_CC_ALIGN_LABELS=0
  42 CONFIG_CC_ALIGN_LOOPS=0
  43 CONFIG_CC_ALIGN_JUMPS=0
  44 # CONFIG_TINY_SHMEM is not set
  45
  46 #
  47 # Loadable module support
  48 #
  49 CONFIG_MODULES=y
  50 CONFIG_MODULE_UNLOAD=y
  51 # CONFIG_MODULE_FORCE_UNLOAD is not set
  52 CONFIG_OBSOLETE_MODPARM=y
  53 CONFIG_MODVERSIONS=y
  54 CONFIG_MODULE_SRCVERSION_ALL=y
  55 CONFIG_KMOD=y
  56
  57 #
  58 # Machine selection
  59 #
  60 # CONFIG_MACH_JAZZ is not set
  61 # CONFIG_MACH_VR41XX is not set
  62 # CONFIG_TOSHIBA_JMR3927 is not set
  63 # CONFIG_MIPS_COBALT is not set
  64 # CONFIG_MACH_DECSTATION is not set
  65 # CONFIG_MIPS_EV64120 is not set
  66 # CONFIG_MIPS_EV96100 is not set
  67 CONFIG_MIPS_IVR=y
  68 # CONFIG_LASAT is not set
  69 # CONFIG_MIPS_ITE8172 is not set
  70 # CONFIG_MIPS_ATLAS is not set
  71 # CONFIG_MIPS_MALTA is not set
  72 # CONFIG_MIPS_SEAD is not set
  73 # CONFIG_MOMENCO_OCELOT is not set
  74 # CONFIG_MOMENCO_OCELOT_G is not set
  75 # CONFIG_MOMENCO_OCELOT_C is not set
  76 # CONFIG_MOMENCO_OCELOT_3 is not set
  77 # CONFIG_MOMENCO_JAGUAR_ATX is not set
  78 # CONFIG_PMC_YOSEMITE is not set
  79 # CONFIG_DDB5074 is not set
  80 # CONFIG_DDB5476 is not set
  81 # CONFIG_DDB5477 is not set
  82 # CONFIG_NEC_OSPREY is not set
  83 # CONFIG_SGI_IP22 is not set
  84 # CONFIG_SOC_AU1X00 is not set
  85 # CONFIG_SIBYTE_SB1xxx_SOC is not set
  86 # CONFIG_SNI_RM200_PCI is not set
  87 # CONFIG_TOSHIBA_RBTX4927 is not set
  88 CONFIG_RWSEM_GENERIC_SPINLOCK=y
  89 CONFIG_GENERIC_CALIBRATE_DELAY=y
  90 CONFIG_HAVE_DEC_LOCK=y
  91 CONFIG_DMA_NONCOHERENT=y
  92 CONFIG_DMA_NEED_PCI_MAP_STATE=y
  93 CONFIG_CPU_LITTLE_ENDIAN=y
  94 CONFIG_ITE_BOARD_GEN=y
  95 CONFIG_IT8172_CIR=y
  96 CONFIG_MIPS_L1_CACHE_SHIFT=5
  97
  98 #
  99 # CPU selection
 100 #
 101 # CONFIG_CPU_MIPS32 is not set
 102 # CONFIG_CPU_MIPS64 is not set
 103 # CONFIG_CPU_R3000 is not set
 104 # CONFIG_CPU_TX39XX is not set
 105 # CONFIG_CPU_VR41XX is not set
 106 # CONFIG_CPU_R4300 is not set
 107 # CONFIG_CPU_R4X00 is not set
 108 # CONFIG_CPU_TX49XX is not set
 109 # CONFIG_CPU_R5000 is not set
 110 # CONFIG_CPU_R5432 is not set
 111 # CONFIG_CPU_R6000 is not set
 112 CONFIG_CPU_NEVADA=y
 113 # CONFIG_CPU_R8000 is not set
 114 # CONFIG_CPU_R10000 is not set
 115 # CONFIG_CPU_RM7000 is not set
 116 # CONFIG_CPU_RM9000 is not set
 117 # CONFIG_CPU_SB1 is not set
 118 CONFIG_PAGE_SIZE_4KB=y
 119 # CONFIG_PAGE_SIZE_8KB is not set
 120 # CONFIG_PAGE_SIZE_16KB is not set
 121 # CONFIG_PAGE_SIZE_64KB is not set
 122 # CONFIG_CPU_ADVANCED is not set
 123 CONFIG_CPU_HAS_LLSC=y
 124 CONFIG_CPU_HAS_LLDSCD=y
 125 CONFIG_CPU_HAS_SYNC=y
 126 # CONFIG_PREEMPT is not set
 127
 128 #
 129 # Bus options (PCI, PCMCIA, EISA, ISA, TC)
 130 #
 131 CONFIG_HW_HAS_PCI=y
 132 CONFIG_PCI=y
 133 CONFIG_PCI_LEGACY_PROC=y
 134 CONFIG_PCI_NAMES=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
 146 #
 147 # PCI Hotplug Support
 148 #
 149 # CONFIG_HOTPLUG_PCI is not set
 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
 183 #
 184 # Block devices
 185 #
 186 # CONFIG_BLK_DEV_FD is not set
 187 # CONFIG_BLK_CPQ_DA is not set
 188 # CONFIG_BLK_CPQ_CISS_DA is not set
 189 # CONFIG_BLK_DEV_DAC960 is not set
 190 # CONFIG_BLK_DEV_UMEM is not set
 191 # CONFIG_BLK_DEV_COW_COMMON is not set
 192 # CONFIG_BLK_DEV_LOOP is not set
 193 # CONFIG_BLK_DEV_NBD is not set
 194 # CONFIG_BLK_DEV_SX8 is not set
 195 # CONFIG_BLK_DEV_RAM is not set
 196 CONFIG_BLK_DEV_RAM_COUNT=16
 197 CONFIG_INITRAMFS_SOURCE=""
 198 # CONFIG_LBD is not set
 199 CONFIG_CDROM_PKTCDVD=m
 200 CONFIG_CDROM_PKTCDVD_BUFFERS=8
 201 # CONFIG_CDROM_PKTCDVD_WCACHE is not set
 202
 203 #
 204 # IO Schedulers
 205 #
 206 CONFIG_IOSCHED_NOOP=y
 207 CONFIG_IOSCHED_AS=y
 208 CONFIG_IOSCHED_DEADLINE=y
 209 CONFIG_IOSCHED_CFQ=y
 210 CONFIG_ATA_OVER_ETH=m
 211
 212 #
 213 # ATA/ATAPI/MFM/RLL support
 214 #
 215 CONFIG_IDE=y
 216 CONFIG_BLK_DEV_IDE=y
 217
 218 #
 219 # Please see Documentation/ide.txt for help/info on IDE drives
 220 #
 221 # CONFIG_BLK_DEV_IDE_SATA is not set
 222 CONFIG_BLK_DEV_IDEDISK=y
 223 # CONFIG_IDEDISK_MULTI_MODE is not set
 224 # CONFIG_BLK_DEV_IDECD is not set
 225 # CONFIG_BLK_DEV_IDETAPE is not set
 226 # CONFIG_BLK_DEV_IDEFLOPPY is not set
 227 # CONFIG_IDE_TASK_IOCTL is not set
 228
 229 #
 230 # IDE chipset support/bugfixes
 231 #
 232 CONFIG_IDE_GENERIC=y
 233 # CONFIG_BLK_DEV_IDEPCI is not set
 234 # CONFIG_IDE_ARM is not set
 235 # CONFIG_BLK_DEV_IDEDMA is not set
 236 # CONFIG_IDEDMA_AUTO is not set
 237 # CONFIG_BLK_DEV_HD is not set
 238
 239 #
 240 # SCSI device support
 241 #
 242 # CONFIG_SCSI is not set
 243
 244 #
 245 # Multi-device support (RAID and LVM)
 246 #
 247 # CONFIG_MD is not set
 248
 249 #
 250 # Fusion MPT device support
 251 #
 252
 253 #
 254 # IEEE 1394 (FireWire) support
 255 #
 256 # CONFIG_IEEE1394 is not set
 257
 258 #
 259 # I2O device support
 260 #
 261 # CONFIG_I2O is not set
 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 is not set
 278 # CONFIG_IP_ADVANCED_ROUTER is not set
 279 CONFIG_IP_PNP=y
 280 # CONFIG_IP_PNP_DHCP is not set
 281 CONFIG_IP_PNP_BOOTP=y
 282 # CONFIG_IP_PNP_RARP is not set
 283 # CONFIG_NET_IPIP is not set
 284 # CONFIG_NET_IPGRE is not set
 285 # CONFIG_ARPD is not set
 286 # CONFIG_SYN_COOKIES is not set
 287 # CONFIG_INET_AH is not set
 288 # CONFIG_INET_ESP is not set
 289 # CONFIG_INET_IPCOMP is not set
 290 CONFIG_INET_TUNNEL=m
 291 CONFIG_IP_TCPDIAG=m
 292 # CONFIG_IP_TCPDIAG_IPV6 is not set
 293 # CONFIG_IPV6 is not set
 294 # CONFIG_NETFILTER is not set
 295 CONFIG_XFRM=y
 296 CONFIG_XFRM_USER=m
 297
 298 #
 299 # SCTP Configuration (EXPERIMENTAL)
 300 #
 301 # CONFIG_IP_SCTP is not set
 302 # CONFIG_ATM is not set
 303 # CONFIG_BRIDGE is not set
 304 # CONFIG_VLAN_8021Q is not set
 305 # CONFIG_DECNET is not set
 306 # CONFIG_LLC2 is not set
 307 # CONFIG_IPX is not set
 308 # CONFIG_ATALK is not set
 309 # CONFIG_X25 is not set
 310 # CONFIG_LAPB is not set
 311 # CONFIG_NET_DIVERT is not set
 312 # CONFIG_ECONET is not set
 313 # CONFIG_WAN_ROUTER is not set
 314
 315 #
 316 # QoS and/or fair queueing
 317 #
 318 # CONFIG_NET_SCHED is not set
 319 # CONFIG_NET_CLS_ROUTE is not set
 320
 321 #
 322 # Network testing
 323 #
 324 # CONFIG_NET_PKTGEN is not set
 325 # CONFIG_NETPOLL is not set
 326 # CONFIG_NET_POLL_CONTROLLER is not set
 327 # CONFIG_HAMRADIO is not set
 328 # CONFIG_IRDA is not set
 329 # CONFIG_BT is not set
 330 CONFIG_NETDEVICES=y
 331 # CONFIG_DUMMY is not set
 332 # CONFIG_BONDING is not set
 333 # CONFIG_EQUALIZER is not set
 334 # CONFIG_TUN is not set
 335 # CONFIG_ETHERTAP is not set
 336
 337 #
 338 # ARCnet devices
 339 #
 340 # CONFIG_ARCNET is not set
 341
 342 #
 343 # Ethernet (10 or 100Mbit)
 344 #
 345 CONFIG_NET_ETHERNET=y
 346 # CONFIG_MII is not set
 347 # CONFIG_HAPPYMEAL is not set
 348 # CONFIG_SUNGEM is not set
 349 # CONFIG_NET_VENDOR_3COM is not set
 350
 351 #
 352 # Tulip family network device support
 353 #
 354 # CONFIG_NET_TULIP is not set
 355 # CONFIG_HP100 is not set
 356 # CONFIG_NET_PCI is not set
 357
 358 #
 359 # Ethernet (1000 Mbit)
 360 #
 361 # CONFIG_ACENIC is not set
 362 # CONFIG_DL2K is not set
 363 # CONFIG_E1000 is not set
 364 # CONFIG_NS83820 is not set
 365 # CONFIG_HAMACHI is not set
 366 # CONFIG_YELLOWFIN is not set
 367 # CONFIG_R8169 is not set
 368 # CONFIG_SK98LIN is not set
 369 # CONFIG_TIGON3 is not set
 370
 371 #
 372 # Ethernet (10000 Mbit)
 373 #
 374 # CONFIG_IXGB is not set
 375 # CONFIG_S2IO is not set
 376
 377 #
 378 # Token Ring devices
 379 #
 380 # CONFIG_TR is not set
 381
 382 #
 383 # Wireless LAN (non-hamradio)
 384 #
 385 # CONFIG_NET_RADIO is not set
 386
 387 #
 388 # Wan interfaces
 389 #
 390 # CONFIG_WAN is not set
 391 # CONFIG_FDDI is not set
 392 # CONFIG_HIPPI is not set
 393 # CONFIG_PPP is not set
 394 # CONFIG_SLIP is not set
 395 # CONFIG_SHAPER is not set
 396 # CONFIG_NETCONSOLE is not set
 397
 398 #
 399 # ISDN subsystem
 400 #
 401 # CONFIG_ISDN is not set
 402
 403 #
 404 # Telephony Support
 405 #
 406 # CONFIG_PHONE is not set
 407
 408 #
 409 # Input device support
 410 #
 411 CONFIG_INPUT=y
 412
 413 #
 414 # Userland interfaces
 415 #
 416 CONFIG_INPUT_MOUSEDEV=y
 417 CONFIG_INPUT_MOUSEDEV_PSAUX=y
 418 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
 419 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
 420 # CONFIG_INPUT_JOYDEV is not set
 421 # CONFIG_INPUT_TSDEV is not set
 422 # CONFIG_INPUT_EVDEV is not set
 423 # CONFIG_INPUT_EVBUG is not set
 424
 425 #
 426 # Input I/O drivers
 427 #
 428 # CONFIG_GAMEPORT is not set
 429 CONFIG_SOUND_GAMEPORT=y
 430 CONFIG_SERIO=y
 431 # CONFIG_SERIO_I8042 is not set
 432 CONFIG_SERIO_SERPORT=y
 433 # CONFIG_SERIO_CT82C710 is not set
 434 # CONFIG_SERIO_PCIPS2 is not set
 435 # CONFIG_SERIO_LIBPS2 is not set
 436 CONFIG_SERIO_RAW=m
 437
 438 #
 439 # Input Device Drivers
 440 #
 441 # CONFIG_INPUT_KEYBOARD is not set
 442 # CONFIG_INPUT_MOUSE is not set
 443 # CONFIG_INPUT_JOYSTICK is not set
 444 # CONFIG_INPUT_TOUCHSCREEN is not set
 445 # CONFIG_INPUT_MISC is not set
 446
 447 #
 448 # Character devices
 449 #
 450 CONFIG_VT=y
 451 CONFIG_VT_CONSOLE=y
 452 CONFIG_HW_CONSOLE=y
 453 # CONFIG_SERIAL_NONSTANDARD is not set
 454 CONFIG_QTRONIX_KEYBOARD=y
 455 # CONFIG_IT8172_SCR0 is not set
 456
 457 #
 458 # Serial drivers
 459 #
 460 CONFIG_SERIAL_8250=y
 461 CONFIG_SERIAL_8250_CONSOLE=y
 462 CONFIG_SERIAL_8250_NR_UARTS=4
 463 # CONFIG_SERIAL_8250_EXTENDED is not set
 464
 465 #
 466 # Non-8250 serial port support
 467 #
 468 CONFIG_SERIAL_CORE=y
 469 CONFIG_SERIAL_CORE_CONSOLE=y
 470 CONFIG_UNIX98_PTYS=y
 471 CONFIG_LEGACY_PTYS=y
 472 CONFIG_LEGACY_PTY_COUNT=256
 473
 474 #
 475 # IPMI
 476 #
 477 # CONFIG_IPMI_HANDLER is not set
 478
 479 #
 480 # Watchdog Cards
 481 #
 482 # CONFIG_WATCHDOG is not set
 483 CONFIG_RTC=y
 484 # CONFIG_DTLK is not set
 485 # CONFIG_R3964 is not set
 486 # CONFIG_APPLICOM is not set
 487
 488 #
 489 # Ftape, the floppy tape device driver
 490 #
 491 # CONFIG_DRM is not set
 492 # CONFIG_RAW_DRIVER is not set
 493
 494 #
 495 # I2C support
 496 #
 497 # CONFIG_I2C is not set
 498
 499 #
 500 # Dallas's 1-wire bus
 501 #
 502 # CONFIG_W1 is not set
 503
 504 #
 505 # Misc devices
 506 #
 507
 508 #
 509 # Multimedia devices
 510 #
 511 # CONFIG_VIDEO_DEV is not set
 512
 513 #
 514 # Digital Video Broadcasting Devices
 515 #
 516 # CONFIG_DVB is not set
 517
 518 #
 519 # Graphics support
 520 #
 521 # CONFIG_FB is not set
 522
 523 #
 524 # Console display driver support
 525 #
 526 # CONFIG_VGA_CONSOLE is not set
 527 CONFIG_DUMMY_CONSOLE=y
 528 # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
 529
 530 #
 531 # Sound
 532 #
 533 # CONFIG_SOUND is not set
 534
 535 #
 536 # USB support
 537 #
 538 # CONFIG_USB is not set
 539 CONFIG_USB_ARCH_HAS_HCD=y
 540 CONFIG_USB_ARCH_HAS_OHCI=y
 541
 542 #
 543 # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support' may also be needed; see USB_STORAGE Help for more information
 544 #
 545
 546 #
 547 # USB Gadget Support
 548 #
 549 # CONFIG_USB_GADGET is not set
 550
 551 #
 552 # MMC/SD Card support
 553 #
 554 # CONFIG_MMC is not set
 555
 556 #
 557 # InfiniBand support
 558 #
 559 # CONFIG_INFINIBAND is not set
 560
 561 #
 562 # File systems
 563 #
 564 CONFIG_EXT2_FS=y
 565 # CONFIG_EXT2_FS_XATTR is not set
 566 # CONFIG_EXT3_FS is not set
 567 # CONFIG_JBD is not set
 568 # CONFIG_REISERFS_FS is not set
 569 # CONFIG_JFS_FS is not set
 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 is not set
 576 # CONFIG_AUTOFS4_FS is not set
 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 is not set
 629 CONFIG_ROOT_NFS=y
 630 CONFIG_LOCKD=y
 631 # CONFIG_EXPORTFS is not set
 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=m
 686 CONFIG_GENERIC_HARDIRQS=y
 687 CONFIG_GENERIC_IRQ_PROBE=y