lustre/kernel_patches/kernel_configs/kgdb-2.6.0-test6

   1 #
   2 # Automatically generated make config: don't edit
   3 #
   4 CONFIG_X86=y
   5 CONFIG_MMU=y
   6 CONFIG_UID16=y
   7 CONFIG_GENERIC_ISA_DMA=y
   8
   9 #
  10 # Code maturity level options
  11 #
  12 CONFIG_EXPERIMENTAL=y
  13 CONFIG_CLEAN_COMPILE=y
  14 CONFIG_STANDALONE=y
  15
  16 #
  17 # General setup
  18 #
  19 CONFIG_SWAP=y
  20 CONFIG_SYSVIPC=y
  21 # CONFIG_BSD_PROCESS_ACCT is not set
  22 CONFIG_SYSCTL=y
  23 CONFIG_LOG_BUF_SHIFT=15
  24 # CONFIG_IKCONFIG is not set
  25 # CONFIG_EMBEDDED is not set
  26 CONFIG_KALLSYMS=y
  27 CONFIG_FUTEX=y
  28 CONFIG_EPOLL=y
  29 CONFIG_IOSCHED_NOOP=y
  30 CONFIG_IOSCHED_AS=y
  31 CONFIG_IOSCHED_DEADLINE=y
  32 CONFIG_IOSCHED_CFQ=y
  33
  34 #
  35 # Loadable module support
  36 #
  37 CONFIG_MODULES=y
  38 CONFIG_MODULE_UNLOAD=y
  39 CONFIG_MODULE_FORCE_UNLOAD=y
  40 CONFIG_OBSOLETE_MODPARM=y
  41 # CONFIG_MODVERSIONS is not set
  42 CONFIG_KMOD=y
  43
  44 #
  45 # Processor type and features
  46 #
  47 CONFIG_X86_PC=y
  48 # CONFIG_X86_VOYAGER is not set
  49 # CONFIG_X86_NUMAQ is not set
  50 # CONFIG_X86_SUMMIT is not set
  51 # CONFIG_X86_BIGSMP is not set
  52 # CONFIG_X86_VISWS is not set
  53 # CONFIG_X86_GENERICARCH is not set
  54 # CONFIG_X86_ES7000 is not set
  55 # CONFIG_M386 is not set
  56 # CONFIG_M486 is not set
  57 # CONFIG_M586 is not set
  58 # CONFIG_M586TSC is not set
  59 # CONFIG_M586MMX is not set
  60 # CONFIG_M686 is not set
  61 # CONFIG_MPENTIUMII is not set
  62 # CONFIG_MPENTIUMIII is not set
  63 CONFIG_MPENTIUM4=y
  64 # CONFIG_MK6 is not set
  65 # CONFIG_MK7 is not set
  66 # CONFIG_MK8 is not set
  67 # CONFIG_MELAN is not set
  68 # CONFIG_MCRUSOE is not set
  69 # CONFIG_MWINCHIPC6 is not set
  70 # CONFIG_MWINCHIP2 is not set
  71 # CONFIG_MWINCHIP3D is not set
  72 # CONFIG_MCYRIXIII is not set
  73 # CONFIG_MVIAC3_2 is not set
  74 # CONFIG_X86_GENERIC is not set
  75 CONFIG_X86_CMPXCHG=y
  76 CONFIG_X86_XADD=y
  77 CONFIG_X86_L1_CACHE_SHIFT=7
  78 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
  79 CONFIG_X86_WP_WORKS_OK=y
  80 CONFIG_X86_INVLPG=y
  81 CONFIG_X86_BSWAP=y
  82 CONFIG_X86_POPAD_OK=y
  83 CONFIG_X86_GOOD_APIC=y
  84 CONFIG_X86_INTEL_USERCOPY=y
  85 CONFIG_X86_USE_PPRO_CHECKSUM=y
  86 # CONFIG_X86_4G is not set
  87 # CONFIG_X86_SWITCH_PAGETABLES is not set
  88 # CONFIG_X86_4G_VM_LAYOUT is not set
  89 # CONFIG_X86_UACCESS_INDIRECT is not set
  90 # CONFIG_X86_HIGH_ENTRY is not set
  91 # CONFIG_HPET_TIMER is not set
  92 # CONFIG_HPET_EMULATE_RTC is not set
  93 CONFIG_SMP=y
  94 CONFIG_NR_CPUS=8
  95 CONFIG_PREEMPT=y
  96 CONFIG_X86_LOCAL_APIC=y
  97 CONFIG_X86_IO_APIC=y
  98 CONFIG_X86_TSC=y
  99 CONFIG_X86_MCE=y
 100 CONFIG_X86_MCE_NONFATAL=y
 101 CONFIG_X86_MCE_P4THERMAL=y
 102 # CONFIG_TOSHIBA is not set
 103 # CONFIG_I8K is not set
 104 # CONFIG_MICROCODE is not set
 105 # CONFIG_X86_MSR is not set
 106 # CONFIG_X86_CPUID is not set
 107 # CONFIG_EDD is not set
 108 CONFIG_NOHIGHMEM=y
 109 # CONFIG_HIGHMEM4G is not set
 110 # CONFIG_HIGHMEM64G is not set
 111 # CONFIG_MATH_EMULATION is not set
 112 CONFIG_MTRR=y
 113 CONFIG_HAVE_DEC_LOCK=y
 114 CONFIG_BOOT_IOREMAP=y
 115 # CONFIG_KEXEC is not set
 116
 117 #
 118 # Power management options (ACPI, APM)
 119 #
 120 CONFIG_PM=y
 121 CONFIG_SOFTWARE_SUSPEND=y
 122 # CONFIG_PM_DISK is not set
 123
 124 #
 125 # ACPI (Advanced Configuration and Power Interface) Support
 126 #
 127 CONFIG_ACPI=y
 128 CONFIG_ACPI_BOOT=y
 129 CONFIG_ACPI_INTERPRETER=y
 130 CONFIG_ACPI_SLEEP=y
 131 CONFIG_ACPI_SLEEP_PROC_FS=y
 132 CONFIG_ACPI_AC=y
 133 CONFIG_ACPI_BATTERY=y
 134 CONFIG_ACPI_BUTTON=y
 135 CONFIG_ACPI_FAN=y
 136 CONFIG_ACPI_PROCESSOR=y
 137 CONFIG_ACPI_THERMAL=y
 138 # CONFIG_ACPI_ASUS is not set
 139 # CONFIG_ACPI_TOSHIBA is not set
 140 # CONFIG_ACPI_DEBUG is not set
 141 CONFIG_ACPI_BUS=y
 142 CONFIG_ACPI_EC=y
 143 CONFIG_ACPI_POWER=y
 144 CONFIG_ACPI_PCI=y
 145 CONFIG_ACPI_SYSTEM=y
 146 # CONFIG_ACPI_EFI is not set
 147 # CONFIG_ACPI_RELAXED_AML is not set
 148
 149 #
 150 # APM (Advanced Power Management) BIOS Support
 151 #
 152 # CONFIG_APM is not set
 153
 154 #
 155 # CPU Frequency scaling
 156 #
 157 # CONFIG_CPU_FREQ is not set
 158
 159 #
 160 # Bus options (PCI, PCMCIA, EISA, MCA, ISA)
 161 #
 162 CONFIG_PCI=y
 163 # CONFIG_PCI_GOBIOS is not set
 164 # CONFIG_PCI_GODIRECT is not set
 165 CONFIG_PCI_GOANY=y
 166 CONFIG_PCI_BIOS=y
 167 CONFIG_PCI_DIRECT=y
 168 # CONFIG_PCI_USE_VECTOR is not set
 169 CONFIG_PCI_LEGACY_PROC=y
 170 CONFIG_PCI_NAMES=y
 171 CONFIG_ISA=y
 172 # CONFIG_EISA is not set
 173 # CONFIG_MCA is not set
 174 # CONFIG_SCx200 is not set
 175 CONFIG_HOTPLUG=y
 176
 177 #
 178 # PCMCIA/CardBus support
 179 #
 180 # CONFIG_PCMCIA is not set
 181 CONFIG_PCMCIA_PROBE=y
 182
 183 #
 184 # PCI Hotplug Support
 185 #
 186 # CONFIG_HOTPLUG_PCI is not set
 187
 188 #
 189 # Executable file formats
 190 #
 191 CONFIG_BINFMT_ELF=y
 192 CONFIG_BINFMT_AOUT=y
 193 CONFIG_BINFMT_MISC=y
 194
 195 #
 196 # Generic Driver Options
 197 #
 198 # CONFIG_FW_LOADER is not set
 199
 200 #
 201 # Memory Technology Devices (MTD)
 202 #
 203 # CONFIG_MTD is not set
 204
 205 #
 206 # Parallel port support
 207 #
 208 CONFIG_PARPORT=y
 209 CONFIG_PARPORT_PC=y
 210 CONFIG_PARPORT_PC_CML1=y
 211 # CONFIG_PARPORT_SERIAL is not set
 212 # CONFIG_PARPORT_PC_FIFO is not set
 213 # CONFIG_PARPORT_PC_SUPERIO is not set
 214 # CONFIG_PARPORT_OTHER is not set
 215 # CONFIG_PARPORT_1284 is not set
 216
 217 #
 218 # Plug and Play support
 219 #
 220 CONFIG_PNP=y
 221 # CONFIG_PNP_DEBUG is not set
 222
 223 #
 224 # Protocols
 225 #
 226 # CONFIG_ISAPNP is not set
 227 # CONFIG_PNPBIOS is not set
 228
 229 #
 230 # Block devices
 231 #
 232 CONFIG_BLK_DEV_FD=y
 233 # CONFIG_BLK_DEV_XD is not set
 234 # CONFIG_PARIDE is not set
 235 # CONFIG_BLK_CPQ_DA is not set
 236 # CONFIG_BLK_CPQ_CISS_DA is not set
 237 # CONFIG_BLK_DEV_DAC960 is not set
 238 # CONFIG_BLK_DEV_UMEM is not set
 239 CONFIG_BLK_DEV_LOOP=y
 240 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
 241 # CONFIG_BLK_DEV_NBD is not set
 242 CONFIG_BLK_DEV_RAM=m
 243 CONFIG_BLK_DEV_RAM_SIZE=4096
 244 CONFIG_BLK_DEV_INITRD=y
 245 CONFIG_LBD=y
 246
 247 #
 248 # ATA/ATAPI/MFM/RLL support
 249 #
 250 CONFIG_IDE=y
 251 CONFIG_BLK_DEV_IDE=y
 252
 253 #
 254 # Please see Documentation/ide.txt for help/info on IDE drives
 255 #
 256 # CONFIG_BLK_DEV_HD_IDE is not set
 257 CONFIG_BLK_DEV_IDEDISK=y
 258 CONFIG_IDEDISK_MULTI_MODE=y
 259 # CONFIG_IDEDISK_STROKE is not set
 260 CONFIG_BLK_DEV_IDECD=y
 261 # CONFIG_BLK_DEV_IDETAPE is not set
 262 # CONFIG_BLK_DEV_IDEFLOPPY is not set
 263 # CONFIG_BLK_DEV_IDESCSI is not set
 264 # CONFIG_IDE_TASK_IOCTL is not set
 265 CONFIG_IDE_TASKFILE_IO=y
 266
 267 #
 268 # IDE chipset support/bugfixes
 269 #
 270 CONFIG_BLK_DEV_CMD640=y
 271 # CONFIG_BLK_DEV_CMD640_ENHANCED is not set
 272 # CONFIG_BLK_DEV_IDEPNP is not set
 273 CONFIG_BLK_DEV_IDEPCI=y
 274 CONFIG_IDEPCI_SHARE_IRQ=y
 275 # CONFIG_BLK_DEV_OFFBOARD is not set
 276 CONFIG_BLK_DEV_GENERIC=y
 277 # CONFIG_BLK_DEV_OPTI621 is not set
 278 CONFIG_BLK_DEV_RZ1000=y
 279 CONFIG_BLK_DEV_IDEDMA_PCI=y
 280 # CONFIG_BLK_DEV_IDE_TCQ is not set
 281 # CONFIG_BLK_DEV_IDEDMA_FORCED is not set
 282 CONFIG_IDEDMA_PCI_AUTO=y
 283 # CONFIG_IDEDMA_ONLYDISK is not set
 284 # CONFIG_IDEDMA_PCI_WIP is not set
 285 CONFIG_BLK_DEV_ADMA=y
 286 # CONFIG_BLK_DEV_AEC62XX is not set
 287 # CONFIG_BLK_DEV_ALI15X3 is not set
 288 # CONFIG_BLK_DEV_AMD74XX is not set
 289 # CONFIG_BLK_DEV_CMD64X is not set
 290 # CONFIG_BLK_DEV_TRIFLEX is not set
 291 # CONFIG_BLK_DEV_CY82C693 is not set
 292 # CONFIG_BLK_DEV_CS5520 is not set
 293 # CONFIG_BLK_DEV_CS5530 is not set
 294 # CONFIG_BLK_DEV_HPT34X is not set
 295 # CONFIG_BLK_DEV_HPT366 is not set
 296 # CONFIG_BLK_DEV_SC1200 is not set
 297 CONFIG_BLK_DEV_PIIX=y
 298 # CONFIG_BLK_DEV_NS87415 is not set
 299 # CONFIG_BLK_DEV_PDC202XX_OLD is not set
 300 # CONFIG_BLK_DEV_PDC202XX_NEW is not set
 301 # CONFIG_BLK_DEV_SVWKS is not set
 302 # CONFIG_BLK_DEV_SGIIOC4 is not set
 303 # CONFIG_BLK_DEV_SIIMAGE is not set
 304 # CONFIG_BLK_DEV_SIS5513 is not set
 305 # CONFIG_BLK_DEV_SLC90E66 is not set
 306 # CONFIG_BLK_DEV_TRM290 is not set
 307 # CONFIG_BLK_DEV_VIA82CXXX is not set
 308 # CONFIG_IDE_CHIPSETS is not set
 309 CONFIG_BLK_DEV_IDEDMA=y
 310 # CONFIG_IDEDMA_IVB is not set
 311 CONFIG_IDEDMA_AUTO=y
 312 # CONFIG_DMA_NONPCI is not set
 313 # CONFIG_BLK_DEV_HD is not set
 314
 315 #
 316 # SCSI device support
 317 #
 318 CONFIG_SCSI=y
 319 CONFIG_SCSI_PROC_FS=y
 320
 321 #
 322 # SCSI support type (disk, tape, CD-ROM)
 323 #
 324 CONFIG_BLK_DEV_SD=y
 325 CONFIG_MAX_SD_DISKS=256
 326 # CONFIG_CHR_DEV_ST is not set
 327 # CONFIG_CHR_DEV_OSST is not set
 328 # CONFIG_BLK_DEV_SR is not set
 329 CONFIG_CHR_DEV_SG=y
 330
 331 #
 332 # Some SCSI devices (e.g. CD jukebox) support multiple LUNs
 333 #
 334 # CONFIG_SCSI_MULTI_LUN is not set
 335 CONFIG_SCSI_REPORT_LUNS=y
 336 # CONFIG_SCSI_CONSTANTS is not set
 337 # CONFIG_SCSI_LOGGING is not set
 338
 339 #
 340 # SCSI low-level drivers
 341 #
 342 # CONFIG_BLK_DEV_3W_XXXX_RAID is not set
 343 # CONFIG_SCSI_7000FASST is not set
 344 # CONFIG_SCSI_ACARD is not set
 345 # CONFIG_SCSI_AHA152X is not set
 346 # CONFIG_SCSI_AHA1542 is not set
 347 # CONFIG_SCSI_AACRAID is not set
 348 # CONFIG_SCSI_AIC7XXX is not set
 349 # CONFIG_SCSI_AIC7XXX_OLD is not set
 350 # CONFIG_SCSI_AIC79XX is not set
 351 # CONFIG_SCSI_ADVANSYS is not set
 352 # CONFIG_SCSI_IN2000 is not set
 353 # CONFIG_SCSI_MEGARAID is not set
 354 # CONFIG_SCSI_BUSLOGIC is not set
 355 # CONFIG_SCSI_CPQFCTS is not set
 356 # CONFIG_SCSI_DMX3191D is not set
 357 # CONFIG_SCSI_DTC3280 is not set
 358 # CONFIG_SCSI_EATA is not set
 359 # CONFIG_SCSI_EATA_PIO is not set
 360 # CONFIG_SCSI_FUTURE_DOMAIN is not set
 361 # CONFIG_SCSI_GDTH is not set
 362 # CONFIG_SCSI_GENERIC_NCR5380 is not set
 363 # CONFIG_SCSI_GENERIC_NCR5380_MMIO is not set
 364 # CONFIG_SCSI_IPS is not set
 365 # CONFIG_SCSI_INIA100 is not set
 366 # CONFIG_SCSI_PPA is not set
 367 # CONFIG_SCSI_IMM is not set
 368 # CONFIG_SCSI_NCR53C406A is not set
 369 # CONFIG_SCSI_SYM53C8XX_2 is not set
 370 # CONFIG_SCSI_PAS16 is not set
 371 # CONFIG_SCSI_PSI240I is not set
 372 # CONFIG_SCSI_QLOGIC_FAS is not set
 373 # CONFIG_SCSI_QLOGIC_ISP is not set
 374 # CONFIG_SCSI_QLOGIC_FC is not set
 375 # CONFIG_SCSI_QLOGIC_1280 is not set
 376 # CONFIG_SCSI_QLA2XXX is not set
 377 # CONFIG_SCSI_SYM53C416 is not set
 378 # CONFIG_SCSI_DC395x is not set
 379 # CONFIG_SCSI_T128 is not set
 380 # CONFIG_SCSI_U14_34F is not set
 381 # CONFIG_SCSI_ULTRASTOR is not set
 382 # CONFIG_SCSI_NSP32 is not set
 383 # CONFIG_SCSI_DEBUG is not set
 384
 385 #
 386 # Old CD-ROM drivers (not SCSI, not IDE)
 387 #
 388 # CONFIG_CD_NO_IDESCSI is not set
 389
 390 #
 391 # Multi-device support (RAID and LVM)
 392 #
 393 # CONFIG_MD is not set
 394
 395 #
 396 # Fusion MPT device support
 397 #
 398 # CONFIG_FUSION is not set
 399
 400 #
 401 # IEEE 1394 (FireWire) support (EXPERIMENTAL)
 402 #
 403 CONFIG_IEEE1394=y
 404
 405 #
 406 # Subsystem Options
 407 #
 408 # CONFIG_IEEE1394_VERBOSEDEBUG is not set
 409 # CONFIG_IEEE1394_OUI_DB is not set
 410
 411 #
 412 # Device Drivers
 413 #
 414
 415 #
 416 # Texas Instruments PCILynx requires I2C bit-banging
 417 #
 418 CONFIG_IEEE1394_OHCI1394=y
 419
 420 #
 421 # Protocol Drivers
 422 #
 423 # CONFIG_IEEE1394_VIDEO1394 is not set
 424 # CONFIG_IEEE1394_SBP2 is not set
 425 # CONFIG_IEEE1394_ETH1394 is not set
 426 # CONFIG_IEEE1394_DV1394 is not set
 427 # CONFIG_IEEE1394_RAWIO is not set
 428 # CONFIG_IEEE1394_CMP is not set
 429
 430 #
 431 # I2O device support
 432 #
 433 # CONFIG_I2O is not set
 434
 435 #
 436 # Networking support
 437 #
 438 CONFIG_NET=y
 439
 440 #
 441 # Networking options
 442 #
 443 CONFIG_PACKET=y
 444 # CONFIG_PACKET_MMAP is not set
 445 # CONFIG_NETLINK_DEV is not set
 446 CONFIG_UNIX=y
 447 # CONFIG_NET_KEY is not set
 448 CONFIG_INET=y
 449 CONFIG_IP_MULTICAST=y
 450 # CONFIG_IP_ADVANCED_ROUTER is not set
 451 # CONFIG_IP_PNP is not set
 452 # CONFIG_NET_IPIP is not set
 453 # CONFIG_NET_IPGRE is not set
 454 # CONFIG_IP_MROUTE is not set
 455 # CONFIG_ARPD is not set
 456 # CONFIG_INET_ECN is not set
 457 # CONFIG_SYN_COOKIES is not set
 458 # CONFIG_INET_AH is not set
 459 # CONFIG_INET_ESP is not set
 460 # CONFIG_INET_IPCOMP is not set
 461 # CONFIG_IPV6 is not set
 462 # CONFIG_DECNET is not set
 463 # CONFIG_BRIDGE is not set
 464 # CONFIG_NETFILTER is not set
 465
 466 #
 467 # SCTP Configuration (EXPERIMENTAL)
 468 #
 469 CONFIG_IPV6_SCTP__=y
 470 # CONFIG_IP_SCTP is not set
 471 # CONFIG_ATM is not set
 472 # CONFIG_VLAN_8021Q is not set
 473 # CONFIG_LLC2 is not set
 474 # CONFIG_IPX is not set
 475 # CONFIG_ATALK is not set
 476 # CONFIG_X25 is not set
 477 # CONFIG_LAPB is not set
 478 # CONFIG_NET_DIVERT is not set
 479 # CONFIG_ECONET is not set
 480 # CONFIG_WAN_ROUTER is not set
 481 # CONFIG_NET_FASTROUTE is not set
 482 # CONFIG_NET_HW_FLOWCONTROL is not set
 483
 484 #
 485 # QoS and/or fair queueing
 486 #
 487 # CONFIG_NET_SCHED is not set
 488
 489 #
 490 # Network testing
 491 #
 492 # CONFIG_NET_PKTGEN is not set
 493 CONFIG_NETDEVICES=y
 494
 495 #
 496 # ARCnet devices
 497 #
 498 # CONFIG_ARCNET is not set
 499 CONFIG_DUMMY=m
 500 # CONFIG_BONDING is not set
 501 # CONFIG_EQUALIZER is not set
 502 # CONFIG_TUN is not set
 503 # CONFIG_NET_SB1000 is not set
 504
 505 #
 506 # Ethernet (10 or 100Mbit)
 507 #
 508 CONFIG_NET_ETHERNET=y
 509 CONFIG_MII=y
 510 # CONFIG_HAPPYMEAL is not set
 511 # CONFIG_SUNGEM is not set
 512 # CONFIG_NET_VENDOR_3COM is not set
 513 # CONFIG_LANCE is not set
 514 # CONFIG_NET_VENDOR_SMC is not set
 515 # CONFIG_NET_VENDOR_RACAL is not set
 516
 517 #
 518 # Tulip family network device support
 519 #
 520 # CONFIG_NET_TULIP is not set
 521 # CONFIG_AT1700 is not set
 522 # CONFIG_DEPCA is not set
 523 # CONFIG_HP100 is not set
 524 # CONFIG_NET_ISA is not set
 525 CONFIG_NET_PCI=y
 526 # CONFIG_PCNET32 is not set
 527 # CONFIG_AMD8111_ETH is not set
 528 # CONFIG_ADAPTEC_STARFIRE is not set
 529 # CONFIG_AC3200 is not set
 530 # CONFIG_APRICOT is not set
 531 # CONFIG_B44 is not set
 532 # CONFIG_CS89x0 is not set
 533 # CONFIG_DGRS is not set
 534 # CONFIG_EEPRO100 is not set
 535 # CONFIG_E100 is not set
 536 # CONFIG_FEALNX is not set
 537 # CONFIG_NATSEMI is not set
 538 # CONFIG_NE2K_PCI is not set
 539 # CONFIG_8139CP is not set
 540 CONFIG_8139TOO=y
 541 # CONFIG_8139TOO_PIO is not set
 542 # CONFIG_8139TOO_TUNE_TWISTER is not set
 543 # CONFIG_8139TOO_8129 is not set
 544 # CONFIG_8139_OLD_RX_RESET is not set
 545 # CONFIG_SIS900 is not set
 546 # CONFIG_EPIC100 is not set
 547 # CONFIG_SUNDANCE is not set
 548 # CONFIG_TLAN is not set
 549 # CONFIG_VIA_RHINE is not set
 550 # CONFIG_NET_POCKET is not set
 551
 552 #
 553 # Ethernet (1000 Mbit)
 554 #
 555 # CONFIG_ACENIC is not set
 556 # CONFIG_DL2K is not set
 557 CONFIG_E1000=m
 558 # CONFIG_E1000_NAPI is not set
 559 # CONFIG_NS83820 is not set
 560 # CONFIG_HAMACHI is not set
 561 # CONFIG_YELLOWFIN is not set
 562 # CONFIG_R8169 is not set
 563 # CONFIG_SIS190 is not set
 564 # CONFIG_SK98LIN is not set
 565 CONFIG_TIGON3=y
 566
 567 #
 568 # Ethernet (10000 Mbit)
 569 #
 570 # CONFIG_IXGB is not set
 571 # CONFIG_FDDI is not set
 572 # CONFIG_HIPPI is not set
 573 # CONFIG_PLIP is not set
 574 # CONFIG_PPP is not set
 575 # CONFIG_SLIP is not set
 576
 577 #
 578 # Wireless LAN (non-hamradio)
 579 #
 580 # CONFIG_NET_RADIO is not set
 581
 582 #
 583 # Token Ring devices
 584 #
 585 # CONFIG_TR is not set
 586 # CONFIG_NET_FC is not set
 587 # CONFIG_RCPCI is not set
 588 # CONFIG_SHAPER is not set
 589 CONFIG_NET_POLL_CONTROLLER=y
 590 CONFIG_NETCONSOLE=y
 591
 592 #
 593 # Wan interfaces
 594 #
 595 # CONFIG_WAN is not set
 596
 597 #
 598 # Amateur Radio support
 599 #
 600 # CONFIG_HAMRADIO is not set
 601
 602 #
 603 # IrDA (infrared) support
 604 #
 605 # CONFIG_IRDA is not set
 606
 607 #
 608 # Bluetooth support
 609 #
 610 # CONFIG_BT is not set
 611 CONFIG_NETPOLL=y
 612
 613 #
 614 # ISDN subsystem
 615 #
 616 # CONFIG_ISDN_BOOL is not set
 617
 618 #
 619 # Telephony Support
 620 #
 621 # CONFIG_PHONE is not set
 622
 623 #
 624 # Input device support
 625 #
 626 CONFIG_INPUT=y
 627
 628 #
 629 # Userland interfaces
 630 #
 631 CONFIG_INPUT_MOUSEDEV=y
 632 CONFIG_INPUT_MOUSEDEV_PSAUX=y
 633 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
 634 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
 635 # CONFIG_INPUT_JOYDEV is not set
 636 # CONFIG_INPUT_TSDEV is not set
 637 # CONFIG_INPUT_EVDEV is not set
 638 # CONFIG_INPUT_EVBUG is not set
 639
 640 #
 641 # Input I/O drivers
 642 #
 643 # CONFIG_GAMEPORT is not set
 644 CONFIG_SOUND_GAMEPORT=y
 645 CONFIG_SERIO=y
 646 CONFIG_SERIO_I8042=y
 647 # CONFIG_SERIO_SERPORT is not set
 648 # CONFIG_SERIO_CT82C710 is not set
 649 # CONFIG_SERIO_PARKBD is not set
 650 # CONFIG_SERIO_PCIPS2 is not set
 651
 652 #
 653 # Input Device Drivers
 654 #
 655 CONFIG_INPUT_KEYBOARD=y
 656 CONFIG_KEYBOARD_ATKBD=y
 657 # CONFIG_KEYBOARD_SUNKBD is not set
 658 # CONFIG_KEYBOARD_XTKBD is not set
 659 # CONFIG_KEYBOARD_NEWTON is not set
 660 CONFIG_INPUT_MOUSE=y
 661 CONFIG_MOUSE_PS2=y
 662 # CONFIG_MOUSE_PS2_SYNAPTICS is not set
 663 # CONFIG_MOUSE_SERIAL is not set
 664 # CONFIG_MOUSE_INPORT is not set
 665 # CONFIG_MOUSE_LOGIBM is not set
 666 # CONFIG_MOUSE_PC110PAD is not set
 667 # CONFIG_INPUT_JOYSTICK is not set
 668 # CONFIG_INPUT_TOUCHSCREEN is not set
 669 # CONFIG_INPUT_MISC is not set
 670
 671 #
 672 # Character devices
 673 #
 674 CONFIG_VT=y
 675 CONFIG_VT_CONSOLE=y
 676 CONFIG_HW_CONSOLE=y
 677 # CONFIG_SERIAL_NONSTANDARD is not set
 678
 679 #
 680 # Serial drivers
 681 #
 682 CONFIG_SERIAL_8250=y
 683 # CONFIG_SERIAL_8250_CONSOLE is not set
 684 # CONFIG_SERIAL_8250_ACPI is not set
 685 # CONFIG_SERIAL_8250_EXTENDED is not set
 686
 687 #
 688 # Non-8250 serial port support
 689 #
 690 CONFIG_SERIAL_CORE=y
 691 CONFIG_UNIX98_PTYS=y
 692 CONFIG_UNIX98_PTY_COUNT=256
 693 CONFIG_PRINTER=y
 694 # CONFIG_LP_CONSOLE is not set
 695 # CONFIG_PPDEV is not set
 696 # CONFIG_TIPAR is not set
 697
 698 #
 699 # I2C support
 700 #
 701 # CONFIG_I2C is not set
 702
 703 #
 704 # I2C Algorithms
 705 #
 706
 707 #
 708 # I2C Hardware Bus support
 709 #
 710
 711 #
 712 # I2C Hardware Sensors Chip support
 713 #
 714 # CONFIG_I2C_SENSOR is not set
 715
 716 #
 717 # Mice
 718 #
 719 # CONFIG_BUSMOUSE is not set
 720 # CONFIG_QIC02_TAPE is not set
 721
 722 #
 723 # IPMI
 724 #
 725 # CONFIG_IPMI_HANDLER is not set
 726
 727 #
 728 # Watchdog Cards
 729 #
 730 # CONFIG_WATCHDOG is not set
 731 # CONFIG_HW_RANDOM is not set
 732 # CONFIG_NVRAM is not set
 733 # CONFIG_RTC is not set
 734 # CONFIG_GEN_RTC is not set
 735 # CONFIG_DTLK is not set
 736 # CONFIG_R3964 is not set
 737 # CONFIG_APPLICOM is not set
 738 # CONFIG_SONYPI is not set
 739
 740 #
 741 # Ftape, the floppy tape device driver
 742 #
 743 CONFIG_AGP=y
 744 # CONFIG_AGP_ALI is not set
 745 # CONFIG_AGP_ATI is not set
 746 # CONFIG_AGP_AMD is not set
 747 # CONFIG_AGP_AMD64 is not set
 748 CONFIG_AGP_INTEL=y
 749 # CONFIG_AGP_NVIDIA is not set
 750 # CONFIG_AGP_SIS is not set
 751 # CONFIG_AGP_SWORKS is not set
 752 # CONFIG_AGP_VIA is not set
 753 CONFIG_DRM=y
 754 # CONFIG_DRM_TDFX is not set
 755 # CONFIG_DRM_GAMMA is not set
 756 # CONFIG_DRM_R128 is not set
 757 # CONFIG_DRM_RADEON is not set
 758 # CONFIG_DRM_I810 is not set
 759 CONFIG_DRM_I830=y
 760 # CONFIG_DRM_MGA is not set
 761 # CONFIG_DRM_SIS is not set
 762 # CONFIG_MWAVE is not set
 763 # CONFIG_RAW_DRIVER is not set
 764 # CONFIG_HANGCHECK_TIMER is not set
 765
 766 #
 767 # Multimedia devices
 768 #
 769 # CONFIG_VIDEO_DEV is not set
 770
 771 #
 772 # Digital Video Broadcasting Devices
 773 #
 774 # CONFIG_DVB is not set
 775
 776 #
 777 # File systems
 778 #
 779 CONFIG_EXT2_FS=y
 780 # CONFIG_EXT2_FS_XATTR is not set
 781 CONFIG_EXT3_FS=y
 782 CONFIG_EXT3_FS_XATTR=y
 783 # CONFIG_EXT3_FS_POSIX_ACL is not set
 784 # CONFIG_EXT3_FS_SECURITY is not set
 785 CONFIG_JBD=y
 786 # CONFIG_JBD_DEBUG is not set
 787 CONFIG_FS_MBCACHE=y
 788 # CONFIG_REISERFS_FS is not set
 789 # CONFIG_JFS_FS is not set
 790 # CONFIG_XFS_FS is not set
 791 # CONFIG_MINIX_FS is not set
 792 CONFIG_ROMFS_FS=m
 793 # CONFIG_QUOTA is not set
 794 # CONFIG_AUTOFS_FS is not set
 795 CONFIG_AUTOFS4_FS=y
 796
 797 #
 798 # CD-ROM/DVD Filesystems
 799 #
 800 CONFIG_ISO9660_FS=y
 801 CONFIG_JOLIET=y
 802 # CONFIG_ZISOFS is not set
 803 CONFIG_UDF_FS=y
 804
 805 #
 806 # DOS/FAT/NT Filesystems
 807 #
 808 CONFIG_FAT_FS=y
 809 CONFIG_MSDOS_FS=y
 810 CONFIG_VFAT_FS=y
 811 # CONFIG_NTFS_FS is not set
 812
 813 #
 814 # Pseudo filesystems
 815 #
 816 CONFIG_PROC_FS=y
 817 CONFIG_PROC_KCORE=y
 818 # CONFIG_DEVFS_FS is not set
 819 CONFIG_DEVPTS_FS=y
 820 # CONFIG_DEVPTS_FS_XATTR is not set
 821 CONFIG_TMPFS=y
 822 # CONFIG_HUGETLBFS is not set
 823 # CONFIG_HUGETLB_PAGE is not set
 824 CONFIG_RAMFS=y
 825
 826 #
 827 # Miscellaneous filesystems
 828 #
 829 # CONFIG_ADFS_FS is not set
 830 # CONFIG_AFFS_FS is not set
 831 # CONFIG_HFS_FS is not set
 832 # CONFIG_BEFS_FS is not set
 833 # CONFIG_BFS_FS is not set
 834 # CONFIG_EFS_FS is not set
 835 # CONFIG_CRAMFS is not set
 836 # CONFIG_VXFS_FS is not set
 837 # CONFIG_HPFS_FS is not set
 838 # CONFIG_QNX4FS_FS is not set
 839 # CONFIG_SYSV_FS is not set
 840 # CONFIG_UFS_FS is not set
 841
 842 #
 843 # Network File Systems
 844 #
 845 CONFIG_NFS_FS=y
 846 # CONFIG_NFS_V3 is not set
 847 # CONFIG_NFS_V4 is not set
 848 CONFIG_NFS_DIRECTIO=y
 849 # CONFIG_NFSD is not set
 850 CONFIG_LOCKD=y
 851 # CONFIG_EXPORTFS is not set
 852 CONFIG_SUNRPC=y
 853 # CONFIG_SUNRPC_GSS is not set
 854 # CONFIG_SMB_FS is not set
 855 # CONFIG_CIFS is not set
 856 # CONFIG_NCP_FS is not set
 857 # CONFIG_CODA_FS is not set
 858 CONFIG_LUSTRE_FS=y
 859 # CONFIG_INTERMEZZO_FS is not set
 860 # CONFIG_AFS_FS is not set
 861
 862 #
 863 # Partition Types
 864 #
 865 # CONFIG_PARTITION_ADVANCED is not set
 866 CONFIG_MSDOS_PARTITION=y
 867 CONFIG_NLS=y
 868
 869 #
 870 # Native Language Support
 871 #
 872 CONFIG_NLS_DEFAULT="iso8859-1"
 873 CONFIG_NLS_CODEPAGE_437=y
 874 # CONFIG_NLS_CODEPAGE_737 is not set
 875 # CONFIG_NLS_CODEPAGE_775 is not set
 876 # CONFIG_NLS_CODEPAGE_850 is not set
 877 # CONFIG_NLS_CODEPAGE_852 is not set
 878 # CONFIG_NLS_CODEPAGE_855 is not set
 879 # CONFIG_NLS_CODEPAGE_857 is not set
 880 # CONFIG_NLS_CODEPAGE_860 is not set
 881 # CONFIG_NLS_CODEPAGE_861 is not set
 882 # CONFIG_NLS_CODEPAGE_862 is not set
 883 # CONFIG_NLS_CODEPAGE_863 is not set
 884 # CONFIG_NLS_CODEPAGE_864 is not set
 885 # CONFIG_NLS_CODEPAGE_865 is not set
 886 # CONFIG_NLS_CODEPAGE_866 is not set
 887 # CONFIG_NLS_CODEPAGE_869 is not set
 888 # CONFIG_NLS_CODEPAGE_936 is not set
 889 # CONFIG_NLS_CODEPAGE_950 is not set
 890 # CONFIG_NLS_CODEPAGE_932 is not set
 891 # CONFIG_NLS_CODEPAGE_949 is not set
 892 # CONFIG_NLS_CODEPAGE_874 is not set
 893 # CONFIG_NLS_ISO8859_8 is not set
 894 # CONFIG_NLS_CODEPAGE_1250 is not set
 895 # CONFIG_NLS_CODEPAGE_1251 is not set
 896 CONFIG_NLS_ISO8859_1=y
 897 # CONFIG_NLS_ISO8859_2 is not set
 898 # CONFIG_NLS_ISO8859_3 is not set
 899 # CONFIG_NLS_ISO8859_4 is not set
 900 # CONFIG_NLS_ISO8859_5 is not set
 901 # CONFIG_NLS_ISO8859_6 is not set
 902 # CONFIG_NLS_ISO8859_7 is not set
 903 # CONFIG_NLS_ISO8859_9 is not set
 904 # CONFIG_NLS_ISO8859_13 is not set
 905 # CONFIG_NLS_ISO8859_14 is not set
 906 # CONFIG_NLS_ISO8859_15 is not set
 907 # CONFIG_NLS_KOI8_R is not set
 908 # CONFIG_NLS_KOI8_U is not set
 909 # CONFIG_NLS_UTF8 is not set
 910
 911 #
 912 # Graphics support
 913 #
 914 CONFIG_FB=y
 915 # CONFIG_FB_CYBER2000 is not set
 916 # CONFIG_FB_ASILIANT is not set
 917 # CONFIG_FB_IMSTT is not set
 918 # CONFIG_FB_VGA16 is not set
 919 # CONFIG_FB_VESA is not set
 920 CONFIG_VIDEO_SELECT=y
 921 # CONFIG_FB_HGA is not set
 922 # CONFIG_FB_RIVA is not set
 923 # CONFIG_FB_I810 is not set
 924 # CONFIG_FB_MATROX is not set
 925 # CONFIG_FB_RADEON is not set
 926 # CONFIG_FB_ATY128 is not set
 927 # CONFIG_FB_ATY is not set
 928 # CONFIG_FB_SIS is not set
 929 # CONFIG_FB_NEOMAGIC is not set
 930 # CONFIG_FB_3DFX is not set
 931 # CONFIG_FB_VOODOO1 is not set
 932 # CONFIG_FB_TRIDENT is not set
 933 CONFIG_FB_VIRTUAL=y
 934
 935 #
 936 # Console display driver support
 937 #
 938 CONFIG_VGA_CONSOLE=y
 939 # CONFIG_MDA_CONSOLE is not set
 940 CONFIG_DUMMY_CONSOLE=y
 941 CONFIG_FRAMEBUFFER_CONSOLE=y
 942 CONFIG_PCI_CONSOLE=y
 943 # CONFIG_FONTS is not set
 944 CONFIG_FONT_8x8=y
 945 CONFIG_FONT_8x16=y
 946
 947 #
 948 # Logo configuration
 949 #
 950 # CONFIG_LOGO is not set
 951
 952 #
 953 # Sound
 954 #
 955 CONFIG_SOUND=y
 956
 957 #
 958 # Advanced Linux Sound Architecture
 959 #
 960 CONFIG_SND=y
 961 CONFIG_SND_SEQUENCER=y
 962 # CONFIG_SND_SEQ_DUMMY is not set
 963 CONFIG_SND_OSSEMUL=y
 964 CONFIG_SND_MIXER_OSS=y
 965 CONFIG_SND_PCM_OSS=y
 966 CONFIG_SND_SEQUENCER_OSS=y
 967 # CONFIG_SND_VERBOSE_PRINTK is not set
 968 # CONFIG_SND_DEBUG is not set
 969
 970 #
 971 # Generic devices
 972 #
 973 # CONFIG_SND_DUMMY is not set
 974 # CONFIG_SND_VIRMIDI is not set
 975 # CONFIG_SND_MTPAV is not set
 976 # CONFIG_SND_SERIAL_U16550 is not set
 977 # CONFIG_SND_MPU401 is not set
 978
 979 #
 980 # ISA devices
 981 #
 982 # CONFIG_SND_AD1848 is not set
 983 # CONFIG_SND_CS4231 is not set
 984 # CONFIG_SND_CS4232 is not set
 985 # CONFIG_SND_CS4236 is not set
 986 # CONFIG_SND_ES1688 is not set
 987 # CONFIG_SND_ES18XX is not set
 988 # CONFIG_SND_GUSCLASSIC is not set
 989 # CONFIG_SND_GUSEXTREME is not set
 990 # CONFIG_SND_GUSMAX is not set
 991 # CONFIG_SND_INTERWAVE is not set
 992 # CONFIG_SND_INTERWAVE_STB is not set
 993 # CONFIG_SND_OPTI92X_AD1848 is not set
 994 # CONFIG_SND_OPTI92X_CS4231 is not set
 995 # CONFIG_SND_OPTI93X is not set
 996 # CONFIG_SND_SB8 is not set
 997 # CONFIG_SND_SB16 is not set
 998 # CONFIG_SND_SBAWE is not set
 999 # CONFIG_SND_WAVEFRONT is not set
