git.oblomov.eu Git - linux-2.6/blob - arch/ia64/configs/sim_defconfig

   1 #
   2 # Automatically generated make config: don't edit
   3 # Linux kernel version: 2.6.16-rc5
   4 # Mon Feb 27 16:13:41 2006
   5 #
   6
   7 #
   8 # Code maturity level options
   9 #
  10 CONFIG_EXPERIMENTAL=y
  11 CONFIG_LOCK_KERNEL=y
  12 CONFIG_INIT_ENV_ARG_LIMIT=32
  13
  14 #
  15 # General setup
  16 #
  17 CONFIG_LOCALVERSION=""
  18 CONFIG_LOCALVERSION_AUTO=y
  19 CONFIG_SWAP=y
  20 CONFIG_SYSVIPC=y
  21 # CONFIG_POSIX_MQUEUE is not set
  22 # CONFIG_BSD_PROCESS_ACCT is not set
  23 CONFIG_SYSCTL=y
  24 # CONFIG_AUDIT is not set
  25 CONFIG_IKCONFIG=y
  26 CONFIG_IKCONFIG_PROC=y
  27 # CONFIG_CPUSETS is not set
  28 CONFIG_INITRAMFS_SOURCE=""
  29 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
  30 # CONFIG_EMBEDDED is not set
  31 CONFIG_KALLSYMS=y
  32 # CONFIG_KALLSYMS_ALL is not set
  33 # CONFIG_KALLSYMS_EXTRA_PASS is not set
  34 CONFIG_HOTPLUG=y
  35 CONFIG_PRINTK=y
  36 CONFIG_BUG=y
  37 CONFIG_ELF_CORE=y
  38 CONFIG_BASE_FULL=y
  39 CONFIG_FUTEX=y
  40 CONFIG_EPOLL=y
  41 CONFIG_SHMEM=y
  42 CONFIG_CC_ALIGN_FUNCTIONS=0
  43 CONFIG_CC_ALIGN_LABELS=0
  44 CONFIG_CC_ALIGN_LOOPS=0
  45 CONFIG_CC_ALIGN_JUMPS=0
  46 CONFIG_SLUB=y
  47 # CONFIG_TINY_SHMEM is not set
  48 CONFIG_BASE_SMALL=0
  49 # CONFIG_SLOB is not set
  50
  51 #
  52 # Loadable module support
  53 #
  54 CONFIG_MODULES=y
  55 CONFIG_MODULE_UNLOAD=y
  56 CONFIG_MODULE_FORCE_UNLOAD=y
  57 CONFIG_OBSOLETE_MODPARM=y
  58 CONFIG_MODVERSIONS=y
  59 # CONFIG_MODULE_SRCVERSION_ALL is not set
  60 CONFIG_KMOD=y
  61 CONFIG_STOP_MACHINE=y
  62
  63 #
  64 # Block layer
  65 #
  66
  67 #
  68 # IO Schedulers
  69 #
  70 CONFIG_IOSCHED_NOOP=y
  71 CONFIG_IOSCHED_AS=y
  72 CONFIG_IOSCHED_DEADLINE=y
  73 CONFIG_IOSCHED_CFQ=y
  74 CONFIG_DEFAULT_AS=y
  75 # CONFIG_DEFAULT_DEADLINE is not set
  76 # CONFIG_DEFAULT_CFQ is not set
  77 # CONFIG_DEFAULT_NOOP is not set
  78 CONFIG_DEFAULT_IOSCHED="anticipatory"
  79
  80 #
  81 # Processor type and features
  82 #
  83 CONFIG_IA64=y
  84 CONFIG_64BIT=y
  85 CONFIG_MMU=y
  86 CONFIG_SWIOTLB=y
  87 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
  88 CONFIG_GENERIC_CALIBRATE_DELAY=y
  89 CONFIG_GENERIC_TIME=y
  90 CONFIG_EFI=y
  91 CONFIG_GENERIC_IOMAP=y
  92 CONFIG_SCHED_NO_NO_OMIT_FRAME_POINTER=y
  93 CONFIG_DMA_IS_DMA32=y
  94 # CONFIG_IA64_GENERIC is not set
  95 # CONFIG_IA64_DIG is not set
  96 # CONFIG_IA64_HP_ZX1 is not set
  97 # CONFIG_IA64_HP_ZX1_SWIOTLB is not set
  98 # CONFIG_IA64_SGI_SN2 is not set
  99 CONFIG_IA64_HP_SIM=y
 100 # CONFIG_ITANIUM is not set
 101 CONFIG_MCKINLEY=y
 102 # CONFIG_IA64_PAGE_SIZE_4KB is not set
 103 # CONFIG_IA64_PAGE_SIZE_8KB is not set
 104 # CONFIG_IA64_PAGE_SIZE_16KB is not set
 105 CONFIG_IA64_PAGE_SIZE_64KB=y
 106 CONFIG_PGTABLE_3=y
 107 # CONFIG_PGTABLE_4 is not set
 108 # CONFIG_HZ_100 is not set
 109 CONFIG_HZ_250=y
 110 # CONFIG_HZ_1000 is not set
 111 CONFIG_HZ=250
 112 CONFIG_IA64_L1_CACHE_SHIFT=7
 113 # CONFIG_IA64_CYCLONE is not set
 114 CONFIG_FORCE_MAX_ZONEORDER=17
 115 CONFIG_SMP=y
 116 CONFIG_NR_CPUS=64
 117 # CONFIG_HOTPLUG_CPU is not set
 118 # CONFIG_SCHED_SMT is not set
 119 CONFIG_PREEMPT=y
 120 CONFIG_SELECT_MEMORY_MODEL=y
 121 CONFIG_FLATMEM_MANUAL=y
 122 # CONFIG_DISCONTIGMEM_MANUAL is not set
 123 # CONFIG_SPARSEMEM_MANUAL is not set
 124 CONFIG_FLATMEM=y
 125 CONFIG_FLAT_NODE_MEM_MAP=y
 126 # CONFIG_SPARSEMEM_STATIC is not set
 127 CONFIG_SPLIT_PTLOCK_CPUS=4
 128 CONFIG_ARCH_SELECT_MEMORY_MODEL=y
 129 CONFIG_ARCH_DISCONTIGMEM_ENABLE=y
 130 CONFIG_ARCH_FLATMEM_ENABLE=y
 131 CONFIG_ARCH_SPARSEMEM_ENABLE=y
 132 # CONFIG_VIRTUAL_MEM_MAP is not set
 133 CONFIG_IA32_SUPPORT=y
 134 CONFIG_COMPAT=y
 135 # CONFIG_IA64_MCA_RECOVERY is not set
 136 # CONFIG_PERFMON is not set
 137 CONFIG_IA64_PALINFO=m
 138
 139 #
 140 # Firmware Drivers
 141 #
 142 CONFIG_EFI_VARS=y
 143 CONFIG_BINFMT_ELF=y
 144 CONFIG_BINFMT_MISC=y
 145
 146 #
 147 # Power management and ACPI
 148 #
 149
 150 #
 151 # Networking
 152 #
 153 CONFIG_NET=y
 154
 155 #
 156 # Networking options
 157 #
 158 # CONFIG_NETDEBUG is not set
 159 CONFIG_PACKET=y
 160 # CONFIG_PACKET_MMAP is not set
 161 # CONFIG_UNIX is not set
 162 # CONFIG_NET_KEY is not set
 163 CONFIG_INET=y
 164 CONFIG_IP_MULTICAST=y
 165 # CONFIG_IP_ADVANCED_ROUTER is not set
 166 CONFIG_IP_FIB_HASH=y
 167 # CONFIG_IP_PNP is not set
 168 # CONFIG_NET_IPIP is not set
 169 # CONFIG_NET_IPGRE is not set
 170 # CONFIG_IP_MROUTE is not set
 171 # CONFIG_ARPD is not set
 172 # CONFIG_SYN_COOKIES is not set
 173 # CONFIG_INET_AH is not set
 174 # CONFIG_INET_ESP is not set
 175 # CONFIG_INET_IPCOMP is not set
 176 # CONFIG_INET_TUNNEL is not set
 177 CONFIG_INET_DIAG=y
 178 CONFIG_INET_TCP_DIAG=y
 179 # CONFIG_TCP_CONG_ADVANCED is not set
 180 CONFIG_TCP_CONG_BIC=y
 181 # CONFIG_IPV6 is not set
 182 # CONFIG_NETFILTER is not set
 183
 184 #
 185 # DCCP Configuration (EXPERIMENTAL)
 186 #
 187 # CONFIG_IP_DCCP is not set
 188
 189 #
 190 # SCTP Configuration (EXPERIMENTAL)
 191 #
 192 # CONFIG_IP_SCTP is not set
 193
 194 #
 195 # TIPC Configuration (EXPERIMENTAL)
 196 #
 197 # CONFIG_TIPC is not set
 198 # CONFIG_ATM is not set
 199 # CONFIG_BRIDGE is not set
 200 # CONFIG_VLAN_8021Q is not set
 201 # CONFIG_DECNET is not set
 202 # CONFIG_LLC2 is not set
 203 # CONFIG_IPX is not set
 204 # CONFIG_ATALK is not set
 205 # CONFIG_X25 is not set
 206 # CONFIG_LAPB is not set
 207 # CONFIG_NET_DIVERT is not set
 208 # CONFIG_ECONET is not set
 209 # CONFIG_WAN_ROUTER is not set
 210
 211 #
 212 # QoS and/or fair queueing
 213 #
 214 # CONFIG_NET_SCHED is not set
 215
 216 #
 217 # Network testing
 218 #
 219 # CONFIG_NET_PKTGEN is not set
 220 # CONFIG_HAMRADIO is not set
 221 # CONFIG_IRDA is not set
 222 # CONFIG_BT is not set
 223 # CONFIG_IEEE80211 is not set
 224
 225 #
 226 # Device Drivers
 227 #
 228
 229 #
 230 # Generic Driver Options
 231 #
 232 # CONFIG_STANDALONE is not set
 233 CONFIG_PREVENT_FIRMWARE_BUILD=y
 234 # CONFIG_FW_LOADER is not set
 235 # CONFIG_DEBUG_DRIVER is not set
 236
 237 #
 238 # Connector - unified userspace <-> kernelspace linker
 239 #
 240 # CONFIG_CONNECTOR is not set
 241
 242 #
 243 # Memory Technology Devices (MTD)
 244 #
 245 # CONFIG_MTD is not set
 246
 247 #
 248 # Parallel port support
 249 #
 250 # CONFIG_PARPORT is not set
 251
 252 #
 253 # Plug and Play support
 254 #
 255
 256 #
 257 # Block devices
 258 #
 259 # CONFIG_BLK_DEV_COW_COMMON is not set
 260 CONFIG_BLK_DEV_LOOP=y
 261 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
 262 # CONFIG_BLK_DEV_NBD is not set
 263 CONFIG_BLK_DEV_RAM=y
 264 CONFIG_BLK_DEV_RAM_COUNT=16
 265 CONFIG_BLK_DEV_RAM_SIZE=4096
 266 # CONFIG_BLK_DEV_INITRD is not set
 267 # CONFIG_CDROM_PKTCDVD is not set
 268 # CONFIG_ATA_OVER_ETH is not set
 269
 270 #
 271 # ATA/ATAPI/MFM/RLL support
 272 #
 273 # CONFIG_IDE is not set
 274
 275 #
 276 # SCSI device support
 277 #
 278 # CONFIG_RAID_ATTRS is not set
 279 CONFIG_SCSI=y
 280 CONFIG_SCSI_PROC_FS=y
 281
 282 #
 283 # SCSI support type (disk, tape, CD-ROM)
 284 #
 285 CONFIG_BLK_DEV_SD=y
 286 # CONFIG_CHR_DEV_ST is not set
 287 # CONFIG_CHR_DEV_OSST is not set
 288 # CONFIG_BLK_DEV_SR is not set
 289 # CONFIG_CHR_DEV_SG is not set
 290 # CONFIG_CHR_DEV_SCH is not set
 291
 292 #
 293 # Some SCSI devices (e.g. CD jukebox) support multiple LUNs
 294 #
 295 CONFIG_SCSI_MULTI_LUN=y
 296 CONFIG_SCSI_CONSTANTS=y
 297 CONFIG_SCSI_LOGGING=y
 298
 299 #
 300 # SCSI Transport Attributes
 301 #
 302 CONFIG_SCSI_SPI_ATTRS=y
 303 # CONFIG_SCSI_FC_ATTRS is not set
 304 # CONFIG_SCSI_ISCSI_ATTRS is not set
 305 # CONFIG_SCSI_SAS_ATTRS is not set
 306
 307 #
 308 # SCSI low-level drivers
 309 #
 310 # CONFIG_ISCSI_TCP is not set
 311 # CONFIG_SCSI_SATA is not set
 312 # CONFIG_SCSI_DEBUG is not set
 313
 314 #
 315 # Multi-device support (RAID and LVM)
 316 #
 317 # CONFIG_MD is not set
 318
 319 #
 320 # Fusion MPT device support
 321 #
 322 # CONFIG_FUSION is not set
 323
 324 #
 325 # IEEE 1394 (FireWire) support
 326 #
 327
 328 #
 329 # I2O device support
 330 #
 331
 332 #
 333 # Network device support
 334 #
 335 # CONFIG_NETDEVICES is not set
 336 # CONFIG_DUMMY is not set
 337 # CONFIG_BONDING is not set
 338 # CONFIG_EQUALIZER is not set
 339 # CONFIG_TUN is not set
 340
 341 #
 342 # PHY device support
 343 #
 344
 345 #
 346 # Ethernet (10 or 100Mbit)
 347 #
 348 # CONFIG_NET_ETHERNET is not set
 349
 350 #
 351 # Ethernet (1000 Mbit)
 352 #
 353
 354 #
 355 # Ethernet (10000 Mbit)
 356 #
 357 # CONFIG_PPP is not set
 358 # CONFIG_SLIP is not set
 359 # CONFIG_SHAPER is not set
 360 # CONFIG_NETCONSOLE is not set
 361 # CONFIG_NETPOLL is not set
 362 # CONFIG_NET_POLL_CONTROLLER is not set
 363
 364 #
 365 # ISDN subsystem
 366 #
 367 # CONFIG_ISDN is not set
 368
 369 #
 370 # Telephony Support
 371 #
 372 # CONFIG_PHONE is not set
 373
 374 #
 375 # Input device support
 376 #
 377 CONFIG_INPUT=y
 378
 379 #
 380 # Userland interfaces
 381 #
 382 CONFIG_INPUT_MOUSEDEV=y
 383 CONFIG_INPUT_MOUSEDEV_PSAUX=y
 384 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
 385 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
 386 # CONFIG_INPUT_JOYDEV is not set
 387 # CONFIG_INPUT_TSDEV is not set
 388 # CONFIG_INPUT_EVDEV is not set
 389 # CONFIG_INPUT_EVBUG is not set
 390
 391 #
 392 # Input Device Drivers
 393 #
 394 # CONFIG_INPUT_KEYBOARD is not set
 395 # CONFIG_INPUT_MOUSE is not set
 396 # CONFIG_INPUT_JOYSTICK is not set
 397 # CONFIG_INPUT_TOUCHSCREEN is not set
 398 # CONFIG_INPUT_MISC is not set
 399
 400 #
 401 # Hardware I/O ports
 402 #
 403 CONFIG_SERIO=y
 404 # CONFIG_SERIO_I8042 is not set
 405 CONFIG_SERIO_SERPORT=y
 406 # CONFIG_SERIO_RAW is not set
 407 # CONFIG_GAMEPORT is not set
 408
 409 #
 410 # Character devices
 411 #
 412 CONFIG_VT=y
 413 CONFIG_VT_CONSOLE=y
 414 CONFIG_HW_CONSOLE=y
 415 # CONFIG_SERIAL_NONSTANDARD is not set
 416
 417 #
 418 # Serial drivers
 419 #
 420 # CONFIG_SERIAL_8250 is not set
 421
 422 #
 423 # Non-8250 serial port support
 424 #
 425 CONFIG_UNIX98_PTYS=y
 426 # CONFIG_LEGACY_PTYS is not set
 427
 428 #
 429 # IPMI
 430 #
 431 # CONFIG_IPMI_HANDLER is not set
 432
 433 #
 434 # Watchdog Cards
 435 #
 436 # CONFIG_WATCHDOG is not set
 437 CONFIG_EFI_RTC=y
 438 # CONFIG_DTLK is not set
 439 # CONFIG_R3964 is not set
 440
 441 #
 442 # Ftape, the floppy tape device driver
 443 #
 444 # CONFIG_AGP is not set
 445 # CONFIG_RAW_DRIVER is not set
 446 # CONFIG_HANGCHECK_TIMER is not set
 447
 448 #
 449 # TPM devices
 450 #
 451 # CONFIG_TCG_TPM is not set
 452 # CONFIG_TELCLOCK is not set
 453
 454 #
 455 # I2C support
 456 #
 457 # CONFIG_I2C is not set
 458
 459 #
 460 # SPI support
 461 #
 462 # CONFIG_SPI is not set
 463 # CONFIG_SPI_MASTER is not set
 464
 465 #
 466 # Dallas's 1-wire bus
 467 #
 468 # CONFIG_W1 is not set
 469
 470 #
 471 # Hardware Monitoring support
 472 #
 473 CONFIG_HWMON=y
 474 # CONFIG_HWMON_VID is not set
 475 # CONFIG_SENSORS_F71805F is not set
 476 # CONFIG_HWMON_DEBUG_CHIP is not set
 477
 478 #
 479 # Misc devices
 480 #
 481
 482 #
 483 # Multimedia Capabilities Port drivers
 484 #
 485
 486 #
 487 # Multimedia devices
 488 #
 489 # CONFIG_VIDEO_DEV is not set
 490
 491 #
 492 # Digital Video Broadcasting Devices
 493 #
 494 # CONFIG_DVB is not set
 495
 496 #
 497 # Graphics support
 498 #
 499 # CONFIG_FB is not set
 500
 501 #
 502 # Console display driver support
 503 #
 504 # CONFIG_VGA_CONSOLE is not set
 505 CONFIG_DUMMY_CONSOLE=y
 506
 507 #
 508 # Sound
 509 #
 510 # CONFIG_SOUND is not set
 511
 512 #
 513 # USB support
 514 #
 515 # CONFIG_USB_ARCH_HAS_HCD is not set
 516 # CONFIG_USB_ARCH_HAS_OHCI is not set
 517
 518 #
 519 # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support'
 520 #
 521
 522 #
 523 # USB Gadget Support
 524 #
 525 # CONFIG_USB_GADGET is not set
 526
 527 #
 528 # MMC/SD Card support
 529 #
 530 # CONFIG_MMC is not set
 531
 532 #
 533 # InfiniBand support
 534 #
 535
 536 #
 537 # EDAC - error detection and reporting (RAS)
 538 #
 539
 540 #
 541 # File systems
 542 #
 543 CONFIG_EXT2_FS=y
 544 # CONFIG_EXT2_FS_XATTR is not set
 545 # CONFIG_EXT2_FS_XIP is not set
 546 CONFIG_EXT3_FS=y
 547 # CONFIG_EXT3_FS_XATTR is not set
 548 CONFIG_JBD=y
 549 # CONFIG_JBD_DEBUG is not set
 550 # CONFIG_REISERFS_FS is not set
 551 # CONFIG_JFS_FS is not set
 552 # CONFIG_FS_POSIX_ACL is not set
 553 # CONFIG_XFS_FS is not set
 554 # CONFIG_OCFS2_FS is not set
 555 # CONFIG_MINIX_FS is not set
 556 # CONFIG_ROMFS_FS is not set
 557 CONFIG_INOTIFY=y
 558 # CONFIG_QUOTA is not set
 559 CONFIG_DNOTIFY=y
 560 # CONFIG_AUTOFS_FS is not set
 561 # CONFIG_AUTOFS4_FS is not set
 562 # CONFIG_FUSE_FS is not set
 563
 564 #
 565 # CD-ROM/DVD Filesystems
 566 #
 567 # CONFIG_ISO9660_FS is not set
 568 # CONFIG_UDF_FS is not set
 569
 570 #
 571 # DOS/FAT/NT Filesystems
 572 #
 573 # CONFIG_MSDOS_FS is not set
 574 # CONFIG_VFAT_FS is not set
 575 # CONFIG_NTFS_FS is not set
 576
 577 #
 578 # Pseudo filesystems
 579 #
 580 CONFIG_PROC_FS=y
 581 CONFIG_PROC_KCORE=y
 582 CONFIG_SYSFS=y
 583 # CONFIG_TMPFS is not set
 584 CONFIG_HUGETLBFS=y
 585 CONFIG_HUGETLB_PAGE=y
 586 CONFIG_RAMFS=y
 587 # CONFIG_RELAYFS_FS is not set
 588 # CONFIG_CONFIGFS_FS is not set
 589
 590 #
 591 # Miscellaneous filesystems
 592 #
 593 # CONFIG_ADFS_FS is not set
 594 # CONFIG_AFFS_FS is not set
 595 # CONFIG_HFS_FS is not set
 596 # CONFIG_HFSPLUS_FS is not set
 597 # CONFIG_BEFS_FS is not set
 598 # CONFIG_BFS_FS is not set
 599 # CONFIG_EFS_FS is not set
 600 # CONFIG_CRAMFS is not set
 601 # CONFIG_VXFS_FS is not set
 602 # CONFIG_HPFS_FS is not set
 603 # CONFIG_QNX4FS_FS is not set
 604 # CONFIG_SYSV_FS is not set
 605 # CONFIG_UFS_FS is not set
 606
 607 #
 608 # Network File Systems
 609 #
 610 CONFIG_NFS_FS=y
 611 # CONFIG_NFS_V3 is not set
 612 # CONFIG_NFS_V4 is not set
 613 CONFIG_NFS_DIRECTIO=y
 614 CONFIG_NFSD=y
 615 CONFIG_NFSD_V3=y
 616 # CONFIG_NFSD_V3_ACL is not set
 617 # CONFIG_NFSD_V4 is not set
 618 # CONFIG_NFSD_TCP is not set
 619 CONFIG_LOCKD=y
 620 CONFIG_LOCKD_V4=y
 621 CONFIG_EXPORTFS=y
 622 CONFIG_NFS_COMMON=y
 623 CONFIG_SUNRPC=y
 624 # CONFIG_RPCSEC_GSS_KRB5 is not set
 625 # CONFIG_RPCSEC_GSS_SPKM3 is not set
 626 # CONFIG_SMB_FS is not set
 627 # CONFIG_CIFS is not set
 628 # CONFIG_NCP_FS is not set
 629 # CONFIG_CODA_FS is not set
 630 # CONFIG_AFS_FS is not set
 631 # CONFIG_9P_FS is not set
 632
 633 #
 634 # Partition Types
 635 #
 636 CONFIG_PARTITION_ADVANCED=y
 637 # CONFIG_ACORN_PARTITION is not set
 638 # CONFIG_OSF_PARTITION is not set
 639 # CONFIG_AMIGA_PARTITION is not set
 640 # CONFIG_ATARI_PARTITION is not set
 641 # CONFIG_MAC_PARTITION is not set
 642 CONFIG_MSDOS_PARTITION=y
 643 # CONFIG_BSD_DISKLABEL is not set
 644 # CONFIG_MINIX_SUBPARTITION is not set
 645 # CONFIG_SOLARIS_X86_PARTITION is not set
 646 # CONFIG_UNIXWARE_DISKLABEL is not set
 647 # CONFIG_LDM_PARTITION is not set
 648 # CONFIG_SGI_PARTITION is not set
 649 # CONFIG_ULTRIX_PARTITION is not set
 650 # CONFIG_SUN_PARTITION is not set
 651 # CONFIG_KARMA_PARTITION is not set
 652 CONFIG_EFI_PARTITION=y
 653
 654 #
 655 # Native Language Support
 656 #
 657 # CONFIG_NLS is not set
 658
 659 #
 660 # Library routines
 661 #
 662 # CONFIG_CRC_CCITT is not set
 663 # CONFIG_CRC16 is not set
 664 CONFIG_CRC32=y
 665 # CONFIG_LIBCRC32C is not set
 666 CONFIG_GENERIC_HARDIRQS=y
 667 CONFIG_GENERIC_IRQ_PROBE=y
 668 CONFIG_GENERIC_PENDING_IRQ=y
 669
 670 #
 671 # HP Simulator drivers
 672 #
 673 CONFIG_HP_SIMETH=y
 674 CONFIG_HP_SIMSERIAL=y
 675 CONFIG_HP_SIMSERIAL_CONSOLE=y
 676 CONFIG_HP_SIMSCSI=y
 677
 678 #
 679 # Instrumentation Support
 680 #
 681 # CONFIG_PROFILING is not set
 682 # CONFIG_KPROBES is not set
 683
 684 #
 685 # Kernel hacking
 686 #
 687 # CONFIG_PRINTK_TIME is not set
 688 # CONFIG_MAGIC_SYSRQ is not set
 689 CONFIG_DEBUG_KERNEL=y
 690 CONFIG_LOG_BUF_SHIFT=16
 691 CONFIG_DETECT_SOFTLOCKUP=y
 692 # CONFIG_SCHEDSTATS is not set
 693 # CONFIG_DEBUG_SLAB is not set
 694 CONFIG_DEBUG_PREEMPT=y
 695 CONFIG_DEBUG_MUTEXES=y
 696 # CONFIG_DEBUG_SPINLOCK is not set
 697 # CONFIG_DEBUG_SPINLOCK_SLEEP is not set
 698 # CONFIG_DEBUG_KOBJECT is not set
 699 CONFIG_DEBUG_INFO=y
 700 # CONFIG_DEBUG_FS is not set
 701 # CONFIG_DEBUG_VM is not set
 702 CONFIG_FORCED_INLINING=y
 703 # CONFIG_RCU_TORTURE_TEST is not set
 704 # CONFIG_IA64_GRANULE_16MB is not set
 705 CONFIG_IA64_GRANULE_64MB=y
 706 # CONFIG_IA64_PRINT_HAZARDS is not set
 707 # CONFIG_DISABLE_VHPT is not set
 708 # CONFIG_IA64_DEBUG_CMPXCHG is not set
 709 # CONFIG_IA64_DEBUG_IRQ is not set
 710 CONFIG_SYSVIPC_COMPAT=y
 711
 712 #
 713 # Security options
 714 #
 715 # CONFIG_KEYS is not set
 716 # CONFIG_SECURITY is not set
 717
 718 #
 719 # Cryptographic options
 720 #
 721 # CONFIG_CRYPTO is not set
 722
 723 #
 724 # Hardware crypto devices
 725 #