ia64/linux-2.6.18-xen.hg

view buildconfigs/linux-defconfig_xenU_x86_64 @ 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 3b3701ad4eec
children
line source
1 #
2 # Automatically generated make config: don't edit
3 # Linux kernel version: 2.6.18.8
4 # Mon Feb 18 10:42:42 2008
5 #
6 CONFIG_X86_64=y
7 CONFIG_64BIT=y
8 CONFIG_X86=y
9 CONFIG_LOCKDEP_SUPPORT=y
10 CONFIG_STACKTRACE_SUPPORT=y
11 CONFIG_SEMAPHORE_SLEEPERS=y
12 CONFIG_MMU=y
13 CONFIG_RWSEM_GENERIC_SPINLOCK=y
14 CONFIG_GENERIC_HWEIGHT=y
15 CONFIG_GENERIC_CALIBRATE_DELAY=y
16 CONFIG_X86_CMPXCHG=y
17 CONFIG_EARLY_PRINTK=y
18 CONFIG_GENERIC_ISA_DMA=y
19 CONFIG_GENERIC_IOMAP=y
20 CONFIG_ARCH_MAY_HAVE_PC_FDC=y
21 CONFIG_DMI=y
22 CONFIG_AUDIT_ARCH=y
23 CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config"
25 #
26 # Code maturity level options
27 #
28 CONFIG_EXPERIMENTAL=y
29 CONFIG_LOCK_KERNEL=y
30 CONFIG_INIT_ENV_ARG_LIMIT=32
32 #
33 # General setup
34 #
35 CONFIG_LOCALVERSION=""
36 # CONFIG_LOCALVERSION_AUTO is not set
37 CONFIG_SWAP=y
38 CONFIG_SYSVIPC=y
39 # CONFIG_POSIX_MQUEUE is not set
40 # CONFIG_BSD_PROCESS_ACCT is not set
41 # CONFIG_TASKSTATS is not set
42 # CONFIG_AUDIT is not set
43 # CONFIG_IKCONFIG is not set
44 # CONFIG_CPUSETS is not set
45 # CONFIG_RELAY is not set
46 CONFIG_INITRAMFS_SOURCE=""
47 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
48 # CONFIG_EMBEDDED is not set
49 CONFIG_UID16=y
50 CONFIG_SYSCTL=y
51 CONFIG_KALLSYMS=y
52 # CONFIG_KALLSYMS_ALL is not set
53 # CONFIG_KALLSYMS_EXTRA_PASS is not set
54 CONFIG_HOTPLUG=y
55 CONFIG_PRINTK=y
56 CONFIG_BUG=y
57 CONFIG_ELF_CORE=y
58 CONFIG_BASE_FULL=y
59 CONFIG_FUTEX=y
60 CONFIG_EPOLL=y
61 CONFIG_SHMEM=y
62 CONFIG_SLAB=y
63 CONFIG_VM_EVENT_COUNTERS=y
64 CONFIG_RT_MUTEXES=y
65 # CONFIG_TINY_SHMEM is not set
66 CONFIG_BASE_SMALL=0
67 # CONFIG_SLOB is not set
69 #
70 # Loadable module support
71 #
72 CONFIG_MODULES=y
73 CONFIG_MODULE_UNLOAD=y
74 # CONFIG_MODULE_FORCE_UNLOAD is not set
75 # CONFIG_MODVERSIONS is not set
76 # CONFIG_MODULE_SRCVERSION_ALL is not set
77 CONFIG_KMOD=y
78 CONFIG_STOP_MACHINE=y
80 #
81 # Block layer
82 #
83 # CONFIG_LBD is not set
84 # CONFIG_BLK_DEV_IO_TRACE is not set
85 CONFIG_LSF=y
87 #
88 # IO Schedulers
89 #
90 CONFIG_IOSCHED_NOOP=y
91 CONFIG_IOSCHED_AS=y
92 CONFIG_IOSCHED_DEADLINE=y
93 CONFIG_IOSCHED_CFQ=y
94 CONFIG_DEFAULT_AS=y
95 # CONFIG_DEFAULT_DEADLINE is not set
96 # CONFIG_DEFAULT_CFQ is not set
97 # CONFIG_DEFAULT_NOOP is not set
98 CONFIG_DEFAULT_IOSCHED="anticipatory"
100 #
101 # Processor type and features
102 #
103 CONFIG_X86_PC=y
104 # CONFIG_X86_VSMP is not set
105 # CONFIG_MK8 is not set
106 # CONFIG_MPSC is not set
107 CONFIG_GENERIC_CPU=y
108 CONFIG_X86_64_XEN=y
109 CONFIG_X86_NO_TSS=y
110 CONFIG_X86_NO_IDT=y
111 CONFIG_X86_L1_CACHE_BYTES=128
112 CONFIG_X86_L1_CACHE_SHIFT=7
113 CONFIG_X86_INTERNODE_CACHE_BYTES=128
114 CONFIG_X86_GOOD_APIC=y
115 # CONFIG_MICROCODE is not set
116 # CONFIG_X86_MSR is not set
117 CONFIG_X86_CPUID=y
118 CONFIG_X86_XEN_GENAPIC=y
119 CONFIG_SMP=y
120 CONFIG_PREEMPT_NONE=y
121 # CONFIG_PREEMPT_VOLUNTARY is not set
122 # CONFIG_PREEMPT is not set
123 CONFIG_PREEMPT_BKL=y
124 CONFIG_ARCH_FLATMEM_ENABLE=y
125 CONFIG_SELECT_MEMORY_MODEL=y
126 CONFIG_FLATMEM_MANUAL=y
127 # CONFIG_DISCONTIGMEM_MANUAL is not set
128 # CONFIG_SPARSEMEM_MANUAL is not set
129 CONFIG_FLATMEM=y
130 CONFIG_FLAT_NODE_MEM_MAP=y
131 # CONFIG_SPARSEMEM_STATIC is not set
132 CONFIG_SPLIT_PTLOCK_CPUS=4
133 CONFIG_RESOURCES_64BIT=y
134 CONFIG_NR_CPUS=8
135 CONFIG_HOTPLUG_CPU=y
136 CONFIG_ARCH_ENABLE_MEMORY_HOTPLUG=y
137 CONFIG_SWIOTLB=y
138 # CONFIG_CRASH_DUMP is not set
139 CONFIG_PHYSICAL_START=0x200000
140 CONFIG_SECCOMP=y
141 CONFIG_HZ_100=y
142 # CONFIG_HZ_250 is not set
143 # CONFIG_HZ_1000 is not set
144 CONFIG_HZ=100
145 # CONFIG_REORDER is not set
146 CONFIG_GENERIC_HARDIRQS=y
147 CONFIG_GENERIC_IRQ_PROBE=y
148 CONFIG_ISA_DMA_API=y
149 CONFIG_GENERIC_PENDING_IRQ=y
151 #
152 # Bus options (PCI etc.)
153 #
154 # CONFIG_PCI is not set
156 #
157 # PCCARD (PCMCIA/CardBus) support
158 #
159 # CONFIG_PCCARD is not set
161 #
162 # PCI Hotplug Support
163 #
165 #
166 # Executable file formats / Emulations
167 #
168 CONFIG_BINFMT_ELF=y
169 # CONFIG_BINFMT_MISC is not set
170 CONFIG_IA32_EMULATION=y
171 CONFIG_IA32_AOUT=y
172 CONFIG_COMPAT=y
173 CONFIG_SYSVIPC_COMPAT=y
175 #
176 # Networking
177 #
178 CONFIG_NET=y
180 #
181 # Networking options
182 #
183 # CONFIG_NETDEBUG is not set
184 CONFIG_PACKET=y
185 # CONFIG_PACKET_MMAP is not set
186 CONFIG_UNIX=y
187 CONFIG_XFRM=y
188 # CONFIG_XFRM_USER is not set
189 # CONFIG_NET_KEY is not set
190 CONFIG_INET=y
191 # CONFIG_IP_MULTICAST is not set
192 # CONFIG_IP_ADVANCED_ROUTER is not set
193 CONFIG_IP_FIB_HASH=y
194 CONFIG_IP_PNP=y
195 # CONFIG_IP_PNP_DHCP is not set
196 # CONFIG_IP_PNP_BOOTP is not set
197 # CONFIG_IP_PNP_RARP is not set
198 # CONFIG_NET_IPIP is not set
199 # CONFIG_NET_IPGRE is not set
200 # CONFIG_ARPD is not set
201 # CONFIG_SYN_COOKIES is not set
202 # CONFIG_INET_AH is not set
203 # CONFIG_INET_ESP is not set
204 # CONFIG_INET_IPCOMP is not set
205 # CONFIG_INET_XFRM_TUNNEL is not set
206 # CONFIG_INET_TUNNEL is not set
207 CONFIG_INET_XFRM_MODE_TRANSPORT=y
208 CONFIG_INET_XFRM_MODE_TUNNEL=y
209 # CONFIG_INET_DIAG is not set
210 # CONFIG_TCP_CONG_ADVANCED is not set
211 CONFIG_TCP_CONG_BIC=y
212 # CONFIG_IPV6 is not set
213 # CONFIG_INET6_XFRM_TUNNEL is not set
214 # CONFIG_INET6_TUNNEL is not set
215 # CONFIG_NETWORK_SECMARK is not set
216 # CONFIG_NETFILTER is not set
218 #
219 # DCCP Configuration (EXPERIMENTAL)
220 #
221 # CONFIG_IP_DCCP is not set
223 #
224 # SCTP Configuration (EXPERIMENTAL)
225 #
226 # CONFIG_IP_SCTP is not set
228 #
229 # TIPC Configuration (EXPERIMENTAL)
230 #
231 # CONFIG_TIPC is not set
232 # CONFIG_ATM is not set
233 # CONFIG_BRIDGE is not set
234 # CONFIG_VLAN_8021Q is not set
235 # CONFIG_DECNET is not set
236 # CONFIG_LLC2 is not set
237 # CONFIG_IPX is not set
238 # CONFIG_ATALK is not set
239 # CONFIG_X25 is not set
240 # CONFIG_LAPB is not set
241 # CONFIG_ECONET is not set
242 # CONFIG_WAN_ROUTER is not set
244 #
245 # QoS and/or fair queueing
246 #
247 # CONFIG_NET_SCHED is not set
249 #
250 # Network testing
251 #
252 # CONFIG_NET_PKTGEN is not set
253 # CONFIG_HAMRADIO is not set
254 # CONFIG_IRDA is not set
255 # CONFIG_BT is not set
256 # CONFIG_IEEE80211 is not set
258 #
259 # Device Drivers
260 #
262 #
263 # Generic Driver Options
264 #
265 CONFIG_STANDALONE=y
266 CONFIG_PREVENT_FIRMWARE_BUILD=y
267 # CONFIG_FW_LOADER is not set
268 # CONFIG_DEBUG_DRIVER is not set
269 CONFIG_SYS_HYPERVISOR=y
271 #
272 # Connector - unified userspace <-> kernelspace linker
273 #
274 # CONFIG_CONNECTOR is not set
276 #
277 # Memory Technology Devices (MTD)
278 #
279 # CONFIG_MTD is not set
281 #
282 # Parallel port support
283 #
284 # CONFIG_PARPORT is not set
286 #
287 # Plug and Play support
288 #
290 #
291 # Block devices
292 #
293 # CONFIG_BLK_DEV_FD is not set
294 # CONFIG_BLK_DEV_COW_COMMON is not set
295 CONFIG_BLK_DEV_LOOP=m
296 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
297 CONFIG_BLK_DEV_NBD=m
298 CONFIG_BLK_DEV_RAM=y
299 CONFIG_BLK_DEV_RAM_COUNT=16
300 CONFIG_BLK_DEV_RAM_SIZE=4096
301 CONFIG_BLK_DEV_RAM_BLOCKSIZE=1024
302 CONFIG_BLK_DEV_INITRD=y
303 # CONFIG_CDROM_PKTCDVD is not set
304 # CONFIG_ATA_OVER_ETH is not set
306 #
307 # ATA/ATAPI/MFM/RLL support
308 #
309 # CONFIG_IDE is not set
311 #
312 # SCSI device support
313 #
314 # CONFIG_RAID_ATTRS is not set
315 CONFIG_SCSI=m
316 CONFIG_SCSI_PROC_FS=y
318 #
319 # SCSI support type (disk, tape, CD-ROM)
320 #
321 CONFIG_BLK_DEV_SD=m
322 # CONFIG_CHR_DEV_ST is not set
323 # CONFIG_CHR_DEV_OSST is not set
324 # CONFIG_BLK_DEV_SR is not set
325 # CONFIG_CHR_DEV_SG is not set
326 # CONFIG_CHR_DEV_SCH is not set
328 #
329 # Some SCSI devices (e.g. CD jukebox) support multiple LUNs
330 #
331 # CONFIG_SCSI_MULTI_LUN is not set
332 # CONFIG_SCSI_CONSTANTS is not set
333 # CONFIG_SCSI_LOGGING is not set
335 #
336 # SCSI Transport Attributes
337 #
338 # CONFIG_SCSI_SPI_ATTRS is not set
339 # CONFIG_SCSI_FC_ATTRS is not set
340 # CONFIG_SCSI_ISCSI_ATTRS is not set
341 # CONFIG_SCSI_SAS_ATTRS is not set
343 #
344 # SCSI low-level drivers
345 #
346 # CONFIG_ISCSI_TCP is not set
347 # CONFIG_SCSI_SATA is not set
348 # CONFIG_SCSI_DEBUG is not set
350 #
351 # Multi-device support (RAID and LVM)
352 #
353 # CONFIG_MD is not set
355 #
356 # Fusion MPT device support
357 #
358 # CONFIG_FUSION is not set
360 #
361 # IEEE 1394 (FireWire) support
362 #
364 #
365 # I2O device support
366 #
368 #
369 # Network device support
370 #
371 CONFIG_NETDEVICES=y
372 # CONFIG_DUMMY is not set
373 # CONFIG_BONDING is not set
374 # CONFIG_EQUALIZER is not set
375 # CONFIG_TUN is not set
377 #
378 # PHY device support
379 #
381 #
382 # Ethernet (10 or 100Mbit)
383 #
384 # CONFIG_NET_ETHERNET is not set
386 #
387 # Ethernet (1000 Mbit)
388 #
390 #
391 # Ethernet (10000 Mbit)
392 #
394 #
395 # Token Ring devices
396 #
398 #
399 # Wireless LAN (non-hamradio)
400 #
401 # CONFIG_NET_RADIO is not set
403 #
404 # Wan interfaces
405 #
406 # CONFIG_WAN is not set
407 # CONFIG_PPP is not set
408 # CONFIG_SLIP is not set
409 # CONFIG_SHAPER is not set
410 # CONFIG_NETCONSOLE is not set
411 # CONFIG_NETPOLL is not set
412 # CONFIG_NET_POLL_CONTROLLER is not set
414 #
415 # ISDN subsystem
416 #
417 # CONFIG_ISDN is not set
419 #
420 # Telephony Support
421 #
422 # CONFIG_PHONE is not set
424 #
425 # Input device support
426 #
427 CONFIG_INPUT=y
429 #
430 # Userland interfaces
431 #
432 CONFIG_INPUT_MOUSEDEV=y
433 # CONFIG_INPUT_MOUSEDEV_PSAUX is not set
434 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
435 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
436 # CONFIG_INPUT_JOYDEV is not set
437 # CONFIG_INPUT_TSDEV is not set
438 # CONFIG_INPUT_EVDEV is not set
439 # CONFIG_INPUT_EVBUG is not set
441 #
442 # Input Device Drivers
443 #
444 CONFIG_INPUT_KEYBOARD=y
445 CONFIG_KEYBOARD_ATKBD=y
446 # CONFIG_KEYBOARD_SUNKBD is not set
447 # CONFIG_KEYBOARD_LKKBD is not set
448 # CONFIG_KEYBOARD_XTKBD is not set
449 # CONFIG_KEYBOARD_NEWTON is not set
450 # CONFIG_INPUT_MOUSE is not set
451 # CONFIG_INPUT_JOYSTICK is not set
452 # CONFIG_INPUT_TOUCHSCREEN is not set
453 # CONFIG_INPUT_MISC is not set
455 #
456 # Hardware I/O ports
457 #
458 CONFIG_SERIO=y
459 CONFIG_SERIO_I8042=y
460 CONFIG_SERIO_SERPORT=y
461 # CONFIG_SERIO_CT82C710 is not set
462 CONFIG_SERIO_LIBPS2=y
463 # CONFIG_SERIO_RAW is not set
464 # CONFIG_GAMEPORT is not set
466 #
467 # Character devices
468 #
469 CONFIG_VT=y
470 CONFIG_VT_CONSOLE=y
471 CONFIG_HW_CONSOLE=y
472 # CONFIG_VT_HW_CONSOLE_BINDING is not set
473 # CONFIG_SERIAL_NONSTANDARD is not set
475 #
476 # Serial drivers
477 #
479 #
480 # Non-8250 serial port support
481 #
482 CONFIG_UNIX98_PTYS=y
483 CONFIG_LEGACY_PTYS=y
484 CONFIG_LEGACY_PTY_COUNT=256
486 #
487 # IPMI
488 #
489 # CONFIG_IPMI_HANDLER is not set
491 #
492 # Watchdog Cards
493 #
494 # CONFIG_WATCHDOG is not set
495 CONFIG_HW_RANDOM=y
496 # CONFIG_NVRAM is not set
497 # CONFIG_RTC is not set
498 # CONFIG_GEN_RTC is not set
499 # CONFIG_DTLK is not set
500 # CONFIG_R3964 is not set
502 #
503 # Ftape, the floppy tape device driver
504 #
505 # CONFIG_MWAVE is not set
506 # CONFIG_PC8736x_GPIO is not set
507 # CONFIG_RAW_DRIVER is not set
508 # CONFIG_HANGCHECK_TIMER is not set
510 #
511 # TPM devices
512 #
513 # CONFIG_TCG_TPM is not set
514 # CONFIG_TELCLOCK is not set
516 #
517 # I2C support
518 #
519 # CONFIG_I2C is not set
521 #
522 # SPI support
523 #
524 # CONFIG_SPI is not set
525 # CONFIG_SPI_MASTER is not set
527 #
528 # Dallas's 1-wire bus
529 #
531 #
532 # Hardware Monitoring support
533 #
534 # CONFIG_HWMON is not set
535 # CONFIG_HWMON_VID is not set
537 #
538 # Misc devices
539 #
541 #
542 # Multimedia devices
543 #
544 # CONFIG_VIDEO_DEV is not set
546 #
547 # Digital Video Broadcasting Devices
548 #
549 # CONFIG_DVB is not set
551 #
552 # Graphics support
553 #
554 CONFIG_FIRMWARE_EDID=y
555 # CONFIG_FB is not set
557 #
558 # Console display driver support
559 #
560 CONFIG_VGA_CONSOLE=y
561 # CONFIG_VGACON_SOFT_SCROLLBACK is not set
562 CONFIG_DUMMY_CONSOLE=y
563 # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
565 #
566 # Sound
567 #
568 # CONFIG_SOUND is not set
570 #
571 # USB support
572 #
573 # CONFIG_USB_ARCH_HAS_HCD is not set
574 # CONFIG_USB_ARCH_HAS_OHCI is not set
575 # CONFIG_USB_ARCH_HAS_EHCI is not set
577 #
578 # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support'
579 #
581 #
582 # USB Gadget Support
583 #
584 # CONFIG_USB_GADGET is not set
586 #
587 # MMC/SD Card support
588 #
589 # CONFIG_MMC is not set
591 #
592 # LED devices
593 #
594 # CONFIG_NEW_LEDS is not set
596 #
597 # LED drivers
598 #
600 #
601 # LED Triggers
602 #
604 #
605 # InfiniBand support
606 #
608 #
609 # EDAC - error detection and reporting (RAS) (EXPERIMENTAL)
610 #
611 # CONFIG_EDAC is not set
613 #
614 # Real Time Clock
615 #
616 # CONFIG_RTC_CLASS is not set
618 #
619 # DMA Engine support
620 #
621 # CONFIG_DMA_ENGINE is not set
623 #
624 # DMA Clients
625 #
627 #
628 # DMA Devices
629 #
631 #
632 # Firmware Drivers
633 #
634 # CONFIG_EDD is not set
635 # CONFIG_DELL_RBU is not set
636 # CONFIG_DCDBAS is not set
638 #
639 # File systems
640 #
641 CONFIG_EXT2_FS=y
642 # CONFIG_EXT2_FS_XATTR is not set
643 # CONFIG_EXT2_FS_XIP is not set
644 CONFIG_EXT3_FS=y
645 CONFIG_EXT3_FS_XATTR=y
646 # CONFIG_EXT3_FS_POSIX_ACL is not set
647 # CONFIG_EXT3_FS_SECURITY is not set
648 CONFIG_JBD=y
649 # CONFIG_JBD_DEBUG is not set
650 CONFIG_FS_MBCACHE=y
651 CONFIG_REISERFS_FS=y
652 # CONFIG_REISERFS_CHECK is not set
653 # CONFIG_REISERFS_PROC_INFO is not set
654 # CONFIG_REISERFS_FS_XATTR is not set
655 # CONFIG_JFS_FS is not set
656 # CONFIG_FS_POSIX_ACL is not set
657 # CONFIG_XFS_FS is not set
658 # CONFIG_OCFS2_FS is not set
659 # CONFIG_MINIX_FS is not set
660 # CONFIG_ROMFS_FS is not set
661 CONFIG_INOTIFY=y
662 CONFIG_INOTIFY_USER=y
663 # CONFIG_QUOTA is not set
664 CONFIG_DNOTIFY=y
665 CONFIG_AUTOFS_FS=y
666 CONFIG_AUTOFS4_FS=y
667 # CONFIG_FUSE_FS is not set
669 #
670 # CD-ROM/DVD Filesystems
671 #
672 CONFIG_ISO9660_FS=y
673 CONFIG_JOLIET=y
674 CONFIG_ZISOFS=y
675 CONFIG_ZISOFS_FS=y
676 # CONFIG_UDF_FS is not set
678 #
679 # DOS/FAT/NT Filesystems
680 #
681 CONFIG_FAT_FS=m
682 CONFIG_MSDOS_FS=m
683 CONFIG_VFAT_FS=m
684 CONFIG_FAT_DEFAULT_CODEPAGE=437
685 CONFIG_FAT_DEFAULT_IOCHARSET="iso8859-1"
686 # CONFIG_NTFS_FS is not set
688 #
689 # Pseudo filesystems
690 #
691 CONFIG_PROC_FS=y
692 CONFIG_PROC_KCORE=y
693 CONFIG_SYSFS=y
694 CONFIG_TMPFS=y
695 # CONFIG_HUGETLB_PAGE is not set
696 CONFIG_RAMFS=y
697 # CONFIG_CONFIGFS_FS is not set
699 #
700 # Miscellaneous filesystems
701 #
702 # CONFIG_ADFS_FS is not set
703 # CONFIG_AFFS_FS is not set
704 # CONFIG_HFS_FS is not set
705 # CONFIG_HFSPLUS_FS is not set
706 # CONFIG_BEFS_FS is not set
707 # CONFIG_BFS_FS is not set
708 # CONFIG_EFS_FS is not set
709 CONFIG_CRAMFS=y
710 # CONFIG_VXFS_FS is not set
711 # CONFIG_HPFS_FS is not set
712 # CONFIG_QNX4FS_FS is not set
713 # CONFIG_SYSV_FS is not set
714 # CONFIG_UFS_FS is not set
716 #
717 # Network File Systems
718 #
719 CONFIG_NFS_FS=y
720 CONFIG_NFS_V3=y
721 # CONFIG_NFS_V3_ACL is not set
722 # CONFIG_NFS_V4 is not set
723 # CONFIG_NFS_DIRECTIO is not set
724 # CONFIG_NFSD is not set
725 CONFIG_ROOT_NFS=y
726 CONFIG_LOCKD=y
727 CONFIG_LOCKD_V4=y
728 CONFIG_NFS_COMMON=y
729 CONFIG_SUNRPC=y
730 # CONFIG_RPCSEC_GSS_KRB5 is not set
731 # CONFIG_RPCSEC_GSS_SPKM3 is not set
732 # CONFIG_SMB_FS is not set
733 # CONFIG_CIFS is not set
734 # CONFIG_NCP_FS is not set
735 # CONFIG_CODA_FS is not set
736 # CONFIG_AFS_FS is not set
737 # CONFIG_9P_FS is not set
739 #
740 # Partition Types
741 #
742 # CONFIG_PARTITION_ADVANCED is not set
743 CONFIG_MSDOS_PARTITION=y
745 #
746 # Native Language Support
747 #
748 CONFIG_NLS=y
749 CONFIG_NLS_DEFAULT="iso8859-1"
750 CONFIG_NLS_CODEPAGE_437=y
751 # CONFIG_NLS_CODEPAGE_737 is not set
752 # CONFIG_NLS_CODEPAGE_775 is not set
753 # CONFIG_NLS_CODEPAGE_850 is not set
754 # CONFIG_NLS_CODEPAGE_852 is not set
755 # CONFIG_NLS_CODEPAGE_855 is not set
756 # CONFIG_NLS_CODEPAGE_857 is not set
757 # CONFIG_NLS_CODEPAGE_860 is not set
758 # CONFIG_NLS_CODEPAGE_861 is not set
759 # CONFIG_NLS_CODEPAGE_862 is not set
760 # CONFIG_NLS_CODEPAGE_863 is not set
761 # CONFIG_NLS_CODEPAGE_864 is not set
762 # CONFIG_NLS_CODEPAGE_865 is not set
763 # CONFIG_NLS_CODEPAGE_866 is not set
764 # CONFIG_NLS_CODEPAGE_869 is not set
765 # CONFIG_NLS_CODEPAGE_936 is not set
766 # CONFIG_NLS_CODEPAGE_950 is not set
767 # CONFIG_NLS_CODEPAGE_932 is not set
768 # CONFIG_NLS_CODEPAGE_949 is not set
769 # CONFIG_NLS_CODEPAGE_874 is not set
770 # CONFIG_NLS_ISO8859_8 is not set
771 # CONFIG_NLS_CODEPAGE_1250 is not set
772 # CONFIG_NLS_CODEPAGE_1251 is not set
773 # CONFIG_NLS_ASCII is not set
774 CONFIG_NLS_ISO8859_1=y
775 # CONFIG_NLS_ISO8859_2 is not set
776 # CONFIG_NLS_ISO8859_3 is not set
777 # CONFIG_NLS_ISO8859_4 is not set
778 # CONFIG_NLS_ISO8859_5 is not set
779 # CONFIG_NLS_ISO8859_6 is not set
780 # CONFIG_NLS_ISO8859_7 is not set
781 # CONFIG_NLS_ISO8859_9 is not set
782 # CONFIG_NLS_ISO8859_13 is not set
783 # CONFIG_NLS_ISO8859_14 is not set
784 # CONFIG_NLS_ISO8859_15 is not set
785 # CONFIG_NLS_KOI8_R is not set
786 # CONFIG_NLS_KOI8_U is not set
787 # CONFIG_NLS_UTF8 is not set
789 #
790 # Instrumentation Support
791 #
792 # CONFIG_PROFILING is not set
793 # CONFIG_KPROBES is not set
795 #
796 # Kernel hacking
797 #
798 CONFIG_TRACE_IRQFLAGS_SUPPORT=y
799 # CONFIG_PRINTK_TIME is not set
800 CONFIG_MAGIC_SYSRQ=y
801 CONFIG_UNUSED_SYMBOLS=y
802 CONFIG_DEBUG_KERNEL=y
803 CONFIG_LOG_BUF_SHIFT=14
804 CONFIG_DETECT_SOFTLOCKUP=y
805 # CONFIG_SCHEDSTATS is not set
806 # CONFIG_DEBUG_SLAB is not set
807 # CONFIG_DEBUG_RT_MUTEXES is not set
808 # CONFIG_RT_MUTEX_TESTER is not set
809 # CONFIG_DEBUG_SPINLOCK is not set
810 # CONFIG_DEBUG_MUTEXES is not set
811 # CONFIG_DEBUG_RWSEMS is not set
812 # CONFIG_DEBUG_LOCK_ALLOC is not set
813 # CONFIG_PROVE_LOCKING is not set
814 # CONFIG_DEBUG_SPINLOCK_SLEEP is not set
815 # CONFIG_DEBUG_LOCKING_API_SELFTESTS is not set
816 # CONFIG_DEBUG_KOBJECT is not set
817 CONFIG_DEBUG_INFO=y
818 # CONFIG_DEBUG_FS is not set
819 # CONFIG_DEBUG_VM is not set
820 CONFIG_FRAME_POINTER=y
821 # CONFIG_UNWIND_INFO is not set
822 CONFIG_FORCED_INLINING=y
823 # CONFIG_RCU_TORTURE_TEST is not set
824 # CONFIG_DEBUG_RODATA is not set
825 # CONFIG_DEBUG_STACKOVERFLOW is not set
826 # CONFIG_DEBUG_STACK_USAGE is not set
828 #
829 # Security options
830 #
831 # CONFIG_KEYS is not set
832 # CONFIG_SECURITY is not set
834 #
835 # Cryptographic options
836 #
837 CONFIG_CRYPTO=y
838 # CONFIG_CRYPTO_HMAC is not set
839 # CONFIG_CRYPTO_NULL is not set
840 # CONFIG_CRYPTO_MD4 is not set
841 CONFIG_CRYPTO_MD5=m
842 # CONFIG_CRYPTO_SHA1 is not set
843 # CONFIG_CRYPTO_SHA256 is not set
844 # CONFIG_CRYPTO_SHA512 is not set
845 # CONFIG_CRYPTO_WP512 is not set
846 # CONFIG_CRYPTO_TGR192 is not set
847 # CONFIG_CRYPTO_DES is not set
848 # CONFIG_CRYPTO_BLOWFISH is not set
849 # CONFIG_CRYPTO_TWOFISH is not set
850 # CONFIG_CRYPTO_SERPENT is not set
851 # CONFIG_CRYPTO_AES is not set
852 # CONFIG_CRYPTO_AES_X86_64 is not set
853 # CONFIG_CRYPTO_CAST5 is not set
854 # CONFIG_CRYPTO_CAST6 is not set
855 # CONFIG_CRYPTO_TEA is not set
856 # CONFIG_CRYPTO_ARC4 is not set
857 # CONFIG_CRYPTO_KHAZAD is not set
858 # CONFIG_CRYPTO_ANUBIS is not set
859 # CONFIG_CRYPTO_DEFLATE is not set
860 # CONFIG_CRYPTO_MICHAEL_MIC is not set
861 CONFIG_CRYPTO_CRC32C=m
862 # CONFIG_CRYPTO_TEST is not set
864 #
865 # Hardware crypto devices
866 #
867 CONFIG_XEN=y
868 CONFIG_XEN_INTERFACE_VERSION=0x00030207
870 #
871 # XEN
872 #
873 # CONFIG_XEN_PRIVILEGED_GUEST is not set
874 CONFIG_XEN_UNPRIVILEGED_GUEST=y
875 CONFIG_XEN_PRIVCMD=y
876 CONFIG_XEN_XENBUS_DEV=y
877 # CONFIG_XEN_BACKEND is not set
878 # CONFIG_XEN_NETDEV_ACCEL_SFC_UTIL is not set
879 CONFIG_XEN_BLKDEV_FRONTEND=y
880 CONFIG_XEN_NETDEV_FRONTEND=y
881 CONFIG_XEN_SCSI_FRONTEND=m
882 CONFIG_XEN_GRANT_DEV=y
883 # CONFIG_XEN_NETDEV_ACCEL_SFC_FRONTEND is not set
884 CONFIG_XEN_SCRUB_PAGES=y
885 CONFIG_XEN_DISABLE_SERIAL=y
886 CONFIG_XEN_SYSFS=y
887 CONFIG_XEN_COMPAT_030002_AND_LATER=y
888 # CONFIG_XEN_COMPAT_030004_AND_LATER is not set
889 # CONFIG_XEN_COMPAT_030100_AND_LATER is not set
890 # CONFIG_XEN_COMPAT_LATEST_ONLY is not set
891 CONFIG_XEN_COMPAT=0x030002
892 CONFIG_HAVE_IRQ_IGNORE_UNHANDLED=y
893 CONFIG_NO_IDLE_HZ=y
894 CONFIG_XEN_SMPBOOT=y
895 CONFIG_XEN_BALLOON=y
896 CONFIG_XEN_DEVMEM=y
898 #
899 # Library routines
900 #
901 # CONFIG_CRC_CCITT is not set
902 # CONFIG_CRC16 is not set
903 # CONFIG_CRC32 is not set
904 CONFIG_LIBCRC32C=m
905 CONFIG_ZLIB_INFLATE=y
906 CONFIG_PLIST=y