ia64/linux-2.6.18-xen.hg

view arch/m32r/mappi2/defconfig.vdec2 @ 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.12-rc5
4 # Fri Jun 3 16:22:02 2005
5 #
6 CONFIG_M32R=y
7 # CONFIG_UID16 is not set
8 CONFIG_GENERIC_ISA_DMA=y
9 CONFIG_GENERIC_HARDIRQS=y
10 CONFIG_GENERIC_IRQ_PROBE=y
12 #
13 # Code maturity level options
14 #
15 CONFIG_EXPERIMENTAL=y
16 CONFIG_CLEAN_COMPILE=y
17 CONFIG_BROKEN_ON_SMP=y
18 CONFIG_LOCK_KERNEL=y
19 CONFIG_INIT_ENV_ARG_LIMIT=32
21 #
22 # General setup
23 #
24 CONFIG_LOCALVERSION=""
25 CONFIG_SWAP=y
26 CONFIG_SYSVIPC=y
27 # CONFIG_POSIX_MQUEUE is not set
28 CONFIG_BSD_PROCESS_ACCT=y
29 # CONFIG_BSD_PROCESS_ACCT_V3 is not set
30 CONFIG_SYSCTL=y
31 # CONFIG_AUDIT is not set
32 CONFIG_HOTPLUG=y
33 CONFIG_KOBJECT_UEVENT=y
34 CONFIG_IKCONFIG=y
35 # CONFIG_IKCONFIG_PROC is not set
36 CONFIG_EMBEDDED=y
37 # CONFIG_KALLSYMS is not set
38 CONFIG_PRINTK=y
39 CONFIG_BUG=y
40 CONFIG_BASE_FULL=y
41 # CONFIG_FUTEX is not set
42 # CONFIG_EPOLL is not set
43 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
44 CONFIG_SHMEM=y
45 CONFIG_CC_ALIGN_FUNCTIONS=0
46 CONFIG_CC_ALIGN_LABELS=0
47 CONFIG_CC_ALIGN_LOOPS=0
48 CONFIG_CC_ALIGN_JUMPS=0
49 # CONFIG_TINY_SHMEM is not set
50 CONFIG_BASE_SMALL=0
52 #
53 # Loadable module support
54 #
55 CONFIG_MODULES=y
56 CONFIG_MODULE_UNLOAD=y
57 # CONFIG_MODULE_FORCE_UNLOAD is not set
58 CONFIG_OBSOLETE_MODPARM=y
59 # CONFIG_MODVERSIONS is not set
60 # CONFIG_MODULE_SRCVERSION_ALL is not set
61 CONFIG_KMOD=y
63 #
64 # Processor type and features
65 #
66 # CONFIG_PLAT_MAPPI is not set
67 # CONFIG_PLAT_USRV is not set
68 # CONFIG_PLAT_M32700UT is not set
69 # CONFIG_PLAT_OPSPUT is not set
70 # CONFIG_PLAT_OAKS32R is not set
71 CONFIG_PLAT_MAPPI2=y
72 # CONFIG_PLAT_MAPPI3 is not set
73 # CONFIG_CHIP_M32700 is not set
74 # CONFIG_CHIP_M32102 is not set
75 CONFIG_CHIP_VDEC2=y
76 # CONFIG_CHIP_OPSP is not set
77 CONFIG_MMU=y
78 CONFIG_TLB_ENTRIES=16
79 CONFIG_ISA_M32R2=y
80 CONFIG_BUS_CLOCK=50000000
81 CONFIG_TIMER_DIVIDE=128
82 # CONFIG_CPU_LITTLE_ENDIAN is not set
83 CONFIG_MEMORY_START=0x08000000
84 CONFIG_MEMORY_SIZE=0x01000000
85 CONFIG_NOHIGHMEM=y
86 # CONFIG_DISCONTIGMEM is not set
87 CONFIG_RWSEM_GENERIC_SPINLOCK=y
88 # CONFIG_RWSEM_XCHGADD_ALGORITHM is not set
89 CONFIG_GENERIC_CALIBRATE_DELAY=y
90 CONFIG_PREEMPT=y
91 # CONFIG_HAVE_DEC_LOCK is not set
92 # CONFIG_SMP is not set
94 #
95 # Bus options (PCI, PCMCIA, EISA, MCA, ISA)
96 #
97 # CONFIG_PCI is not set
98 # CONFIG_ISA is not set
100 #
101 # PCCARD (PCMCIA/CardBus) support
102 #
103 CONFIG_PCCARD=y
104 # CONFIG_PCMCIA_DEBUG is not set
105 CONFIG_PCMCIA=y
107 #
108 # PC-card bridges
109 #
110 # CONFIG_TCIC is not set
111 # CONFIG_M32R_CFC is not set
113 #
114 # PCI Hotplug Support
115 #
117 #
118 # Executable file formats
119 #
120 CONFIG_BINFMT_ELF=y
121 # CONFIG_BINFMT_MISC is not set
123 #
124 # Device Drivers
125 #
127 #
128 # Generic Driver Options
129 #
130 CONFIG_STANDALONE=y
131 CONFIG_PREVENT_FIRMWARE_BUILD=y
132 # CONFIG_FW_LOADER is not set
134 #
135 # Memory Technology Devices (MTD)
136 #
137 # CONFIG_MTD is not set
139 #
140 # Parallel port support
141 #
142 # CONFIG_PARPORT is not set
144 #
145 # Plug and Play support
146 #
148 #
149 # Block devices
150 #
151 # CONFIG_BLK_DEV_FD is not set
152 # CONFIG_BLK_DEV_COW_COMMON is not set
153 CONFIG_BLK_DEV_LOOP=y
154 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
155 CONFIG_BLK_DEV_NBD=y
156 CONFIG_BLK_DEV_RAM=y
157 CONFIG_BLK_DEV_RAM_COUNT=16
158 CONFIG_BLK_DEV_RAM_SIZE=4096
159 # CONFIG_BLK_DEV_INITRD is not set
160 CONFIG_INITRAMFS_SOURCE=""
161 # CONFIG_CDROM_PKTCDVD is not set
163 #
164 # IO Schedulers
165 #
166 CONFIG_IOSCHED_NOOP=y
167 # CONFIG_IOSCHED_AS is not set
168 CONFIG_IOSCHED_DEADLINE=y
169 CONFIG_IOSCHED_CFQ=y
170 # CONFIG_ATA_OVER_ETH is not set
172 #
173 # ATA/ATAPI/MFM/RLL support
174 #
175 CONFIG_IDE=y
176 CONFIG_BLK_DEV_IDE=y
178 #
179 # Please see Documentation/ide.txt for help/info on IDE drives
180 #
181 # CONFIG_BLK_DEV_IDE_SATA is not set
182 CONFIG_BLK_DEV_IDEDISK=y
183 # CONFIG_IDEDISK_MULTI_MODE is not set
184 CONFIG_BLK_DEV_IDECS=y
185 CONFIG_BLK_DEV_IDECD=m
186 # CONFIG_BLK_DEV_IDETAPE is not set
187 # CONFIG_BLK_DEV_IDEFLOPPY is not set
188 # CONFIG_BLK_DEV_IDESCSI is not set
189 # CONFIG_IDE_TASK_IOCTL is not set
191 #
192 # IDE chipset support/bugfixes
193 #
194 CONFIG_IDE_GENERIC=y
195 # CONFIG_IDE_ARM is not set
196 # CONFIG_BLK_DEV_IDEDMA is not set
197 # CONFIG_IDEDMA_AUTO is not set
198 # CONFIG_BLK_DEV_HD is not set
200 #
201 # SCSI device support
202 #
203 CONFIG_SCSI=m
204 CONFIG_SCSI_PROC_FS=y
206 #
207 # SCSI support type (disk, tape, CD-ROM)
208 #
209 CONFIG_BLK_DEV_SD=m
210 # CONFIG_CHR_DEV_ST is not set
211 # CONFIG_CHR_DEV_OSST is not set
212 CONFIG_BLK_DEV_SR=m
213 # CONFIG_BLK_DEV_SR_VENDOR is not set
214 CONFIG_CHR_DEV_SG=m
216 #
217 # Some SCSI devices (e.g. CD jukebox) support multiple LUNs
218 #
219 CONFIG_SCSI_MULTI_LUN=y
220 # CONFIG_SCSI_CONSTANTS is not set
221 # CONFIG_SCSI_LOGGING is not set
223 #
224 # SCSI Transport Attributes
225 #
226 # CONFIG_SCSI_SPI_ATTRS is not set
227 # CONFIG_SCSI_FC_ATTRS is not set
228 # CONFIG_SCSI_ISCSI_ATTRS is not set
230 #
231 # SCSI low-level drivers
232 #
233 # CONFIG_SCSI_SATA is not set
234 # CONFIG_SCSI_DEBUG is not set
236 #
237 # PCMCIA SCSI adapter support
238 #
239 # CONFIG_PCMCIA_AHA152X is not set
240 # CONFIG_PCMCIA_FDOMAIN is not set
241 # CONFIG_PCMCIA_NINJA_SCSI is not set
242 # CONFIG_PCMCIA_QLOGIC is not set
243 # CONFIG_PCMCIA_SYM53C500 is not set
245 #
246 # Multi-device support (RAID and LVM)
247 #
248 # CONFIG_MD is not set
250 #
251 # Fusion MPT device support
252 #
254 #
255 # IEEE 1394 (FireWire) support
256 #
258 #
259 # I2O device support
260 #
262 #
263 # Networking support
264 #
265 CONFIG_NET=y
267 #
268 # Networking options
269 #
270 CONFIG_PACKET=y
271 # CONFIG_PACKET_MMAP is not set
272 CONFIG_UNIX=y
273 # CONFIG_NET_KEY is not set
274 CONFIG_INET=y
275 # CONFIG_IP_MULTICAST is not set
276 # CONFIG_IP_ADVANCED_ROUTER is not set
277 CONFIG_IP_PNP=y
278 CONFIG_IP_PNP_DHCP=y
279 # CONFIG_IP_PNP_BOOTP is not set
280 # CONFIG_IP_PNP_RARP is not set
281 # CONFIG_NET_IPIP is not set
282 # CONFIG_NET_IPGRE is not set
283 # CONFIG_ARPD is not set
284 # CONFIG_SYN_COOKIES is not set
285 # CONFIG_INET_AH is not set
286 # CONFIG_INET_ESP is not set
287 # CONFIG_INET_IPCOMP is not set
288 # CONFIG_INET_TUNNEL is not set
289 CONFIG_IP_TCPDIAG=y
290 # CONFIG_IP_TCPDIAG_IPV6 is not set
291 # CONFIG_IPV6 is not set
292 # CONFIG_NETFILTER is not set
294 #
295 # SCTP Configuration (EXPERIMENTAL)
296 #
297 # CONFIG_IP_SCTP is not set
298 # CONFIG_ATM is not set
299 # CONFIG_BRIDGE is not set
300 # CONFIG_VLAN_8021Q is not set
301 # CONFIG_DECNET is not set
302 # CONFIG_LLC2 is not set
303 # CONFIG_IPX is not set
304 # CONFIG_ATALK is not set
305 # CONFIG_X25 is not set
306 # CONFIG_LAPB is not set
307 # CONFIG_NET_DIVERT is not set
308 # CONFIG_ECONET is not set
309 # CONFIG_WAN_ROUTER is not set
311 #
312 # QoS and/or fair queueing
313 #
314 # CONFIG_NET_SCHED is not set
315 # CONFIG_NET_CLS_ROUTE is not set
317 #
318 # Network testing
319 #
320 # CONFIG_NET_PKTGEN is not set
321 # CONFIG_NETPOLL is not set
322 # CONFIG_NET_POLL_CONTROLLER is not set
323 # CONFIG_HAMRADIO is not set
324 # CONFIG_IRDA is not set
325 # CONFIG_BT is not set
326 CONFIG_NETDEVICES=y
327 # CONFIG_DUMMY is not set
328 # CONFIG_BONDING is not set
329 # CONFIG_EQUALIZER is not set
330 # CONFIG_TUN is not set
332 #
333 # Ethernet (10 or 100Mbit)
334 #
335 CONFIG_NET_ETHERNET=y
336 CONFIG_MII=y
337 CONFIG_SMC91X=y
338 # CONFIG_NE2000 is not set
340 #
341 # Ethernet (1000 Mbit)
342 #
344 #
345 # Ethernet (10000 Mbit)
346 #
348 #
349 # Token Ring devices
350 #
352 #
353 # Wireless LAN (non-hamradio)
354 #
355 # CONFIG_NET_RADIO is not set
357 #
358 # PCMCIA network device support
359 #
360 # CONFIG_NET_PCMCIA is not set
362 #
363 # Wan interfaces
364 #
365 # CONFIG_WAN is not set
366 # CONFIG_PPP is not set
367 # CONFIG_SLIP is not set
368 # CONFIG_SHAPER is not set
369 # CONFIG_NETCONSOLE is not set
371 #
372 # ISDN subsystem
373 #
374 # CONFIG_ISDN is not set
376 #
377 # Telephony Support
378 #
379 # CONFIG_PHONE is not set
381 #
382 # Input device support
383 #
384 CONFIG_INPUT=y
386 #
387 # Userland interfaces
388 #
389 # CONFIG_INPUT_MOUSEDEV is not set
390 # CONFIG_INPUT_JOYDEV is not set
391 # CONFIG_INPUT_TSDEV is not set
392 # CONFIG_INPUT_EVDEV is not set
393 # CONFIG_INPUT_EVBUG is not set
395 #
396 # Input Device Drivers
397 #
398 # CONFIG_INPUT_KEYBOARD is not set
399 # CONFIG_INPUT_MOUSE is not set
400 # CONFIG_INPUT_JOYSTICK is not set
401 # CONFIG_INPUT_TOUCHSCREEN is not set
402 # CONFIG_INPUT_MISC is not set
404 #
405 # Hardware I/O ports
406 #
407 CONFIG_SERIO=y
408 # CONFIG_SERIO_I8042 is not set
409 CONFIG_SERIO_SERPORT=y
410 # CONFIG_SERIO_LIBPS2 is not set
411 # CONFIG_SERIO_RAW is not set
412 # CONFIG_GAMEPORT is not set
413 CONFIG_SOUND_GAMEPORT=y
415 #
416 # Character devices
417 #
418 CONFIG_VT=y
419 CONFIG_VT_CONSOLE=y
420 CONFIG_HW_CONSOLE=y
421 # CONFIG_SERIAL_NONSTANDARD is not set
423 #
424 # Serial drivers
425 #
426 # CONFIG_SERIAL_8250 is not set
428 #
429 # Non-8250 serial port support
430 #
431 CONFIG_SERIAL_CORE=y
432 CONFIG_SERIAL_CORE_CONSOLE=y
433 CONFIG_SERIAL_M32R_SIO=y
434 CONFIG_SERIAL_M32R_SIO_CONSOLE=y
435 # CONFIG_SERIAL_M32R_PLDSIO is not set
436 CONFIG_UNIX98_PTYS=y
437 CONFIG_LEGACY_PTYS=y
438 CONFIG_LEGACY_PTY_COUNT=256
440 #
441 # IPMI
442 #
443 # CONFIG_IPMI_HANDLER is not set
445 #
446 # Watchdog Cards
447 #
448 # CONFIG_WATCHDOG is not set
449 # CONFIG_RTC is not set
450 # CONFIG_GEN_RTC is not set
451 # CONFIG_DTLK is not set
452 # CONFIG_R3964 is not set
454 #
455 # Ftape, the floppy tape device driver
456 #
457 # CONFIG_DRM is not set
459 #
460 # PCMCIA character devices
461 #
462 # CONFIG_SYNCLINK_CS is not set
463 # CONFIG_RAW_DRIVER is not set
465 #
466 # TPM devices
467 #
469 #
470 # I2C support
471 #
472 # CONFIG_I2C is not set
474 #
475 # Dallas's 1-wire bus
476 #
477 # CONFIG_W1 is not set
479 #
480 # Misc devices
481 #
483 #
484 # Multimedia devices
485 #
486 CONFIG_VIDEO_DEV=y
488 #
489 # Video For Linux
490 #
492 #
493 # Video Adapters
494 #
495 # CONFIG_VIDEO_CPIA is not set
496 # CONFIG_VIDEO_M32R_AR is not set
498 #
499 # Radio Adapters
500 #
501 # CONFIG_RADIO_MAESTRO is not set
503 #
504 # Digital Video Broadcasting Devices
505 #
506 # CONFIG_DVB is not set
508 #
509 # Graphics support
510 #
511 # CONFIG_FB is not set
513 #
514 # Console display driver support
515 #
516 # CONFIG_VGA_CONSOLE is not set
517 CONFIG_DUMMY_CONSOLE=y
519 #
520 # Sound
521 #
522 # CONFIG_SOUND is not set
524 #
525 # USB support
526 #
527 # CONFIG_USB_ARCH_HAS_HCD is not set
528 # CONFIG_USB_ARCH_HAS_OHCI is not set
530 #
531 # USB Gadget Support
532 #
533 # CONFIG_USB_GADGET is not set
535 #
536 # MMC/SD Card support
537 #
538 # CONFIG_MMC is not set
540 #
541 # InfiniBand support
542 #
543 # CONFIG_INFINIBAND is not set
545 #
546 # File systems
547 #
548 CONFIG_EXT2_FS=y
549 # CONFIG_EXT2_FS_XATTR is not set
550 CONFIG_EXT3_FS=m
551 CONFIG_EXT3_FS_XATTR=y
552 # CONFIG_EXT3_FS_POSIX_ACL is not set
553 # CONFIG_EXT3_FS_SECURITY is not set
554 CONFIG_JBD=m
555 CONFIG_JBD_DEBUG=y
556 CONFIG_FS_MBCACHE=y
557 CONFIG_REISERFS_FS=m
558 # CONFIG_REISERFS_CHECK is not set
559 # CONFIG_REISERFS_PROC_INFO is not set
560 # CONFIG_REISERFS_FS_XATTR is not set
561 # CONFIG_JFS_FS is not set
563 #
564 # XFS support
565 #
566 # CONFIG_XFS_FS is not set
567 # CONFIG_MINIX_FS is not set
568 # CONFIG_ROMFS_FS is not set
569 # CONFIG_QUOTA is not set
570 CONFIG_DNOTIFY=y
571 # CONFIG_AUTOFS_FS is not set
572 # CONFIG_AUTOFS4_FS is not set
574 #
575 # CD-ROM/DVD Filesystems
576 #
577 CONFIG_ISO9660_FS=m
578 CONFIG_JOLIET=y
579 # CONFIG_ZISOFS is not set
580 CONFIG_UDF_FS=m
581 CONFIG_UDF_NLS=y
583 #
584 # DOS/FAT/NT Filesystems
585 #
586 CONFIG_FAT_FS=m
587 CONFIG_MSDOS_FS=m
588 CONFIG_VFAT_FS=m
589 CONFIG_FAT_DEFAULT_CODEPAGE=437
590 CONFIG_FAT_DEFAULT_IOCHARSET="iso8859-1"
591 # CONFIG_NTFS_FS is not set
593 #
594 # Pseudo filesystems
595 #
596 CONFIG_PROC_FS=y
597 CONFIG_PROC_KCORE=y
598 CONFIG_SYSFS=y
599 CONFIG_DEVFS_FS=y
600 CONFIG_DEVFS_MOUNT=y
601 # CONFIG_DEVFS_DEBUG is not set
602 # CONFIG_DEVPTS_FS_XATTR is not set
603 CONFIG_TMPFS=y
604 # CONFIG_TMPFS_XATTR is not set
605 # CONFIG_HUGETLB_PAGE is not set
606 CONFIG_RAMFS=y
608 #
609 # Miscellaneous filesystems
610 #
611 # CONFIG_ADFS_FS is not set
612 # CONFIG_AFFS_FS is not set
613 # CONFIG_HFS_FS is not set
614 # CONFIG_HFSPLUS_FS is not set
615 # CONFIG_BEFS_FS is not set
616 # CONFIG_BFS_FS is not set
617 # CONFIG_EFS_FS is not set
618 # CONFIG_CRAMFS is not set
619 # CONFIG_VXFS_FS is not set
620 # CONFIG_HPFS_FS is not set
621 # CONFIG_QNX4FS_FS is not set
622 # CONFIG_SYSV_FS is not set
623 # CONFIG_UFS_FS is not set
625 #
626 # Network File Systems
627 #
628 CONFIG_NFS_FS=y
629 CONFIG_NFS_V3=y
630 # CONFIG_NFS_V4 is not set
631 # CONFIG_NFS_DIRECTIO is not set
632 # CONFIG_NFSD is not set
633 CONFIG_ROOT_NFS=y
634 CONFIG_LOCKD=y
635 CONFIG_LOCKD_V4=y
636 CONFIG_SUNRPC=y
637 # CONFIG_RPCSEC_GSS_KRB5 is not set
638 # CONFIG_RPCSEC_GSS_SPKM3 is not set
639 # CONFIG_SMB_FS is not set
640 # CONFIG_CIFS is not set
641 # CONFIG_NCP_FS is not set
642 # CONFIG_CODA_FS is not set
643 # CONFIG_AFS_FS is not set
645 #
646 # Partition Types
647 #
648 # CONFIG_PARTITION_ADVANCED is not set
649 CONFIG_MSDOS_PARTITION=y
651 #
652 # Native Language Support
653 #
654 CONFIG_NLS=y
655 CONFIG_NLS_DEFAULT="iso8859-1"
656 # CONFIG_NLS_CODEPAGE_437 is not set
657 # CONFIG_NLS_CODEPAGE_737 is not set
658 # CONFIG_NLS_CODEPAGE_775 is not set
659 # CONFIG_NLS_CODEPAGE_850 is not set
660 # CONFIG_NLS_CODEPAGE_852 is not set
661 # CONFIG_NLS_CODEPAGE_855 is not set
662 # CONFIG_NLS_CODEPAGE_857 is not set
663 # CONFIG_NLS_CODEPAGE_860 is not set
664 # CONFIG_NLS_CODEPAGE_861 is not set
665 # CONFIG_NLS_CODEPAGE_862 is not set
666 # CONFIG_NLS_CODEPAGE_863 is not set
667 # CONFIG_NLS_CODEPAGE_864 is not set
668 # CONFIG_NLS_CODEPAGE_865 is not set
669 # CONFIG_NLS_CODEPAGE_866 is not set
670 # CONFIG_NLS_CODEPAGE_869 is not set
671 # CONFIG_NLS_CODEPAGE_936 is not set
672 # CONFIG_NLS_CODEPAGE_950 is not set
673 # CONFIG_NLS_CODEPAGE_932 is not set
674 # CONFIG_NLS_CODEPAGE_949 is not set
675 # CONFIG_NLS_CODEPAGE_874 is not set
676 # CONFIG_NLS_ISO8859_8 is not set
677 # CONFIG_NLS_CODEPAGE_1250 is not set
678 # CONFIG_NLS_CODEPAGE_1251 is not set
679 # CONFIG_NLS_ASCII is not set
680 # CONFIG_NLS_ISO8859_1 is not set
681 # CONFIG_NLS_ISO8859_2 is not set
682 # CONFIG_NLS_ISO8859_3 is not set
683 # CONFIG_NLS_ISO8859_4 is not set
684 # CONFIG_NLS_ISO8859_5 is not set
685 # CONFIG_NLS_ISO8859_6 is not set
686 # CONFIG_NLS_ISO8859_7 is not set
687 # CONFIG_NLS_ISO8859_9 is not set
688 # CONFIG_NLS_ISO8859_13 is not set
689 # CONFIG_NLS_ISO8859_14 is not set
690 # CONFIG_NLS_ISO8859_15 is not set
691 # CONFIG_NLS_KOI8_R is not set
692 # CONFIG_NLS_KOI8_U is not set
693 # CONFIG_NLS_UTF8 is not set
695 #
696 # Profiling support
697 #
698 # CONFIG_PROFILING is not set
700 #
701 # Kernel hacking
702 #
703 # CONFIG_PRINTK_TIME is not set
704 # CONFIG_DEBUG_KERNEL is not set
705 CONFIG_LOG_BUF_SHIFT=14
706 # CONFIG_DEBUG_BUGVERBOSE is not set
707 # CONFIG_FRAME_POINTER is not set
709 #
710 # Security options
711 #
712 # CONFIG_KEYS is not set
713 # CONFIG_SECURITY is not set
715 #
716 # Cryptographic options
717 #
718 # CONFIG_CRYPTO is not set
720 #
721 # Hardware crypto devices
722 #
724 #
725 # Library routines
726 #
727 # CONFIG_CRC_CCITT is not set
728 CONFIG_CRC32=y
729 # CONFIG_LIBCRC32C is not set