ia64/linux-2.6.18-xen.hg

view arch/ia64/configs/sim_defconfig @ 897:329ea0ccb344

balloon: try harder to balloon up under memory pressure.

Currently if the balloon driver is unable to increase the guest's
reservation it assumes the failure was due to reaching its full
allocation, gives up on the ballooning operation and records the limit
it reached as the "hard limit". The driver will not try again until
the target is set again (even to the same value).

However it is possible that ballooning has in fact failed due to
memory pressure in the host and therefore it is desirable to keep
attempting to reach the target in case memory becomes available. The
most likely scenario is that some guests are ballooning down while
others are ballooning up and therefore there is temporary memory
pressure while things stabilise. You would not expect a well behaved
toolstack to ask a domain to balloon to more than its allocation nor
would you expect it to deliberately over-commit memory by setting
balloon targets which exceed the total host memory.

This patch drops the concept of a hard limit and causes the balloon
driver to retry increasing the reservation on a timer in the same
manner as when decreasing the reservation.

Also if we partially succeed in increasing the reservation
(i.e. receive less pages than we asked for) then we may as well keep
those pages rather than returning them to Xen.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
author Keir Fraser <keir.fraser@citrix.com>
date Fri Jun 05 14:01:20 2009 +0100 (2009-06-05)
parents 831230e53067
children
line source
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 #
7 #
8 # Code maturity level options
9 #
10 CONFIG_EXPERIMENTAL=y
11 CONFIG_LOCK_KERNEL=y
12 CONFIG_INIT_ENV_ARG_LIMIT=32
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_SLAB=y
47 # CONFIG_TINY_SHMEM is not set
48 CONFIG_BASE_SMALL=0
49 # CONFIG_SLOB is not set
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
63 #
64 # Block layer
65 #
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"
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_TIME_INTERPOLATION=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
139 #
140 # Firmware Drivers
141 #
142 CONFIG_EFI_VARS=y
143 CONFIG_BINFMT_ELF=y
144 CONFIG_BINFMT_MISC=y
146 #
147 # Power management and ACPI
148 #
150 #
151 # Networking
152 #
153 CONFIG_NET=y
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
184 #
185 # DCCP Configuration (EXPERIMENTAL)
186 #
187 # CONFIG_IP_DCCP is not set
189 #
190 # SCTP Configuration (EXPERIMENTAL)
191 #
192 # CONFIG_IP_SCTP is not set
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
211 #
212 # QoS and/or fair queueing
213 #
214 # CONFIG_NET_SCHED is not set
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
225 #
226 # Device Drivers
227 #
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
237 #
238 # Connector - unified userspace <-> kernelspace linker
239 #
240 # CONFIG_CONNECTOR is not set
242 #
243 # Memory Technology Devices (MTD)
244 #
245 # CONFIG_MTD is not set
247 #
248 # Parallel port support
249 #
250 # CONFIG_PARPORT is not set
252 #
253 # Plug and Play support
254 #
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
270 #
271 # ATA/ATAPI/MFM/RLL support
272 #
273 # CONFIG_IDE is not set
275 #
276 # SCSI device support
277 #
278 # CONFIG_RAID_ATTRS is not set
279 CONFIG_SCSI=y
280 CONFIG_SCSI_PROC_FS=y
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
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
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
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
314 #
315 # Multi-device support (RAID and LVM)
316 #
317 # CONFIG_MD is not set
319 #
320 # Fusion MPT device support
321 #
322 # CONFIG_FUSION is not set
324 #
325 # IEEE 1394 (FireWire) support
326 #
328 #
329 # I2O device support
330 #
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
341 #
342 # PHY device support
343 #
345 #
346 # Ethernet (10 or 100Mbit)
347 #
348 # CONFIG_NET_ETHERNET is not set
350 #
351 # Ethernet (1000 Mbit)
352 #
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
364 #
365 # ISDN subsystem
366 #
367 # CONFIG_ISDN is not set
369 #
370 # Telephony Support
371 #
372 # CONFIG_PHONE is not set
374 #
375 # Input device support
376 #
377 CONFIG_INPUT=y
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
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
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
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
417 #
418 # Serial drivers
419 #
420 # CONFIG_SERIAL_8250 is not set
422 #
423 # Non-8250 serial port support
424 #
425 CONFIG_UNIX98_PTYS=y
426 # CONFIG_LEGACY_PTYS is not set
428 #
429 # IPMI
430 #
431 # CONFIG_IPMI_HANDLER is not set
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
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
448 #
449 # TPM devices
450 #
451 # CONFIG_TCG_TPM is not set
452 # CONFIG_TELCLOCK is not set
454 #
455 # I2C support
456 #
457 # CONFIG_I2C is not set
459 #
460 # SPI support
461 #
462 # CONFIG_SPI is not set
463 # CONFIG_SPI_MASTER is not set
465 #
466 # Dallas's 1-wire bus
467 #
468 # CONFIG_W1 is not set
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
478 #
479 # Misc devices
480 #
482 #
483 # Multimedia Capabilities Port drivers
484 #
486 #
487 # Multimedia devices
488 #
489 # CONFIG_VIDEO_DEV is not set
491 #
492 # Digital Video Broadcasting Devices
493 #
494 # CONFIG_DVB is not set
496 #
497 # Graphics support
498 #
499 # CONFIG_FB is not set
501 #
502 # Console display driver support
503 #
504 # CONFIG_VGA_CONSOLE is not set
505 CONFIG_DUMMY_CONSOLE=y
507 #
508 # Sound
509 #
510 # CONFIG_SOUND is not set
512 #
513 # USB support
514 #
515 # CONFIG_USB_ARCH_HAS_HCD is not set
516 # CONFIG_USB_ARCH_HAS_OHCI is not set
518 #
519 # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support'
520 #
522 #
523 # USB Gadget Support
524 #
525 # CONFIG_USB_GADGET is not set
527 #
528 # MMC/SD Card support
529 #
530 # CONFIG_MMC is not set
532 #
533 # InfiniBand support
534 #
536 #
537 # EDAC - error detection and reporting (RAS)
538 #
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
564 #
565 # CD-ROM/DVD Filesystems
566 #
567 # CONFIG_ISO9660_FS is not set
568 # CONFIG_UDF_FS is not set
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
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
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
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
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
654 #
655 # Native Language Support
656 #
657 # CONFIG_NLS is not set
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
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
678 #
679 # Instrumentation Support
680 #
681 # CONFIG_PROFILING is not set
682 # CONFIG_KPROBES is not set
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
712 #
713 # Security options
714 #
715 # CONFIG_KEYS is not set
716 # CONFIG_SECURITY is not set
718 #
719 # Cryptographic options
720 #
721 # CONFIG_CRYPTO is not set
723 #
724 # Hardware crypto devices
725 #