ia64/linux-2.6.18-xen.hg

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