lustre/kernel_patches/kernel_configs/kgdb-vmware-2.5.73

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