lustre/kernel_patches/kernel_configs/kgdb_2.6.0_test1_vmware.config

   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
  14 #
  15 # General setup
  16 #
  17 CONFIG_SWAP=y
  18 CONFIG_SYSVIPC=y
  19 # CONFIG_BSD_PROCESS_ACCT is not set
  20 CONFIG_SYSCTL=y
  21 CONFIG_LOG_BUF_SHIFT=15
  22 # CONFIG_EMBEDDED is not set
  23 CONFIG_KALLSYMS=y
  24 CONFIG_FUTEX=y
  25 CONFIG_EPOLL=y
  26
  27 #
  28 # Loadable module support
  29 #
  30 CONFIG_MODULES=y
  31 CONFIG_MODULE_UNLOAD=y
  32 CONFIG_MODULE_FORCE_UNLOAD=y
  33 CONFIG_OBSOLETE_MODPARM=y
  34 # CONFIG_MODVERSIONS is not set
  35 CONFIG_KMOD=y
  36
  37 #
  38 # Processor type and features
  39 #
  40 CONFIG_X86_PC=y
  41 # CONFIG_X86_VOYAGER is not set
  42 # CONFIG_X86_NUMAQ is not set
  43 # CONFIG_X86_SUMMIT is not set
  44 # CONFIG_X86_BIGSMP is not set
  45 # CONFIG_X86_VISWS is not set
  46 # CONFIG_X86_GENERICARCH is not set
  47 # CONFIG_X86_ES7000 is not set
  48 # CONFIG_M386 is not set
  49 # CONFIG_M486 is not set
  50 # CONFIG_M586 is not set
  51 # CONFIG_M586TSC is not set
  52 # CONFIG_M586MMX is not set
  53 # CONFIG_M686 is not set
  54 # CONFIG_MPENTIUMII is not set
  55 CONFIG_MPENTIUMIII=y
  56 # CONFIG_MPENTIUM4 is not set
  57 # CONFIG_MK6 is not set
  58 # CONFIG_MK7 is not set
  59 # CONFIG_MK8 is not set
  60 # CONFIG_MELAN is not set
  61 # CONFIG_MCRUSOE is not set
  62 # CONFIG_MWINCHIPC6 is not set
  63 # CONFIG_MWINCHIP2 is not set
  64 # CONFIG_MWINCHIP3D is not set
  65 # CONFIG_MCYRIXIII is not set
  66 # CONFIG_MVIAC3_2 is not set
  67 # CONFIG_X86_GENERIC is not set
  68 CONFIG_X86_CMPXCHG=y
  69 CONFIG_X86_XADD=y
  70 CONFIG_X86_L1_CACHE_SHIFT=5
  71 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
  72 CONFIG_X86_WP_WORKS_OK=y
  73 CONFIG_X86_INVLPG=y
  74 CONFIG_X86_BSWAP=y
  75 CONFIG_X86_POPAD_OK=y
  76 CONFIG_X86_GOOD_APIC=y
  77 CONFIG_X86_INTEL_USERCOPY=y
  78 CONFIG_X86_USE_PPRO_CHECKSUM=y
  79 # CONFIG_HUGETLB_PAGE is not set
  80 CONFIG_SMP=y
  81 CONFIG_NR_CPUS=16
  82 # CONFIG_PREEMPT is not set
  83 CONFIG_X86_LOCAL_APIC=y
  84 CONFIG_X86_IO_APIC=y
  85 CONFIG_X86_TSC=y
  86 CONFIG_X86_MCE=y
  87 # CONFIG_X86_MCE_NONFATAL is not set
  88 CONFIG_X86_MCE_P4THERMAL=y
  89 # CONFIG_TOSHIBA is not set
  90 # CONFIG_I8K is not set
  91 # CONFIG_MICROCODE is not set
  92 # CONFIG_X86_MSR is not set
  93 # CONFIG_X86_CPUID is not set
  94 CONFIG_EDD=y
  95 CONFIG_NOHIGHMEM=y
  96 # CONFIG_HIGHMEM4G is not set
  97 # CONFIG_HIGHMEM64G is not set
  98 # CONFIG_MATH_EMULATION is not set
  99 CONFIG_MTRR=y
 100 CONFIG_HAVE_DEC_LOCK=y
 101
 102 #
 103 # Power management options (ACPI, APM)
 104 #
 105 # CONFIG_PM is not set
 106
 107 #
 108 # ACPI Support
 109 #
 110 # CONFIG_ACPI is not set
 111
 112 #
 113 # CPU Frequency scaling
 114 #
 115 # CONFIG_CPU_FREQ is not set
 116
 117 #
 118 # Bus options (PCI, PCMCIA, EISA, MCA, ISA)
 119 #
 120 CONFIG_PCI=y
 121 # CONFIG_PCI_GOBIOS is not set
 122 # CONFIG_PCI_GODIRECT is not set
 123 CONFIG_PCI_GOANY=y
 124 CONFIG_PCI_BIOS=y
 125 CONFIG_PCI_DIRECT=y
 126 # CONFIG_PCI_LEGACY_PROC is not set
 127 CONFIG_PCI_NAMES=y
 128 CONFIG_ISA=y
 129 # CONFIG_EISA is not set
 130 # CONFIG_MCA is not set
 131 # CONFIG_SCx200 is not set
 132 CONFIG_HOTPLUG=y
 133
 134 #
 135 # PCMCIA/CardBus support
 136 #
 137 CONFIG_PCMCIA=y
 138 # CONFIG_YENTA is not set
 139 # CONFIG_I82092 is not set
 140 # CONFIG_I82365 is not set
 141 # CONFIG_TCIC is not set
 142 CONFIG_PCMCIA_PROBE=y
 143
 144 #
 145 # PCI Hotplug Support
 146 #
 147 # CONFIG_HOTPLUG_PCI is not set
 148
 149 #
 150 # Executable file formats
 151 #
 152 CONFIG_KCORE_ELF=y
 153 # CONFIG_KCORE_AOUT is not set
 154 CONFIG_BINFMT_ELF=y
 155 CONFIG_BINFMT_AOUT=y
 156 CONFIG_BINFMT_MISC=y
 157
 158 #
 159 # Generic Driver Options
 160 #
 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 CONFIG_PNP=y
 177 CONFIG_PNP_NAMES=y
 178 # CONFIG_PNP_DEBUG is not set
 179
 180 #
 181 # Protocols
 182 #
 183 # CONFIG_ISAPNP is not set
 184 # CONFIG_PNPBIOS is not set
 185
 186 #
 187 # Block devices
 188 #
 189 # CONFIG_BLK_DEV_FD is not set
 190 # CONFIG_BLK_DEV_XD is not set
 191 # CONFIG_BLK_CPQ_DA is not set
 192 # CONFIG_BLK_CPQ_CISS_DA is not set
 193 # CONFIG_BLK_DEV_DAC960 is not set
 194 # CONFIG_BLK_DEV_UMEM is not set
 195 CONFIG_BLK_DEV_LOOP=y
 196 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
 197 # CONFIG_BLK_DEV_NBD is not set
 198 CONFIG_BLK_DEV_RAM=y
 199 CONFIG_BLK_DEV_RAM_SIZE=4096
 200 CONFIG_BLK_DEV_INITRD=y
 201 CONFIG_LBD=y
 202
 203 #
 204 # ATA/ATAPI/MFM/RLL support
 205 #
 206 CONFIG_IDE=y
 207
 208 #
 209 # IDE, ATA and ATAPI Block devices
 210 #
 211 CONFIG_BLK_DEV_IDE=y
 212
 213 #
 214 # Please see Documentation/ide.txt for help/info on IDE drives
 215 #
 216 # CONFIG_BLK_DEV_HD_IDE is not set
 217 # CONFIG_BLK_DEV_HD is not set
 218 CONFIG_BLK_DEV_IDEDISK=y
 219 CONFIG_IDEDISK_MULTI_MODE=y
 220 # CONFIG_IDEDISK_STROKE is not set
 221 # CONFIG_BLK_DEV_IDECS is not set
 222 CONFIG_BLK_DEV_IDECD=y
 223 # CONFIG_BLK_DEV_IDEFLOPPY is not set
 224 # CONFIG_BLK_DEV_IDESCSI is not set
 225 # CONFIG_IDE_TASK_IOCTL is not set
 226 CONFIG_IDE_TASKFILE_IO=y
 227
 228 #
 229 # IDE chipset support/bugfixes
 230 #
 231 CONFIG_BLK_DEV_CMD640=y
 232 # CONFIG_BLK_DEV_CMD640_ENHANCED is not set
 233 # CONFIG_BLK_DEV_IDEPNP is not set
 234 CONFIG_BLK_DEV_IDEPCI=y
 235 CONFIG_BLK_DEV_GENERIC=y
 236 CONFIG_IDEPCI_SHARE_IRQ=y
 237 CONFIG_BLK_DEV_IDEDMA_PCI=y
 238 # CONFIG_BLK_DEV_IDE_TCQ is not set
 239 # CONFIG_BLK_DEV_OFFBOARD is not set
 240 # CONFIG_BLK_DEV_IDEDMA_FORCED is not set
 241 CONFIG_IDEDMA_PCI_AUTO=y
 242 # CONFIG_IDEDMA_ONLYDISK is not set
 243 CONFIG_BLK_DEV_IDEDMA=y
 244 # CONFIG_IDEDMA_PCI_WIP is not set
 245 CONFIG_BLK_DEV_ADMA=y
 246 # CONFIG_BLK_DEV_AEC62XX is not set
 247 # CONFIG_BLK_DEV_ALI15X3 is not set
 248 # CONFIG_BLK_DEV_AMD74XX is not set
 249 # CONFIG_BLK_DEV_CMD64X is not set
 250 # CONFIG_BLK_DEV_TRIFLEX is not set
 251 # CONFIG_BLK_DEV_CY82C693 is not set
 252 # CONFIG_BLK_DEV_CS5520 is not set
 253 # CONFIG_BLK_DEV_HPT34X is not set
 254 # CONFIG_BLK_DEV_HPT366 is not set
 255 # CONFIG_BLK_DEV_SC1200 is not set
 256 CONFIG_BLK_DEV_PIIX=y
 257 # CONFIG_BLK_DEV_NS87415 is not set
 258 # CONFIG_BLK_DEV_OPTI621 is not set
 259 # CONFIG_BLK_DEV_PDC202XX_OLD is not set
 260 # CONFIG_BLK_DEV_PDC202XX_NEW is not set
 261 CONFIG_BLK_DEV_RZ1000=y
 262 # CONFIG_BLK_DEV_SVWKS is not set
 263 # CONFIG_BLK_DEV_SIIMAGE is not set
 264 # CONFIG_BLK_DEV_SIS5513 is not set
 265 # CONFIG_BLK_DEV_SLC90E66 is not set
 266 # CONFIG_BLK_DEV_TRM290 is not set
 267 # CONFIG_BLK_DEV_VIA82CXXX is not set
 268 # CONFIG_IDE_CHIPSETS is not set
 269 CONFIG_IDEDMA_AUTO=y
 270 # CONFIG_IDEDMA_IVB is not set
 271 CONFIG_BLK_DEV_IDE_MODES=y
 272
 273 #
 274 # SCSI device support
 275 #
 276 CONFIG_SCSI=y
 277
 278 #
 279 # SCSI support type (disk, tape, CD-ROM)
 280 #
 281 CONFIG_BLK_DEV_SD=y
 282 # CONFIG_CHR_DEV_ST is not set
 283 # CONFIG_CHR_DEV_OSST is not set
 284 CONFIG_BLK_DEV_SR=y
 285 CONFIG_BLK_DEV_SR_VENDOR=y
 286 CONFIG_CHR_DEV_SG=y
 287
 288 #
 289 # Some SCSI devices (e.g. CD jukebox) support multiple LUNs
 290 #
 291 CONFIG_SCSI_MULTI_LUN=y
 292 CONFIG_SCSI_REPORT_LUNS=y
 293 CONFIG_SCSI_CONSTANTS=y
 294 # CONFIG_SCSI_LOGGING is not set
 295
 296 #
 297 # SCSI low-level drivers
 298 #
 299 # CONFIG_BLK_DEV_3W_XXXX_RAID is not set
 300 # CONFIG_SCSI_7000FASST is not set
 301 # CONFIG_SCSI_ACARD is not set
 302 # CONFIG_SCSI_AHA152X is not set
 303 # CONFIG_SCSI_AHA1542 is not set
 304 # CONFIG_SCSI_AACRAID is not set
 305 # CONFIG_SCSI_AIC7XXX is not set
 306 # CONFIG_SCSI_AIC7XXX_OLD is not set
 307 # CONFIG_SCSI_AIC79XX is not set
 308 # CONFIG_SCSI_DPT_I2O is not set
 309 # CONFIG_SCSI_ADVANSYS is not set
 310 # CONFIG_SCSI_IN2000 is not set
 311 # CONFIG_SCSI_AM53C974 is not set
 312 # CONFIG_SCSI_MEGARAID is not set
 313 # CONFIG_SCSI_BUSLOGIC is not set
 314 # CONFIG_SCSI_CPQFCTS is not set
 315 # CONFIG_SCSI_DMX3191D is not set
 316 # CONFIG_SCSI_DTC3280 is not set
 317 # CONFIG_SCSI_EATA is not set
 318 # CONFIG_SCSI_EATA_PIO is not set
 319 # CONFIG_SCSI_FUTURE_DOMAIN is not set
 320 # CONFIG_SCSI_GDTH is not set
 321 # CONFIG_SCSI_GENERIC_NCR5380 is not set
 322 # CONFIG_SCSI_GENERIC_NCR5380_MMIO is not set
 323 # CONFIG_SCSI_IPS is not set
 324 # CONFIG_SCSI_INITIO is not set
 325 # CONFIG_SCSI_INIA100 is not set
 326 # CONFIG_SCSI_NCR53C406A is not set
 327 CONFIG_SCSI_SYM53C8XX_2=y
 328 CONFIG_SCSI_SYM53C8XX_DMA_ADDRESSING_MODE=1
 329 CONFIG_SCSI_SYM53C8XX_DEFAULT_TAGS=16
 330 CONFIG_SCSI_SYM53C8XX_MAX_TAGS=64
 331 # CONFIG_SCSI_SYM53C8XX_IOMAPPED is not set
 332 # CONFIG_SCSI_PAS16 is not set
 333 # CONFIG_SCSI_PCI2000 is not set
 334 # CONFIG_SCSI_PCI2220I is not set
 335 # CONFIG_SCSI_PSI240I is not set
 336 # CONFIG_SCSI_QLOGIC_FAS is not set
 337 # CONFIG_SCSI_QLOGIC_ISP is not set
 338 # CONFIG_SCSI_QLOGIC_FC is not set
 339 # CONFIG_SCSI_QLOGIC_1280 is not set
 340 # CONFIG_SCSI_QLA2XXX is not set
 341 # CONFIG_SCSI_SEAGATE is not set
 342 # CONFIG_SCSI_SYM53C416 is not set
 343 # CONFIG_SCSI_DC395x is not set
 344 # CONFIG_SCSI_DC390T is not set
 345 # CONFIG_SCSI_T128 is not set
 346 # CONFIG_SCSI_U14_34F is not set
 347 # CONFIG_SCSI_ULTRASTOR is not set
 348 # CONFIG_SCSI_NSP32 is not set
 349 # CONFIG_SCSI_DEBUG is not set
 350 # CONFIG_SCSI_FERAL_ISP is not set
 351
 352 #
 353 # PCMCIA SCSI adapter support
 354 #
 355 # CONFIG_PCMCIA_AHA152X is not set
 356 # CONFIG_PCMCIA_FDOMAIN is not set
 357 # CONFIG_PCMCIA_NINJA_SCSI is not set
 358 # CONFIG_PCMCIA_QLOGIC is not set
 359
 360 #
 361 # Old CD-ROM drivers (not SCSI, not IDE)
 362 #
 363 # CONFIG_CD_NO_IDESCSI is not set
 364
 365 #
 366 # Multi-device support (RAID and LVM)
 367 #
 368 # CONFIG_MD is not set
 369
 370 #
 371 # Fusion MPT device support
 372 #
 373 # CONFIG_FUSION is not set
 374
 375 #
 376 # IEEE 1394 (FireWire) support (EXPERIMENTAL)
 377 #
 378 # CONFIG_IEEE1394 is not set
 379
 380 #
 381 # I2O device support
 382 #
 383 # CONFIG_I2O is not set
 384
 385 #
 386 # Networking support
 387 #
 388 CONFIG_NET=y
 389
 390 #
 391 # Networking options
 392 #
 393 CONFIG_PACKET=y
 394 # CONFIG_PACKET_MMAP is not set
 395 # CONFIG_NETLINK_DEV is not set
 396 # CONFIG_NETFILTER is not set
 397 CONFIG_UNIX=y
 398 # CONFIG_NET_KEY is not set
 399 CONFIG_INET=y
 400 CONFIG_IP_MULTICAST=y
 401 # CONFIG_IP_ADVANCED_ROUTER is not set
 402 # CONFIG_IP_PNP is not set
 403 # CONFIG_NET_IPIP is not set
 404 # CONFIG_NET_IPGRE is not set
 405 # CONFIG_IP_MROUTE is not set
 406 # CONFIG_ARPD is not set
 407 # CONFIG_INET_ECN is not set
 408 # CONFIG_SYN_COOKIES is not set
 409 # CONFIG_INET_AH is not set
 410 # CONFIG_INET_ESP is not set
 411 # CONFIG_INET_IPCOMP is not set
 412 # CONFIG_IPV6 is not set
 413 # CONFIG_XFRM_USER is not set
 414
 415 #
 416 # SCTP Configuration (EXPERIMENTAL)
 417 #
 418 CONFIG_IPV6_SCTP__=y
 419 # CONFIG_IP_SCTP is not set
 420 # CONFIG_ATM is not set
 421 # CONFIG_VLAN_8021Q is not set
 422 # CONFIG_LLC is not set
 423 # CONFIG_DECNET is not set
 424 # CONFIG_BRIDGE is not set
 425 # CONFIG_X25 is not set
 426 # CONFIG_LAPB is not set
 427 # CONFIG_NET_DIVERT is not set
 428 # CONFIG_ECONET is not set
 429 # CONFIG_WAN_ROUTER is not set
 430 # CONFIG_NET_FASTROUTE is not set
 431 # CONFIG_NET_HW_FLOWCONTROL is not set
 432
 433 #
 434 # QoS and/or fair queueing
 435 #
 436 # CONFIG_NET_SCHED is not set
 437
 438 #
 439 # Network testing
 440 #
 441 # CONFIG_NET_PKTGEN is not set
 442 CONFIG_NETDEVICES=y
 443
 444 #
 445 # ARCnet devices
 446 #
 447 # CONFIG_ARCNET is not set
 448 CONFIG_DUMMY=m
 449 # CONFIG_BONDING is not set
 450 # CONFIG_EQUALIZER is not set
 451 # CONFIG_TUN is not set
 452 # CONFIG_ETHERTAP is not set
 453 # CONFIG_NET_SB1000 is not set
 454
 455 #
 456 # Ethernet (10 or 100Mbit)
 457 #
 458 CONFIG_NET_ETHERNET=y
 459 # CONFIG_MII is not set
 460 # CONFIG_HAPPYMEAL is not set
 461 # CONFIG_SUNGEM is not set
 462 # CONFIG_NET_VENDOR_3COM is not set
 463 # CONFIG_LANCE is not set
 464 # CONFIG_NET_VENDOR_SMC is not set
 465 # CONFIG_NET_VENDOR_RACAL is not set
 466
 467 #
 468 # Tulip family network device support
 469 #
 470 # CONFIG_NET_TULIP is not set
 471 # CONFIG_AT1700 is not set
 472 # CONFIG_DEPCA is not set
 473 # CONFIG_HP100 is not set
 474 # CONFIG_NET_ISA is not set
 475 CONFIG_NET_PCI=y
 476 CONFIG_PCNET32=y
 477 # CONFIG_AMD8111_ETH is not set
 478 # CONFIG_ADAPTEC_STARFIRE is not set
 479 # CONFIG_AC3200 is not set
 480 # CONFIG_APRICOT is not set
 481 # CONFIG_B44 is not set
 482 # CONFIG_CS89x0 is not set
 483 # CONFIG_DGRS is not set
 484 CONFIG_EEPRO100=y
 485 # CONFIG_EEPRO100_PIO is not set
 486 # CONFIG_E100 is not set
 487 # CONFIG_FEALNX is not set
 488 # CONFIG_NATSEMI is not set
 489 # CONFIG_NE2K_PCI is not set
 490 # CONFIG_8139CP is not set
 491 # CONFIG_8139TOO is not set
 492 # CONFIG_SIS900 is not set
 493 # CONFIG_EPIC100 is not set
 494 # CONFIG_SUNDANCE is not set
 495 # CONFIG_TLAN is not set
 496 # CONFIG_VIA_RHINE is not set
 497 # CONFIG_NET_POCKET is not set
 498
 499 #
 500 # Ethernet (1000 Mbit)
 501 #
 502 # CONFIG_ACENIC is not set
 503 # CONFIG_DL2K is not set
 504 # CONFIG_E1000 is not set
 505 # CONFIG_NS83820 is not set
 506 # CONFIG_HAMACHI is not set
 507 # CONFIG_YELLOWFIN is not set
 508 # CONFIG_R8169 is not set
 509 # CONFIG_SK98LIN is not set
 510 # CONFIG_TIGON3 is not set
 511
 512 #
 513 # Ethernet (10000 Mbit)
 514 #
 515 # CONFIG_IXGB is not set
 516 # CONFIG_FDDI is not set
 517 # CONFIG_HIPPI is not set
 518 # CONFIG_PPP is not set
 519 # CONFIG_SLIP is not set
 520
 521 #
 522 # Wireless LAN (non-hamradio)
 523 #
 524 # CONFIG_NET_RADIO is not set
 525
 526 #
 527 # Token Ring devices (depends on LLC=y)
 528 #
 529 # CONFIG_NET_FC is not set
 530 # CONFIG_RCPCI is not set
 531 # CONFIG_SHAPER is not set
 532
 533 #
 534 # Wan interfaces
 535 #
 536 # CONFIG_WAN is not set
 537
 538 #
 539 # PCMCIA network device support
 540 #
 541 CONFIG_NET_PCMCIA=y
 542 # CONFIG_PCMCIA_3C589 is not set
 543 # CONFIG_PCMCIA_3C574 is not set
 544 # CONFIG_PCMCIA_FMVJ18X is not set
 545 CONFIG_PCMCIA_PCNET=y
 546 # CONFIG_PCMCIA_NMCLAN is not set
 547 # CONFIG_PCMCIA_SMC91C92 is not set
 548 # CONFIG_PCMCIA_XIRC2PS is not set
 549 # CONFIG_PCMCIA_AXNET is not set
 550
 551 #
 552 # Amateur Radio support
 553 #
 554 # CONFIG_HAMRADIO is not set
 555
 556 #
 557 # IrDA (infrared) support
 558 #
 559 # CONFIG_IRDA is not set
 560
 561 #
 562 # ISDN subsystem
 563 #
 564 # CONFIG_ISDN_BOOL is not set
 565
 566 #
 567 # Telephony Support
 568 #
 569 # CONFIG_PHONE is not set
 570
 571 #
 572 # Input device support
 573 #
 574 CONFIG_INPUT=y
 575
 576 #
 577 # Userland interfaces
 578 #
 579 CONFIG_INPUT_MOUSEDEV=y
 580 CONFIG_INPUT_MOUSEDEV_PSAUX=y
 581 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
 582 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
 583 # CONFIG_INPUT_JOYDEV is not set
 584 # CONFIG_INPUT_TSDEV is not set
 585 # CONFIG_INPUT_EVDEV is not set
 586 # CONFIG_INPUT_EVBUG is not set
 587
 588 #
 589 # Input I/O drivers
 590 #
 591 # CONFIG_GAMEPORT is not set
 592 CONFIG_SOUND_GAMEPORT=y
 593 # CONFIG_SERIO is not set
 594
 595 #
 596 # Input Device Drivers
 597 #
 598 CONFIG_INPUT_KEYBOARD=y
 599 CONFIG_INPUT_MOUSE=y
 600 # CONFIG_MOUSE_INPORT is not set
 601 # CONFIG_MOUSE_LOGIBM is not set
 602 # CONFIG_MOUSE_PC110PAD is not set
 603 # CONFIG_INPUT_JOYSTICK is not set
 604 # CONFIG_INPUT_TOUCHSCREEN is not set
 605 # CONFIG_INPUT_MISC is not set
 606
 607 #
 608 # Character devices
 609 #
 610 CONFIG_VT=y
 611 CONFIG_VT_CONSOLE=y
 612 CONFIG_HW_CONSOLE=y
 613 # CONFIG_SERIAL_NONSTANDARD is not set
 614
 615 #
 616 # Serial drivers
 617 #
 618 # CONFIG_SERIAL_8250 is not set
 619
 620 #
 621 # Non-8250 serial port support
 622 #
 623 CONFIG_UNIX98_PTYS=y
 624 CONFIG_UNIX98_PTY_COUNT=256
 625
 626 #
 627 # I2C support
 628 #
 629 # CONFIG_I2C is not set
 630
 631 #
 632 # I2C Hardware Sensors Mainboard support
 633 #
 634
 635 #
 636 # I2C Hardware Sensors Chip support
 637 #
 638 # CONFIG_I2C_SENSOR is not set
 639
 640 #
 641 # Mice
 642 #
 643 # CONFIG_BUSMOUSE is not set
 644 # CONFIG_QIC02_TAPE is not set
 645
 646 #
 647 # IPMI
 648 #
 649 # CONFIG_IPMI_HANDLER is not set
 650
 651 #
 652 # Watchdog Cards
 653 #
 654 # CONFIG_WATCHDOG is not set
 655 # CONFIG_HW_RANDOM is not set
 656 # CONFIG_NVRAM is not set
 657 # CONFIG_RTC is not set
 658 # CONFIG_GEN_RTC is not set
 659 # CONFIG_DTLK is not set
 660 # CONFIG_R3964 is not set
 661 # CONFIG_APPLICOM is not set
 662 # CONFIG_SONYPI is not set
 663
 664 #
 665 # Ftape, the floppy tape device driver
 666 #
 667 # CONFIG_FTAPE is not set
 668 CONFIG_AGP=y
 669 # CONFIG_AGP_ALI is not set
 670 # CONFIG_AGP_AMD is not set
 671 # CONFIG_AGP_AMD_8151 is not set
 672 # CONFIG_AGP_INTEL is not set
 673 # CONFIG_AGP_NVIDIA is not set
 674 # CONFIG_AGP_SIS is not set
 675 # CONFIG_AGP_SWORKS is not set
 676 # CONFIG_AGP_VIA is not set
 677 # CONFIG_DRM is not set
 678
 679 #
 680 # PCMCIA character devices
 681 #
 682 # CONFIG_SYNCLINK_CS is not set
 683 # CONFIG_MWAVE is not set
 684 # CONFIG_RAW_DRIVER is not set
 685 # CONFIG_HANGCHECK_TIMER is not set
 686
 687 #
 688 # Multimedia devices
 689 #
 690 # CONFIG_VIDEO_DEV is not set
 691
 692 #
 693 # Digital Video Broadcasting Devices
 694 #
 695 # CONFIG_DVB is not set
 696
 697 #
 698 # File systems
 699 #
 700 CONFIG_EXT2_FS=y
 701 # CONFIG_EXT2_FS_XATTR is not set
 702 CONFIG_EXT3_FS=y
 703 CONFIG_EXT3_FS_XATTR=y
 704 # CONFIG_EXT3_FS_POSIX_ACL is not set
 705 # CONFIG_EXT3_FS_SECURITY is not set
 706 CONFIG_JBD=y
 707 # CONFIG_JBD_DEBUG is not set
 708 CONFIG_FS_MBCACHE=y
 709 # CONFIG_REISERFS_FS is not set
 710 # CONFIG_JFS_FS is not set
 711 # CONFIG_XFS_FS is not set
 712 # CONFIG_MINIX_FS is not set
 713 # CONFIG_ROMFS_FS is not set
 714 # CONFIG_QUOTA is not set
 715 # CONFIG_AUTOFS_FS is not set
 716 # CONFIG_AUTOFS4_FS is not set
 717
 718 #
 719 # CD-ROM/DVD Filesystems
 720 #
 721 CONFIG_ISO9660_FS=m
 722 CONFIG_JOLIET=y
 723 # CONFIG_ZISOFS is not set
 724 # CONFIG_UDF_FS is not set
 725
 726 #
 727 # DOS/FAT/NT Filesystems
 728 #
 729 CONFIG_FAT_FS=m
 730 CONFIG_MSDOS_FS=m
 731 CONFIG_VFAT_FS=m
 732 # CONFIG_NTFS_FS is not set
 733
 734 #
 735 # Pseudo filesystems
 736 #
 737 CONFIG_PROC_FS=y
 738 # CONFIG_DEVFS_FS is not set
 739 CONFIG_DEVPTS_FS=y
 740 # CONFIG_DEVPTS_FS_XATTR is not set
 741 CONFIG_TMPFS=y
 742 CONFIG_RAMFS=y
 743
 744 #
 745 # Miscellaneous filesystems
 746 #
 747 # CONFIG_ADFS_FS is not set
 748 # CONFIG_AFFS_FS is not set
 749 # CONFIG_HFS_FS is not set
 750 # CONFIG_BEFS_FS is not set
 751 # CONFIG_BFS_FS is not set
 752 # CONFIG_EFS_FS is not set
 753 # CONFIG_CRAMFS is not set
 754 # CONFIG_VXFS_FS is not set
 755 # CONFIG_HPFS_FS is not set
 756 # CONFIG_QNX4FS_FS is not set
 757 # CONFIG_SYSV_FS is not set
 758 # CONFIG_UFS_FS is not set
 759
 760 #
 761 # Network File Systems
 762 #
 763 CONFIG_NFS_FS=y
 764 # CONFIG_NFS_V3 is not set
 765 # CONFIG_NFS_V4 is not set
 766 CONFIG_NFS_DIRECTIO=y
 767 # CONFIG_NFSD is not set
 768 CONFIG_LOCKD=y
 769 # CONFIG_EXPORTFS is not set
 770 CONFIG_SUNRPC=y
 771 # CONFIG_SUNRPC_GSS is not set
 772 # CONFIG_SMB_FS is not set
 773 # CONFIG_CIFS is not set
 774 # CONFIG_NCP_FS is not set
 775 # CONFIG_CODA_FS is not set
 776 CONFIG_LUSTRE_FS=y
 777 # CONFIG_INTERMEZZO_FS is not set
 778 # CONFIG_AFS_FS is not set
 779
 780 #
 781 # Partition Types
 782 #
 783 # CONFIG_PARTITION_ADVANCED is not set
 784 CONFIG_MSDOS_PARTITION=y
 785 CONFIG_NLS=y
 786
 787 #
 788 # Native Language Support
 789 #
 790 CONFIG_NLS_DEFAULT="iso8859-1"
 791 CONFIG_NLS_CODEPAGE_437=y
 792 # CONFIG_NLS_CODEPAGE_737 is not set
 793 # CONFIG_NLS_CODEPAGE_775 is not set
 794 # CONFIG_NLS_CODEPAGE_850 is not set
 795 # CONFIG_NLS_CODEPAGE_852 is not set
 796 # CONFIG_NLS_CODEPAGE_855 is not set
 797 # CONFIG_NLS_CODEPAGE_857 is not set
 798 # CONFIG_NLS_CODEPAGE_860 is not set
 799 # CONFIG_NLS_CODEPAGE_861 is not set
 800 # CONFIG_NLS_CODEPAGE_862 is not set
 801 # CONFIG_NLS_CODEPAGE_863 is not set
 802 # CONFIG_NLS_CODEPAGE_864 is not set
 803 # CONFIG_NLS_CODEPAGE_865 is not set
 804 # CONFIG_NLS_CODEPAGE_866 is not set
 805 # CONFIG_NLS_CODEPAGE_869 is not set
 806 # CONFIG_NLS_CODEPAGE_936 is not set
 807 # CONFIG_NLS_CODEPAGE_950 is not set
 808 # CONFIG_NLS_CODEPAGE_932 is not set
 809 # CONFIG_NLS_CODEPAGE_949 is not set
 810 # CONFIG_NLS_CODEPAGE_874 is not set
 811 # CONFIG_NLS_ISO8859_8 is not set
 812 # CONFIG_NLS_CODEPAGE_1250 is not set
 813 # CONFIG_NLS_CODEPAGE_1251 is not set
 814 CONFIG_NLS_ISO8859_1=y
 815 # CONFIG_NLS_ISO8859_2 is not set
 816 # CONFIG_NLS_ISO8859_3 is not set
 817 # CONFIG_NLS_ISO8859_4 is not set
 818 # CONFIG_NLS_ISO8859_5 is not set
 819 # CONFIG_NLS_ISO8859_6 is not set
 820 # CONFIG_NLS_ISO8859_7 is not set
 821 # CONFIG_NLS_ISO8859_9 is not set
 822 # CONFIG_NLS_ISO8859_13 is not set
 823 # CONFIG_NLS_ISO8859_14 is not set
 824 # CONFIG_NLS_ISO8859_15 is not set
 825 # CONFIG_NLS_KOI8_R is not set
 826 # CONFIG_NLS_KOI8_U is not set
 827 # CONFIG_NLS_UTF8 is not set
 828
 829 #
 830 # Graphics support
 831 #
 832 # CONFIG_FB is not set
 833 CONFIG_VIDEO_SELECT=y
 834
 835 #
 836 # Console display driver support
 837 #
 838 CONFIG_VGA_CONSOLE=y
 839 # CONFIG_MDA_CONSOLE is not set
 840 CONFIG_DUMMY_CONSOLE=y
 841
 842 #
 843 # Sound
 844 #
 845 # CONFIG_SOUND is not set
 846
 847 #
 848 # USB support
 849 #
 850 # CONFIG_USB is not set
 851 # CONFIG_USB_GADGET is not set
 852
 853 #
 854 # Bluetooth support
 855 #
 856 # CONFIG_BT is not set
 857
 858 #
 859 # Profiling support
 860 #
 861 CONFIG_PROFILING=y
 862 CONFIG_OPROFILE=y
 863
 864 #
 865 # Kernel hacking
 866 #
 867 CONFIG_DEBUG_KERNEL=y
 868 # CONFIG_DEBUG_STACKOVERFLOW is not set
 869 # CONFIG_DEBUG_SLAB is not set
 870 # CONFIG_DEBUG_IOVIRT is not set
 871 CONFIG_MAGIC_SYSRQ=y
 872 CONFIG_DEBUG_SPINLOCK=y
 873 # CONFIG_DEBUG_PAGEALLOC is not set
 874 # CONFIG_SPINLINE is not set
 875 # CONFIG_LOCKMETER is not set
 876 CONFIG_DEBUG_SPINLOCK_SLEEP=y
 877 CONFIG_KGDB=y
 878 # CONFIG_KGDB_9600BAUD is not set
 879 # CONFIG_KGDB_19200BAUD is not set
 880 # CONFIG_KGDB_38400BAUD is not set
 881 # CONFIG_KGDB_57600BAUD is not set
 882 CONFIG_KGDB_115200BAUD=y
 883 CONFIG_KGDB_PORT=0x3f8
 884 CONFIG_KGDB_IRQ=4
 885 CONFIG_DEBUG_INFO=y
 886 # CONFIG_KGDB_MORE is not set
 887 CONFIG_NO_KGDB_CPUS=16
 888 # CONFIG_KGDB_TS is not set
 889 # CONFIG_STACK_OVERFLOW_TEST is not set
 890 CONFIG_KGDB_CONSOLE=y
 891 CONFIG_KGDB_SYSRQ=y
 892 CONFIG_FRAME_POINTER=y
 893 CONFIG_X86_EXTRA_IRQS=y
 894 CONFIG_X86_FIND_SMP_CONFIG=y
 895 CONFIG_X86_MPPARSE=y
 896
 897 #
 898 # Security options
 899 #
 900 # CONFIG_SECURITY is not set
 901
 902 #
 903 # Cryptographic options
 904 #
 905 # CONFIG_CRYPTO is not set
 906
 907 #
 908 # Library routines
 909 #
 910 # CONFIG_CRC32 is not set
 911 CONFIG_X86_SMP=y
 912 CONFIG_X86_HT=y
 913 CONFIG_X86_BIOS_REBOOT=y
 914 CONFIG_X86_TRAMPOLINE=y