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_IA64_MCA_RECOVERY is not set
 134 # CONFIG_PERFMON is not set
 135 CONFIG_IA64_PALINFO=m
 136
 137 #
 138 # Firmware Drivers
 139 #
 140 CONFIG_EFI_VARS=y
 141 CONFIG_BINFMT_ELF=y
 142 CONFIG_BINFMT_MISC=y
 143
 144 #
 145 # Power management and ACPI
 146 #
 147
 148 #
 149 # Networking
 150 #
 151 CONFIG_NET=y
 152
 153 #
 154 # Networking options
 155 #
 156 # CONFIG_NETDEBUG is not set
 157 CONFIG_PACKET=y
 158 # CONFIG_PACKET_MMAP is not set
 159 # CONFIG_UNIX is not set
 160 # CONFIG_NET_KEY is not set
 161 CONFIG_INET=y
 162 CONFIG_IP_MULTICAST=y
 163 # CONFIG_IP_ADVANCED_ROUTER is not set
 164 CONFIG_IP_FIB_HASH=y
 165 # CONFIG_IP_PNP is not set
 166 # CONFIG_NET_IPIP is not set
 167 # CONFIG_NET_IPGRE is not set
 168 # CONFIG_IP_MROUTE is not set
 169 # CONFIG_ARPD is not set
 170 # CONFIG_SYN_COOKIES is not set
 171 # CONFIG_INET_AH is not set
 172 # CONFIG_INET_ESP is not set
 173 # CONFIG_INET_IPCOMP is not set
 174 # CONFIG_INET_TUNNEL is not set
 175 CONFIG_INET_DIAG=y
 176 CONFIG_INET_TCP_DIAG=y
 177 # CONFIG_TCP_CONG_ADVANCED is not set
 178 CONFIG_TCP_CONG_BIC=y
 179 # CONFIG_IPV6 is not set
 180 # CONFIG_NETFILTER is not set
 181
 182 #
 183 # DCCP Configuration (EXPERIMENTAL)
 184 #
 185 # CONFIG_IP_DCCP is not set
 186
 187 #
 188 # SCTP Configuration (EXPERIMENTAL)
 189 #
 190 # CONFIG_IP_SCTP is not set
 191
 192 #
 193 # TIPC Configuration (EXPERIMENTAL)
 194 #
 195 # CONFIG_TIPC is not set
 196 # CONFIG_ATM is not set
 197 # CONFIG_BRIDGE is not set
 198 # CONFIG_VLAN_8021Q is not set
 199 # CONFIG_DECNET is not set
 200 # CONFIG_LLC2 is not set
 201 # CONFIG_IPX is not set
 202 # CONFIG_ATALK is not set
 203 # CONFIG_X25 is not set
 204 # CONFIG_LAPB is not set
 205 # CONFIG_NET_DIVERT is not set
 206 # CONFIG_ECONET is not set
 207 # CONFIG_WAN_ROUTER is not set
 208
 209 #
 210 # QoS and/or fair queueing
 211 #
 212 # CONFIG_NET_SCHED is not set
 213
 214 #
 215 # Network testing
 216 #
 217 # CONFIG_NET_PKTGEN is not set
 218 # CONFIG_HAMRADIO is not set
 219 # CONFIG_IRDA is not set
 220 # CONFIG_BT is not set
 221 # CONFIG_IEEE80211 is not set
 222
 223 #
 224 # Device Drivers
 225 #
 226
 227 #
 228 # Generic Driver Options
 229 #
 230 # CONFIG_STANDALONE is not set
 231 CONFIG_PREVENT_FIRMWARE_BUILD=y
 232 # CONFIG_FW_LOADER is not set
 233 # CONFIG_DEBUG_DRIVER is not set
 234
 235 #
 236 # Connector - unified userspace <-> kernelspace linker
 237 #
 238 # CONFIG_CONNECTOR is not set
 239
 240 #
 241 # Memory Technology Devices (MTD)
 242 #
 243 # CONFIG_MTD is not set
 244
 245 #
 246 # Parallel port support
 247 #
 248 # CONFIG_PARPORT is not set
 249
 250 #
 251 # Plug and Play support
 252 #
 253
 254 #
 255 # Block devices
 256 #
 257 # CONFIG_BLK_DEV_COW_COMMON is not set
 258 CONFIG_BLK_DEV_LOOP=y
 259 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
 260 # CONFIG_BLK_DEV_NBD is not set
 261 CONFIG_BLK_DEV_RAM=y
 262 CONFIG_BLK_DEV_RAM_COUNT=16
 263 CONFIG_BLK_DEV_RAM_SIZE=4096
 264 # CONFIG_BLK_DEV_INITRD is not set
 265 # CONFIG_CDROM_PKTCDVD is not set
 266 # CONFIG_ATA_OVER_ETH is not set
 267
 268 #
 269 # ATA/ATAPI/MFM/RLL support
 270 #
 271 # CONFIG_IDE is not set
 272
 273 #
 274 # SCSI device support
 275 #
 276 # CONFIG_RAID_ATTRS is not set
 277 CONFIG_SCSI=y
 278 CONFIG_SCSI_PROC_FS=y
 279
 280 #
 281 # SCSI support type (disk, tape, CD-ROM)
 282 #
 283 CONFIG_BLK_DEV_SD=y
 284 # CONFIG_CHR_DEV_ST is not set
 285 # CONFIG_CHR_DEV_OSST is not set
 286 # CONFIG_BLK_DEV_SR is not set
 287 # CONFIG_CHR_DEV_SG is not set
 288 # CONFIG_CHR_DEV_SCH is not set
 289
 290 #
 291 # Some SCSI devices (e.g. CD jukebox) support multiple LUNs
 292 #
 293 CONFIG_SCSI_MULTI_LUN=y
 294 CONFIG_SCSI_CONSTANTS=y
 295 CONFIG_SCSI_LOGGING=y
 296
 297 #
 298 # SCSI Transport Attributes
 299 #
 300 CONFIG_SCSI_SPI_ATTRS=y
 301 # CONFIG_SCSI_FC_ATTRS is not set
 302 # CONFIG_SCSI_ISCSI_ATTRS is not set
 303 # CONFIG_SCSI_SAS_ATTRS is not set
 304
 305 #
 306 # SCSI low-level drivers
 307 #
 308 # CONFIG_ISCSI_TCP is not set
 309 # CONFIG_SCSI_SATA is not set
 310 # CONFIG_SCSI_DEBUG is not set
 311
 312 #
 313 # Multi-device support (RAID and LVM)
 314 #
 315 # CONFIG_MD is not set
 316
 317 #
 318 # Fusion MPT device support
 319 #
 320 # CONFIG_FUSION is not set
 321
 322 #
 323 # IEEE 1394 (FireWire) support
 324 #
 325
 326 #
 327 # I2O device support
 328 #
 329
 330 #
 331 # Network device support
 332 #
 333 # CONFIG_NETDEVICES is not set
 334 # CONFIG_DUMMY is not set
 335 # CONFIG_BONDING is not set
 336 # CONFIG_EQUALIZER is not set
 337 # CONFIG_TUN is not set
 338
 339 #
 340 # PHY device support
 341 #
 342
 343 #
 344 # Ethernet (10 or 100Mbit)
 345 #
 346 # CONFIG_NET_ETHERNET is not set
 347
 348 #
 349 # Ethernet (1000 Mbit)
 350 #
 351
 352 #
 353 # Ethernet (10000 Mbit)
 354 #
 355 # CONFIG_PPP is not set
 356 # CONFIG_SLIP is not set
 357 # CONFIG_SHAPER is not set
 358 # CONFIG_NETCONSOLE is not set
 359 # CONFIG_NETPOLL is not set
 360 # CONFIG_NET_POLL_CONTROLLER is not set
 361
 362 #
 363 # ISDN subsystem
 364 #
 365 # CONFIG_ISDN is not set
 366
 367 #
 368 # Telephony Support
 369 #
 370 # CONFIG_PHONE is not set
 371
 372 #
 373 # Input device support
 374 #
 375 CONFIG_INPUT=y
 376
 377 #
 378 # Userland interfaces
 379 #
 380 CONFIG_INPUT_MOUSEDEV=y
 381 CONFIG_INPUT_MOUSEDEV_PSAUX=y
 382 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
 383 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
 384 # CONFIG_INPUT_JOYDEV is not set
 385 # CONFIG_INPUT_TSDEV is not set
 386 # CONFIG_INPUT_EVDEV is not set
 387 # CONFIG_INPUT_EVBUG is not set
 388
 389 #
 390 # Input Device Drivers
 391 #
 392 # CONFIG_INPUT_KEYBOARD is not set
 393 # CONFIG_INPUT_MOUSE is not set
 394 # CONFIG_INPUT_JOYSTICK is not set
 395 # CONFIG_INPUT_TOUCHSCREEN is not set
 396 # CONFIG_INPUT_MISC is not set
 397
 398 #
 399 # Hardware I/O ports
 400 #
 401 CONFIG_SERIO=y
 402 # CONFIG_SERIO_I8042 is not set
 403 CONFIG_SERIO_SERPORT=y
 404 # CONFIG_SERIO_RAW is not set
 405 # CONFIG_GAMEPORT is not set
 406
 407 #
 408 # Character devices
 409 #
 410 CONFIG_VT=y
 411 CONFIG_VT_CONSOLE=y
 412 CONFIG_HW_CONSOLE=y
 413 # CONFIG_SERIAL_NONSTANDARD is not set
 414
 415 #
 416 # Serial drivers
 417 #
 418 # CONFIG_SERIAL_8250 is not set
 419
 420 #
 421 # Non-8250 serial port support
 422 #
 423 CONFIG_UNIX98_PTYS=y
 424 # CONFIG_LEGACY_PTYS is not set
 425
 426 #
 427 # IPMI
 428 #
 429 # CONFIG_IPMI_HANDLER is not set
 430
 431 #
 432 # Watchdog Cards
 433 #
 434 # CONFIG_WATCHDOG is not set
 435 CONFIG_EFI_RTC=y
 436 # CONFIG_DTLK is not set
 437 # CONFIG_R3964 is not set
 438
 439 #
 440 # Ftape, the floppy tape device driver
 441 #
 442 # CONFIG_AGP is not set
 443 # CONFIG_RAW_DRIVER is not set
 444 # CONFIG_HANGCHECK_TIMER is not set
 445
 446 #
 447 # TPM devices
 448 #
 449 # CONFIG_TCG_TPM is not set
 450 # CONFIG_TELCLOCK is not set
 451
 452 #
 453 # I2C support
 454 #
 455 # CONFIG_I2C is not set
 456
 457 #
 458 # SPI support
 459 #
 460 # CONFIG_SPI is not set
 461 # CONFIG_SPI_MASTER is not set
 462
 463 #
 464 # Dallas's 1-wire bus
 465 #
 466 # CONFIG_W1 is not set
 467
 468 #
 469 # Hardware Monitoring support
 470 #
 471 CONFIG_HWMON=y
 472 # CONFIG_HWMON_VID is not set
 473 # CONFIG_SENSORS_F71805F is not set
 474 # CONFIG_HWMON_DEBUG_CHIP is not set
 475
 476 #
 477 # Misc devices
 478 #
 479
 480 #
 481 # Multimedia Capabilities Port drivers
 482 #
 483
 484 #
 485 # Multimedia devices
 486 #
 487 # CONFIG_VIDEO_DEV is not set
 488
 489 #
 490 # Digital Video Broadcasting Devices
 491 #
 492 # CONFIG_DVB is not set
 493
 494 #
 495 # Graphics support
 496 #
 497 # CONFIG_FB is not set
 498
 499 #
 500 # Console display driver support
 501 #
 502 # CONFIG_VGA_CONSOLE is not set
 503 CONFIG_DUMMY_CONSOLE=y
 504
 505 #
 506 # Sound
 507 #
 508 # CONFIG_SOUND is not set
 509
 510 #
 511 # USB support
 512 #
 513 # CONFIG_USB_ARCH_HAS_HCD is not set
 514 # CONFIG_USB_ARCH_HAS_OHCI is not set
 515
 516 #
 517 # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support'
 518 #
 519
 520 #
 521 # USB Gadget Support
 522 #
 523 # CONFIG_USB_GADGET is not set
 524
 525 #
 526 # MMC/SD Card support
 527 #
 528 # CONFIG_MMC is not set
 529
 530 #
 531 # InfiniBand support
 532 #
 533
 534 #
 535 # EDAC - error detection and reporting (RAS)
 536 #
 537
 538 #
 539 # File systems
 540 #
 541 CONFIG_EXT2_FS=y
 542 # CONFIG_EXT2_FS_XATTR is not set
 543 # CONFIG_EXT2_FS_XIP is not set
 544 CONFIG_EXT3_FS=y
 545 # CONFIG_EXT3_FS_XATTR is not set
 546 CONFIG_JBD=y
 547 # CONFIG_JBD_DEBUG is not set
 548 # CONFIG_REISERFS_FS is not set
 549 # CONFIG_JFS_FS is not set
 550 # CONFIG_FS_POSIX_ACL is not set
 551 # CONFIG_XFS_FS is not set
 552 # CONFIG_OCFS2_FS is not set
 553 # CONFIG_MINIX_FS is not set
 554 # CONFIG_ROMFS_FS is not set
 555 CONFIG_INOTIFY=y
 556 # CONFIG_QUOTA is not set
 557 CONFIG_DNOTIFY=y
 558 # CONFIG_AUTOFS_FS is not set
 559 # CONFIG_AUTOFS4_FS is not set
 560 # CONFIG_FUSE_FS is not set
 561
 562 #
 563 # CD-ROM/DVD Filesystems
 564 #
 565 # CONFIG_ISO9660_FS is not set
 566 # CONFIG_UDF_FS is not set
 567
 568 #
 569 # DOS/FAT/NT Filesystems
 570 #
 571 # CONFIG_MSDOS_FS is not set
 572 # CONFIG_VFAT_FS is not set
 573 # CONFIG_NTFS_FS is not set
 574
 575 #
 576 # Pseudo filesystems
 577 #
 578 CONFIG_PROC_FS=y
 579 CONFIG_PROC_KCORE=y
 580 CONFIG_SYSFS=y
 581 # CONFIG_TMPFS is not set
 582 CONFIG_HUGETLBFS=y
 583 CONFIG_HUGETLB_PAGE=y
 584 CONFIG_RAMFS=y
 585 # CONFIG_RELAYFS_FS is not set
 586 # CONFIG_CONFIGFS_FS is not set
 587
 588 #
 589 # Miscellaneous filesystems
 590 #
 591 # CONFIG_ADFS_FS is not set
 592 # CONFIG_AFFS_FS is not set
 593 # CONFIG_HFS_FS is not set
 594 # CONFIG_HFSPLUS_FS is not set
 595 # CONFIG_BEFS_FS is not set
 596 # CONFIG_BFS_FS is not set
 597 # CONFIG_EFS_FS is not set
 598 # CONFIG_CRAMFS is not set
 599 # CONFIG_VXFS_FS is not set
 600 # CONFIG_HPFS_FS is not set
 601 # CONFIG_QNX4FS_FS is not set
 602 # CONFIG_SYSV_FS is not set
 603 # CONFIG_UFS_FS is not set
 604
 605 #
 606 # Network File Systems
 607 #
 608 CONFIG_NFS_FS=y
 609 # CONFIG_NFS_V3 is not set
 610 # CONFIG_NFS_V4 is not set
 611 CONFIG_NFS_DIRECTIO=y
 612 CONFIG_NFSD=y
 613 CONFIG_NFSD_V3=y
 614 # CONFIG_NFSD_V3_ACL is not set
 615 # CONFIG_NFSD_V4 is not set
 616 # CONFIG_NFSD_TCP is not set
 617 CONFIG_LOCKD=y
 618 CONFIG_LOCKD_V4=y
 619 CONFIG_EXPORTFS=y
 620 CONFIG_NFS_COMMON=y
 621 CONFIG_SUNRPC=y
 622 # CONFIG_RPCSEC_GSS_KRB5 is not set
 623 # CONFIG_RPCSEC_GSS_SPKM3 is not set
 624 # CONFIG_SMB_FS is not set
 625 # CONFIG_CIFS is not set
 626 # CONFIG_NCP_FS is not set
 627 # CONFIG_CODA_FS is not set
 628 # CONFIG_AFS_FS is not set
 629 # CONFIG_9P_FS is not set
 630
 631 #
 632 # Partition Types
 633 #
 634 CONFIG_PARTITION_ADVANCED=y
 635 # CONFIG_ACORN_PARTITION is not set
 636 # CONFIG_OSF_PARTITION is not set
 637 # CONFIG_AMIGA_PARTITION is not set
 638 # CONFIG_ATARI_PARTITION is not set
 639 # CONFIG_MAC_PARTITION is not set
 640 CONFIG_MSDOS_PARTITION=y
 641 # CONFIG_BSD_DISKLABEL is not set
 642 # CONFIG_MINIX_SUBPARTITION is not set
 643 # CONFIG_SOLARIS_X86_PARTITION is not set
 644 # CONFIG_UNIXWARE_DISKLABEL is not set
 645 # CONFIG_LDM_PARTITION is not set
 646 # CONFIG_SGI_PARTITION is not set
 647 # CONFIG_ULTRIX_PARTITION is not set
 648 # CONFIG_SUN_PARTITION is not set
 649 # CONFIG_KARMA_PARTITION is not set
 650 CONFIG_EFI_PARTITION=y
 651
 652 #
 653 # Native Language Support
 654 #
 655 # CONFIG_NLS is not set
 656
 657 #
 658 # Library routines
 659 #
 660 # CONFIG_CRC_CCITT is not set
 661 # CONFIG_CRC16 is not set
 662 CONFIG_CRC32=y
 663 # CONFIG_LIBCRC32C is not set
 664 CONFIG_GENERIC_HARDIRQS=y
 665 CONFIG_GENERIC_IRQ_PROBE=y
 666 CONFIG_GENERIC_PENDING_IRQ=y
 667
 668 #
 669 # HP Simulator drivers
 670 #
 671 CONFIG_HP_SIMETH=y
 672 CONFIG_HP_SIMSERIAL=y
 673 CONFIG_HP_SIMSERIAL_CONSOLE=y
 674 CONFIG_HP_SIMSCSI=y
 675
 676 #
 677 # Instrumentation Support
 678 #
 679 # CONFIG_PROFILING is not set
 680 # CONFIG_KPROBES is not set
 681
 682 #
 683 # Kernel hacking
 684 #
 685 # CONFIG_PRINTK_TIME is not set
 686 # CONFIG_MAGIC_SYSRQ is not set
 687 CONFIG_DEBUG_KERNEL=y
 688 CONFIG_LOG_BUF_SHIFT=16
 689 CONFIG_DETECT_SOFTLOCKUP=y
 690 # CONFIG_SCHEDSTATS is not set
 691 # CONFIG_DEBUG_SLAB is not set
 692 CONFIG_DEBUG_PREEMPT=y
 693 CONFIG_DEBUG_MUTEXES=y
 694 # CONFIG_DEBUG_SPINLOCK is not set
 695 # CONFIG_DEBUG_SPINLOCK_SLEEP is not set
 696 # CONFIG_DEBUG_KOBJECT is not set
 697 CONFIG_DEBUG_INFO=y
 698 # CONFIG_DEBUG_FS is not set
 699 # CONFIG_DEBUG_VM is not set
 700 CONFIG_FORCED_INLINING=y
 701 # CONFIG_RCU_TORTURE_TEST is not set
 702 # CONFIG_IA64_GRANULE_16MB is not set
 703 CONFIG_IA64_GRANULE_64MB=y
 704 # CONFIG_IA64_PRINT_HAZARDS is not set
 705 # CONFIG_DISABLE_VHPT is not set
 706 # CONFIG_IA64_DEBUG_CMPXCHG is not set
 707 # CONFIG_IA64_DEBUG_IRQ is not set
 708 CONFIG_SYSVIPC_COMPAT=y
 709
 710 #
 711 # Security options
 712 #
 713 # CONFIG_KEYS is not set
 714 # CONFIG_SECURITY is not set
 715
 716 #
 717 # Cryptographic options
 718 #
 719 # CONFIG_CRYPTO is not set
 720
 721 #
 722 # Hardware crypto devices
 723 #