1000 # CONFIG_SND_CMI8330 is not set
1001 # CONFIG_SND_OPL3SA2 is not set
1002 # CONFIG_SND_SGALAXY is not set
1003 # CONFIG_SND_SSCAPE is not set
1004
1005 #
1006 # PCI devices
1007 #
1008 # CONFIG_SND_ALI5451 is not set
1009 # CONFIG_SND_AZT3328 is not set
1010 # CONFIG_SND_CS46XX is not set
1011 # CONFIG_SND_CS4281 is not set
1012 # CONFIG_SND_EMU10K1 is not set
1013 # CONFIG_SND_KORG1212 is not set
1014 # CONFIG_SND_NM256 is not set
1015 # CONFIG_SND_RME32 is not set
1016 # CONFIG_SND_RME96 is not set
1017 # CONFIG_SND_RME9652 is not set
1018 # CONFIG_SND_HDSP is not set
1019 # CONFIG_SND_TRIDENT is not set
1020 # CONFIG_SND_YMFPCI is not set
1021 # CONFIG_SND_ALS4000 is not set
1022 # CONFIG_SND_CMIPCI is not set
1023 # CONFIG_SND_ENS1370 is not set
1024 # CONFIG_SND_ENS1371 is not set
1025 # CONFIG_SND_ES1938 is not set
1026 # CONFIG_SND_ES1968 is not set
1027 # CONFIG_SND_MAESTRO3 is not set
1028 # CONFIG_SND_FM801 is not set
1029 # CONFIG_SND_ICE1712 is not set
1030 # CONFIG_SND_ICE1724 is not set
1031 CONFIG_SND_INTEL8X0=y
1032 # CONFIG_SND_SONICVIBES is not set
1033 # CONFIG_SND_VIA82XX is not set
1034 # CONFIG_SND_VX222 is not set
1035
1036 #
1037 # ALSA USB devices
1038 #
1039 # CONFIG_SND_USB_AUDIO is not set
1040
1041 #
1042 # Open Sound System
1043 #
1044 # CONFIG_SOUND_PRIME is not set
1045
1046 #
1047 # USB support
1048 #
1049 CONFIG_USB=y
1050 # CONFIG_USB_DEBUG is not set
1051
1052 #
1053 # Miscellaneous USB options
1054 #
1055 CONFIG_USB_DEVICEFS=y
1056 # CONFIG_USB_BANDWIDTH is not set
1057 # CONFIG_USB_DYNAMIC_MINORS is not set
1058
1059 #
1060 # USB Host Controller Drivers
1061 #
1062 CONFIG_USB_EHCI_HCD=y
1063 # CONFIG_USB_OHCI_HCD is not set
1064 CONFIG_USB_UHCI_HCD=y
1065
1066 #
1067 # USB Device Class drivers
1068 #
1069 # CONFIG_USB_AUDIO is not set
1070 # CONFIG_USB_BLUETOOTH_TTY is not set
1071 # CONFIG_USB_MIDI is not set
1072 # CONFIG_USB_ACM is not set
1073 CONFIG_USB_PRINTER=y
1074 CONFIG_USB_STORAGE=y
1075 # CONFIG_USB_STORAGE_DEBUG is not set
1076 # CONFIG_USB_STORAGE_DATAFAB is not set
1077 # CONFIG_USB_STORAGE_FREECOM is not set
1078 # CONFIG_USB_STORAGE_ISD200 is not set
1079 # CONFIG_USB_STORAGE_DPCM is not set
1080 # CONFIG_USB_STORAGE_HP8200e is not set
1081 # CONFIG_USB_STORAGE_SDDR09 is not set
1082 # CONFIG_USB_STORAGE_SDDR55 is not set
1083 # CONFIG_USB_STORAGE_JUMPSHOT is not set
1084
1085 #
1086 # USB Human Interface Devices (HID)
1087 #
1088 CONFIG_USB_HID=y
1089 CONFIG_USB_HIDINPUT=y
1090 # CONFIG_HID_FF is not set
1091 # CONFIG_USB_HIDDEV is not set
1092 # CONFIG_USB_AIPTEK is not set
1093 # CONFIG_USB_WACOM is not set
1094 # CONFIG_USB_KBTAB is not set
1095 # CONFIG_USB_POWERMATE is not set
1096 # CONFIG_USB_XPAD is not set
1097
1098 #
1099 # USB Imaging devices
1100 #
1101 # CONFIG_USB_MDC800 is not set
1102 # CONFIG_USB_SCANNER is not set
1103 # CONFIG_USB_MICROTEK is not set
1104 # CONFIG_USB_HPUSBSCSI is not set
1105
1106 #
1107 # USB Multimedia devices
1108 #
1109 # CONFIG_USB_DABUSB is not set
1110
1111 #
1112 # Video4Linux support is needed for USB Multimedia device support
1113 #
1114
1115 #
1116 # USB Network adaptors
1117 #
1118 # CONFIG_USB_CATC is not set
1119 # CONFIG_USB_KAWETH is not set
1120 # CONFIG_USB_PEGASUS is not set
1121 # CONFIG_USB_RTL8150 is not set
1122 # CONFIG_USB_USBNET is not set
1123
1124 #
1125 # USB port drivers
1126 #
1127 # CONFIG_USB_USS720 is not set
1128
1129 #
1130 # USB Serial Converter support
1131 #
1132 # CONFIG_USB_SERIAL is not set
1133
1134 #
1135 # USB Miscellaneous drivers
1136 #
1137 # CONFIG_USB_TIGL is not set
1138 # CONFIG_USB_AUERSWALD is not set
1139 # CONFIG_USB_RIO500 is not set
1140 # CONFIG_USB_BRLVGER is not set
1141 # CONFIG_USB_LCD is not set
1142 # CONFIG_USB_TEST is not set
1143 # CONFIG_USB_GADGET is not set
1144
1145 #
1146 # Profiling support
1147 #
1148 # CONFIG_PROFILING is not set
1149
1150 #
1151 # Kernel hacking
1152 #
1153 CONFIG_CRASH_DUMP=y
1154 CONFIG_CRASH_DUMP_BLOCKDEV=y
1155 CONFIG_CRASH_DUMP_NETDEV=y
1156 CONFIG_CRASH_DUMP_MEMDEV=y
1157 CONFIG_CRASH_DUMP_SOFTBOOT=y
1158 CONFIG_CRASH_DUMP_COMPRESS_RLE=y
1159 CONFIG_CRASH_DUMP_COMPRESS_GZIP=y
1160 CONFIG_DEBUG_KERNEL=y
1161 # CONFIG_DEBUG_STACKOVERFLOW is not set
1162 # CONFIG_DEBUG_SLAB is not set
1163 # CONFIG_DEBUG_IOVIRT is not set
1164 CONFIG_MAGIC_SYSRQ=y
1165 CONFIG_DEBUG_SPINLOCK=y
1166 # CONFIG_DEBUG_PAGEALLOC is not set
1167 # CONFIG_SPINLINE is not set
1168 CONFIG_DEBUG_INFO=y
1169 CONFIG_DEBUG_SPINLOCK_SLEEP=y
1170 CONFIG_KGDB=y
1171 # CONFIG_KGDB_9600BAUD is not set
1172 # CONFIG_KGDB_19200BAUD is not set
1173 # CONFIG_KGDB_38400BAUD is not set
1174 # CONFIG_KGDB_57600BAUD is not set
1175 CONFIG_KGDB_115200BAUD=y
1176 CONFIG_KGDB_PORT=0x3f8
1177 CONFIG_KGDB_IRQ=4
1178 # CONFIG_KGDB_MORE is not set
1179 CONFIG_NO_KGDB_CPUS=8
1180 # CONFIG_KGDB_TS is not set
1181 # CONFIG_STACK_OVERFLOW_TEST is not set
1182 # CONFIG_KGDB_CONSOLE is not set
1183 CONFIG_KGDB_SYSRQ=y
1184 CONFIG_FRAME_POINTER=y
1185 CONFIG_X86_EXTRA_IRQS=y
1186 CONFIG_X86_FIND_SMP_CONFIG=y
1187 CONFIG_X86_MPPARSE=y
1188
1189 #
1190 # Security options
1191 #
1192 # CONFIG_SECURITY is not set
1193
1194 #
1195 # Cryptographic options
1196 #
1197 # CONFIG_CRYPTO is not set
1198
1199 #
1200 # Library routines
1201 #
1202 CONFIG_CRC32=y
1203 CONFIG_ZLIB_INFLATE=y
1204 CONFIG_ZLIB_DEFLATE=y
1205 CONFIG_X86_SMP=y
1206 CONFIG_X86_HT=y
1207 CONFIG_X86_BIOS_REBOOT=y
1208 CONFIG_X86_TRAMPOLINE=y
1209 CONFIG_PC=y