ia64/xen-unstable

view buildconfigs/linux-defconfig_xenU_x86_32 @ 10048:d0c7cc0afd15

Add support to domain builders for loading kernels with physical addresses in the elf paddr and entry fields.
Add a new __xen_guest header field to distinguish between kernels with
the previous use of the paddr field and the new use.
Add a new __xen_guest header field to control the kernel entry point,
since the elf header entry field now points to a physical address.
This header field is also useful for supporting alternative entry
points in kernel images which run both on xen and native.
Also add a kernel config option to control whether the resulting kernel
should include compatibility code to run on Xen 3.0.2 or whether such
code such be left out, resulting in a kernel which will only run on
newer Xen versions. Default to having compatibility enabled.
Kernels built with the new use of the elf header fields would otherwise
not work on Xen versions prior to this changeset.

Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>
author cl349@firebug.cl.cam.ac.uk
date Thu May 11 17:30:50 2006 +0100 (2006-05-11)
parents 6df0bdcf8c9d
children b2a31053955d 4fad820a2233
line source
1 #
2 # Automatically generated make config: don't edit
3 # Linux kernel version: 2.6.16.13-xenU
4 # Thu May 11 17:08:12 2006
5 #
6 CONFIG_X86_32=y
7 CONFIG_SEMAPHORE_SLEEPERS=y
8 CONFIG_X86=y
9 CONFIG_MMU=y
10 CONFIG_GENERIC_ISA_DMA=y
11 CONFIG_GENERIC_IOMAP=y
12 CONFIG_ARCH_MAY_HAVE_PC_FDC=y
13 CONFIG_DMI=y
15 #
16 # Code maturity level options
17 #
18 CONFIG_EXPERIMENTAL=y
19 CONFIG_LOCK_KERNEL=y
20 CONFIG_INIT_ENV_ARG_LIMIT=32
22 #
23 # General setup
24 #
25 CONFIG_LOCALVERSION=""
26 # CONFIG_LOCALVERSION_AUTO is not set
27 CONFIG_SWAP=y
28 CONFIG_SYSVIPC=y
29 # CONFIG_POSIX_MQUEUE is not set
30 # CONFIG_BSD_PROCESS_ACCT is not set
31 CONFIG_SYSCTL=y
32 # CONFIG_AUDIT is not set
33 # CONFIG_IKCONFIG is not set
34 # CONFIG_CPUSETS is not set
35 CONFIG_INITRAMFS_SOURCE=""
36 CONFIG_UID16=y
37 CONFIG_VM86=y
38 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
39 # CONFIG_EMBEDDED is not set
40 CONFIG_KALLSYMS=y
41 # CONFIG_KALLSYMS_ALL is not set
42 # CONFIG_KALLSYMS_EXTRA_PASS is not set
43 CONFIG_HOTPLUG=y
44 CONFIG_PRINTK=y
45 CONFIG_BUG=y
46 CONFIG_ELF_CORE=y
47 CONFIG_BASE_FULL=y
48 CONFIG_FUTEX=y
49 CONFIG_EPOLL=y
50 CONFIG_SHMEM=y
51 CONFIG_CC_ALIGN_FUNCTIONS=0
52 CONFIG_CC_ALIGN_LABELS=0
53 CONFIG_CC_ALIGN_LOOPS=0
54 CONFIG_CC_ALIGN_JUMPS=0
55 CONFIG_SLAB=y
56 # CONFIG_TINY_SHMEM is not set
57 CONFIG_BASE_SMALL=0
58 # CONFIG_SLOB is not set
60 #
61 # Loadable module support
62 #
63 CONFIG_MODULES=y
64 CONFIG_MODULE_UNLOAD=y
65 # CONFIG_MODULE_FORCE_UNLOAD is not set
66 CONFIG_OBSOLETE_MODPARM=y
67 # CONFIG_MODVERSIONS is not set
68 # CONFIG_MODULE_SRCVERSION_ALL is not set
69 CONFIG_KMOD=y
70 CONFIG_STOP_MACHINE=y
72 #
73 # Block layer
74 #
75 # CONFIG_LBD is not set
77 #
78 # IO Schedulers
79 #
80 CONFIG_IOSCHED_NOOP=y
81 CONFIG_IOSCHED_AS=y
82 CONFIG_IOSCHED_DEADLINE=y
83 CONFIG_IOSCHED_CFQ=y
84 CONFIG_DEFAULT_AS=y
85 # CONFIG_DEFAULT_DEADLINE is not set
86 # CONFIG_DEFAULT_CFQ is not set
87 # CONFIG_DEFAULT_NOOP is not set
88 CONFIG_DEFAULT_IOSCHED="anticipatory"
90 #
91 # Processor type and features
92 #
93 # CONFIG_X86_PC is not set
94 CONFIG_X86_XEN=y
95 # CONFIG_X86_ELAN is not set
96 # CONFIG_X86_VOYAGER is not set
97 # CONFIG_X86_NUMAQ is not set
98 # CONFIG_X86_SUMMIT is not set
99 # CONFIG_X86_BIGSMP is not set
100 # CONFIG_X86_VISWS is not set
101 # CONFIG_X86_GENERICARCH is not set
102 # CONFIG_X86_ES7000 is not set
103 # CONFIG_M386 is not set
104 # CONFIG_M486 is not set
105 # CONFIG_M586 is not set
106 # CONFIG_M586TSC is not set
107 # CONFIG_M586MMX is not set
108 CONFIG_M686=y
109 # CONFIG_MPENTIUMII is not set
110 # CONFIG_MPENTIUMIII is not set
111 # CONFIG_MPENTIUMM is not set
112 # CONFIG_MPENTIUM4 is not set
113 # CONFIG_MK6 is not set
114 # CONFIG_MK7 is not set
115 # CONFIG_MK8 is not set
116 # CONFIG_MCRUSOE is not set
117 # CONFIG_MEFFICEON is not set
118 # CONFIG_MWINCHIPC6 is not set
119 # CONFIG_MWINCHIP2 is not set
120 # CONFIG_MWINCHIP3D is not set
121 # CONFIG_MGEODEGX1 is not set
122 # CONFIG_MGEODE_LX is not set
123 # CONFIG_MCYRIXIII is not set
124 # CONFIG_MVIAC3_2 is not set
125 # CONFIG_X86_GENERIC is not set
126 CONFIG_X86_CMPXCHG=y
127 CONFIG_X86_XADD=y
128 CONFIG_X86_L1_CACHE_SHIFT=5
129 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
130 CONFIG_GENERIC_CALIBRATE_DELAY=y
131 CONFIG_X86_PPRO_FENCE=y
132 CONFIG_X86_WP_WORKS_OK=y
133 CONFIG_X86_INVLPG=y
134 CONFIG_X86_BSWAP=y
135 CONFIG_X86_POPAD_OK=y
136 CONFIG_X86_CMPXCHG64=y
137 CONFIG_X86_GOOD_APIC=y
138 CONFIG_X86_USE_PPRO_CHECKSUM=y
139 CONFIG_X86_TSC=y
140 CONFIG_SMP=y
141 CONFIG_SMP_ALTERNATIVES=y
142 CONFIG_NR_CPUS=8
143 CONFIG_PREEMPT_NONE=y
144 # CONFIG_PREEMPT_VOLUNTARY is not set
145 # CONFIG_PREEMPT is not set
146 CONFIG_PREEMPT_BKL=y
147 # CONFIG_TOSHIBA is not set
148 # CONFIG_I8K is not set
149 # CONFIG_X86_REBOOTFIXUPS is not set
150 CONFIG_X86_CPUID=y
151 CONFIG_SWIOTLB=y
153 #
154 # Firmware Drivers
155 #
156 # CONFIG_DELL_RBU is not set
157 # CONFIG_DCDBAS is not set
158 # CONFIG_NOHIGHMEM is not set
159 CONFIG_HIGHMEM4G=y
160 # CONFIG_HIGHMEM64G is not set
161 CONFIG_VMSPLIT_3G=y
162 # CONFIG_VMSPLIT_3G_OPT is not set
163 # CONFIG_VMSPLIT_2G is not set
164 # CONFIG_VMSPLIT_1G is not set
165 CONFIG_PAGE_OFFSET=0xC0000000
166 CONFIG_HIGHMEM=y
167 CONFIG_SELECT_MEMORY_MODEL=y
168 CONFIG_FLATMEM_MANUAL=y
169 # CONFIG_DISCONTIGMEM_MANUAL is not set
170 # CONFIG_SPARSEMEM_MANUAL is not set
171 CONFIG_FLATMEM=y
172 CONFIG_FLAT_NODE_MEM_MAP=y
173 # CONFIG_SPARSEMEM_STATIC is not set
174 CONFIG_SPLIT_PTLOCK_CPUS=4096
175 # CONFIG_REGPARM is not set
176 CONFIG_SECCOMP=y
177 CONFIG_HZ_100=y
178 # CONFIG_HZ_250 is not set
179 # CONFIG_HZ_1000 is not set
180 CONFIG_HZ=100
181 # CONFIG_CRASH_DUMP is not set
182 CONFIG_PHYSICAL_START=0x100000
183 CONFIG_HOTPLUG_CPU=y
185 #
186 # Bus options (PCI, PCMCIA, EISA, MCA, ISA)
187 #
188 # CONFIG_PCI is not set
189 CONFIG_ISA_DMA_API=y
190 # CONFIG_SCx200 is not set
192 #
193 # PCCARD (PCMCIA/CardBus) support
194 #
195 # CONFIG_PCCARD is not set
197 #
198 # PCI Hotplug Support
199 #
201 #
202 # Executable file formats
203 #
204 CONFIG_BINFMT_ELF=y
205 # CONFIG_BINFMT_AOUT is not set
206 # CONFIG_BINFMT_MISC is not set
208 #
209 # Networking
210 #
211 CONFIG_NET=y
213 #
214 # Networking options
215 #
216 # CONFIG_NETDEBUG is not set
217 CONFIG_PACKET=y
218 # CONFIG_PACKET_MMAP is not set
219 CONFIG_UNIX=y
220 # CONFIG_NET_KEY is not set
221 CONFIG_INET=y
222 # CONFIG_IP_MULTICAST is not set
223 # CONFIG_IP_ADVANCED_ROUTER is not set
224 CONFIG_IP_FIB_HASH=y
225 CONFIG_IP_PNP=y
226 # CONFIG_IP_PNP_DHCP is not set
227 # CONFIG_IP_PNP_BOOTP is not set
228 # CONFIG_IP_PNP_RARP is not set
229 # CONFIG_NET_IPIP is not set
230 # CONFIG_NET_IPGRE is not set
231 # CONFIG_ARPD is not set
232 # CONFIG_SYN_COOKIES is not set
233 # CONFIG_INET_AH is not set
234 # CONFIG_INET_ESP is not set
235 # CONFIG_INET_IPCOMP is not set
236 # CONFIG_INET_TUNNEL is not set
237 # CONFIG_INET_DIAG is not set
238 # CONFIG_TCP_CONG_ADVANCED is not set
239 CONFIG_TCP_CONG_BIC=y
240 # CONFIG_IPV6 is not set
241 # CONFIG_NETFILTER is not set
243 #
244 # DCCP Configuration (EXPERIMENTAL)
245 #
246 # CONFIG_IP_DCCP is not set
248 #
249 # SCTP Configuration (EXPERIMENTAL)
250 #
251 # CONFIG_IP_SCTP is not set
253 #
254 # TIPC Configuration (EXPERIMENTAL)
255 #
256 # CONFIG_TIPC is not set
257 # CONFIG_ATM is not set
258 # CONFIG_BRIDGE is not set
259 # CONFIG_VLAN_8021Q is not set
260 # CONFIG_DECNET is not set
261 # CONFIG_LLC2 is not set
262 # CONFIG_IPX is not set
263 # CONFIG_ATALK is not set
264 # CONFIG_X25 is not set
265 # CONFIG_LAPB is not set
266 # CONFIG_NET_DIVERT is not set
267 # CONFIG_ECONET is not set
268 # CONFIG_WAN_ROUTER is not set
270 #
271 # QoS and/or fair queueing
272 #
273 # CONFIG_NET_SCHED is not set
275 #
276 # Network testing
277 #
278 # CONFIG_NET_PKTGEN is not set
279 # CONFIG_HAMRADIO is not set
280 # CONFIG_IRDA is not set
281 # CONFIG_BT is not set
282 # CONFIG_IEEE80211 is not set
284 #
285 # Device Drivers
286 #
288 #
289 # Generic Driver Options
290 #
291 CONFIG_STANDALONE=y
292 CONFIG_PREVENT_FIRMWARE_BUILD=y
293 # CONFIG_FW_LOADER is not set
294 # CONFIG_DEBUG_DRIVER is not set
296 #
297 # Connector - unified userspace <-> kernelspace linker
298 #
299 # CONFIG_CONNECTOR is not set
301 #
302 # Memory Technology Devices (MTD)
303 #
304 # CONFIG_MTD is not set
306 #
307 # Parallel port support
308 #
309 # CONFIG_PARPORT is not set
311 #
312 # Plug and Play support
313 #
315 #
316 # Block devices
317 #
318 # CONFIG_BLK_DEV_FD is not set
319 # CONFIG_BLK_DEV_COW_COMMON is not set
320 CONFIG_BLK_DEV_LOOP=m
321 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
322 CONFIG_BLK_DEV_NBD=m
323 CONFIG_BLK_DEV_RAM=y
324 CONFIG_BLK_DEV_RAM_COUNT=16
325 CONFIG_BLK_DEV_RAM_SIZE=4096
326 CONFIG_BLK_DEV_INITRD=y
327 # CONFIG_CDROM_PKTCDVD is not set
328 # CONFIG_ATA_OVER_ETH is not set
330 #
331 # ATA/ATAPI/MFM/RLL support
332 #
333 # CONFIG_IDE is not set
335 #
336 # SCSI device support
337 #
338 # CONFIG_RAID_ATTRS is not set
339 CONFIG_SCSI=m
340 CONFIG_SCSI_PROC_FS=y
342 #
343 # SCSI support type (disk, tape, CD-ROM)
344 #
345 CONFIG_BLK_DEV_SD=m
346 # CONFIG_CHR_DEV_ST is not set
347 # CONFIG_CHR_DEV_OSST is not set
348 # CONFIG_BLK_DEV_SR is not set
349 # CONFIG_CHR_DEV_SG is not set
350 # CONFIG_CHR_DEV_SCH is not set
352 #
353 # Some SCSI devices (e.g. CD jukebox) support multiple LUNs
354 #
355 # CONFIG_SCSI_MULTI_LUN is not set
356 # CONFIG_SCSI_CONSTANTS is not set
357 # CONFIG_SCSI_LOGGING is not set
359 #
360 # SCSI Transport Attributes
361 #
362 # CONFIG_SCSI_SPI_ATTRS is not set
363 # CONFIG_SCSI_FC_ATTRS is not set
364 # CONFIG_SCSI_ISCSI_ATTRS is not set
365 # CONFIG_SCSI_SAS_ATTRS is not set
367 #
368 # SCSI low-level drivers
369 #
370 # CONFIG_ISCSI_TCP is not set
371 # CONFIG_SCSI_SATA is not set
372 # CONFIG_SCSI_DEBUG is not set
374 #
375 # Multi-device support (RAID and LVM)
376 #
377 # CONFIG_MD is not set
379 #
380 # Fusion MPT device support
381 #
382 # CONFIG_FUSION is not set
384 #
385 # IEEE 1394 (FireWire) support
386 #
388 #
389 # I2O device support
390 #
392 #
393 # Network device support
394 #
395 CONFIG_NETDEVICES=y
396 # CONFIG_DUMMY is not set
397 # CONFIG_BONDING is not set
398 # CONFIG_EQUALIZER is not set
399 # CONFIG_TUN is not set
401 #
402 # PHY device support
403 #
405 #
406 # Ethernet (10 or 100Mbit)
407 #
408 # CONFIG_NET_ETHERNET is not set
410 #
411 # Ethernet (1000 Mbit)
412 #
414 #
415 # Ethernet (10000 Mbit)
416 #
418 #
419 # Token Ring devices
420 #
422 #
423 # Wireless LAN (non-hamradio)
424 #
425 # CONFIG_NET_RADIO is not set
427 #
428 # Wan interfaces
429 #
430 # CONFIG_WAN is not set
431 # CONFIG_PPP is not set
432 # CONFIG_SLIP is not set
433 # CONFIG_SHAPER is not set
434 # CONFIG_NETCONSOLE is not set
435 # CONFIG_NETPOLL is not set
436 # CONFIG_NET_POLL_CONTROLLER is not set
438 #
439 # ISDN subsystem
440 #
441 # CONFIG_ISDN is not set
443 #
444 # Telephony Support
445 #
446 # CONFIG_PHONE is not set
448 #
449 # Input device support
450 #
451 CONFIG_INPUT=y
453 #
454 # Userland interfaces
455 #
456 CONFIG_INPUT_MOUSEDEV=y
457 # CONFIG_INPUT_MOUSEDEV_PSAUX is not set
458 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
459 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
460 # CONFIG_INPUT_JOYDEV is not set
461 # CONFIG_INPUT_TSDEV is not set
462 # CONFIG_INPUT_EVDEV is not set
463 # CONFIG_INPUT_EVBUG is not set
465 #
466 # Input Device Drivers
467 #
468 CONFIG_INPUT_KEYBOARD=y
469 # CONFIG_KEYBOARD_ATKBD is not set
470 # CONFIG_KEYBOARD_SUNKBD is not set
471 # CONFIG_KEYBOARD_LKKBD is not set
472 # CONFIG_KEYBOARD_XTKBD is not set
473 # CONFIG_KEYBOARD_NEWTON is not set
474 # CONFIG_INPUT_MOUSE is not set
475 # CONFIG_INPUT_JOYSTICK is not set
476 # CONFIG_INPUT_TOUCHSCREEN is not set
477 # CONFIG_INPUT_MISC is not set
479 #
480 # Hardware I/O ports
481 #
482 CONFIG_SERIO=y
483 CONFIG_SERIO_I8042=y
484 CONFIG_SERIO_SERPORT=y
485 # CONFIG_SERIO_CT82C710 is not set
486 # CONFIG_SERIO_RAW is not set
487 # CONFIG_GAMEPORT is not set
489 #
490 # Character devices
491 #
492 CONFIG_VT=y
493 CONFIG_VT_CONSOLE=y
494 CONFIG_HW_CONSOLE=y
495 # CONFIG_SERIAL_NONSTANDARD is not set
497 #
498 # Serial drivers
499 #
501 #
502 # Non-8250 serial port support
503 #
504 CONFIG_UNIX98_PTYS=y
505 CONFIG_LEGACY_PTYS=y
506 CONFIG_LEGACY_PTY_COUNT=256
508 #
509 # IPMI
510 #
511 # CONFIG_IPMI_HANDLER is not set
513 #
514 # Watchdog Cards
515 #
516 # CONFIG_WATCHDOG is not set
517 # CONFIG_NVRAM is not set
518 # CONFIG_RTC is not set
519 # CONFIG_GEN_RTC is not set
520 # CONFIG_DTLK is not set
521 # CONFIG_R3964 is not set
523 #
524 # Ftape, the floppy tape device driver
525 #
526 # CONFIG_AGP is not set
527 # CONFIG_MWAVE is not set
528 # CONFIG_CS5535_GPIO is not set
529 # CONFIG_RAW_DRIVER is not set
530 # CONFIG_HANGCHECK_TIMER is not set
532 #
533 # TPM devices
534 #
535 # CONFIG_TCG_TPM is not set
536 # CONFIG_TELCLOCK is not set
538 #
539 # I2C support
540 #
541 # CONFIG_I2C is not set
543 #
544 # SPI support
545 #
546 # CONFIG_SPI is not set
547 # CONFIG_SPI_MASTER is not set
549 #
550 # Dallas's 1-wire bus
551 #
552 # CONFIG_W1 is not set
554 #
555 # Hardware Monitoring support
556 #
557 # CONFIG_HWMON is not set
558 # CONFIG_HWMON_VID is not set
560 #
561 # Misc devices
562 #
564 #
565 # Multimedia Capabilities Port drivers
566 #
568 #
569 # Multimedia devices
570 #
571 # CONFIG_VIDEO_DEV is not set
573 #
574 # Digital Video Broadcasting Devices
575 #
576 # CONFIG_DVB is not set
578 #
579 # Graphics support
580 #
581 # CONFIG_FB is not set
582 # CONFIG_VIDEO_SELECT is not set
584 #
585 # Console display driver support
586 #
587 CONFIG_VGA_CONSOLE=y
588 CONFIG_DUMMY_CONSOLE=y
590 #
591 # Sound
592 #
593 # CONFIG_SOUND is not set
595 #
596 # USB support
597 #
598 # CONFIG_USB_ARCH_HAS_HCD is not set
599 # CONFIG_USB_ARCH_HAS_OHCI is not set
601 #
602 # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support'
603 #
605 #
606 # USB Gadget Support
607 #
608 # CONFIG_USB_GADGET is not set
610 #
611 # MMC/SD Card support
612 #
613 # CONFIG_MMC is not set
615 #
616 # InfiniBand support
617 #
619 #
620 # EDAC - error detection and reporting (RAS) (EXPERIMENTAL)
621 #
622 # CONFIG_EDAC is not set
624 #
625 # File systems
626 #
627 CONFIG_EXT2_FS=y
628 # CONFIG_EXT2_FS_XATTR is not set
629 # CONFIG_EXT2_FS_XIP is not set
630 CONFIG_EXT3_FS=y
631 CONFIG_EXT3_FS_XATTR=y
632 # CONFIG_EXT3_FS_POSIX_ACL is not set
633 # CONFIG_EXT3_FS_SECURITY is not set
634 CONFIG_JBD=y
635 # CONFIG_JBD_DEBUG is not set
636 CONFIG_FS_MBCACHE=y
637 CONFIG_REISERFS_FS=y
638 # CONFIG_REISERFS_CHECK is not set
639 # CONFIG_REISERFS_PROC_INFO is not set
640 # CONFIG_REISERFS_FS_XATTR is not set
641 # CONFIG_JFS_FS is not set
642 # CONFIG_FS_POSIX_ACL is not set
643 # CONFIG_XFS_FS is not set
644 # CONFIG_OCFS2_FS is not set
645 # CONFIG_MINIX_FS is not set
646 # CONFIG_ROMFS_FS is not set
647 CONFIG_INOTIFY=y
648 # CONFIG_QUOTA is not set
649 CONFIG_DNOTIFY=y
650 CONFIG_AUTOFS_FS=y
651 CONFIG_AUTOFS4_FS=y
652 # CONFIG_FUSE_FS is not set
654 #
655 # CD-ROM/DVD Filesystems
656 #
657 CONFIG_ISO9660_FS=y
658 CONFIG_JOLIET=y
659 CONFIG_ZISOFS=y
660 CONFIG_ZISOFS_FS=y
661 # CONFIG_UDF_FS is not set
663 #
664 # DOS/FAT/NT Filesystems
665 #
666 CONFIG_FAT_FS=m
667 CONFIG_MSDOS_FS=m
668 CONFIG_VFAT_FS=m
669 CONFIG_FAT_DEFAULT_CODEPAGE=437
670 CONFIG_FAT_DEFAULT_IOCHARSET="iso8859-1"
671 # CONFIG_NTFS_FS is not set
673 #
674 # Pseudo filesystems
675 #
676 CONFIG_PROC_FS=y
677 CONFIG_PROC_KCORE=y
678 CONFIG_SYSFS=y
679 CONFIG_TMPFS=y
680 # CONFIG_HUGETLB_PAGE is not set
681 CONFIG_RAMFS=y
682 # CONFIG_RELAYFS_FS is not set
683 # CONFIG_CONFIGFS_FS is not set
685 #
686 # Miscellaneous filesystems
687 #
688 # CONFIG_ADFS_FS is not set
689 # CONFIG_AFFS_FS is not set
690 # CONFIG_HFS_FS is not set
691 # CONFIG_HFSPLUS_FS is not set
692 # CONFIG_BEFS_FS is not set
693 # CONFIG_BFS_FS is not set
694 # CONFIG_EFS_FS is not set
695 CONFIG_CRAMFS=y
696 # CONFIG_VXFS_FS is not set
697 # CONFIG_HPFS_FS is not set
698 # CONFIG_QNX4FS_FS is not set
699 # CONFIG_SYSV_FS is not set
700 # CONFIG_UFS_FS is not set
702 #
703 # Network File Systems
704 #
705 CONFIG_NFS_FS=y
706 CONFIG_NFS_V3=y
707 # CONFIG_NFS_V3_ACL is not set
708 # CONFIG_NFS_V4 is not set
709 # CONFIG_NFS_DIRECTIO is not set
710 # CONFIG_NFSD is not set
711 CONFIG_ROOT_NFS=y
712 CONFIG_LOCKD=y
713 CONFIG_LOCKD_V4=y
714 CONFIG_NFS_COMMON=y
715 CONFIG_SUNRPC=y
716 # CONFIG_RPCSEC_GSS_KRB5 is not set
717 # CONFIG_RPCSEC_GSS_SPKM3 is not set
718 # CONFIG_SMB_FS is not set
719 # CONFIG_CIFS is not set
720 # CONFIG_NCP_FS is not set
721 # CONFIG_CODA_FS is not set
722 # CONFIG_AFS_FS is not set
723 # CONFIG_9P_FS is not set
725 #
726 # Partition Types
727 #
728 # CONFIG_PARTITION_ADVANCED is not set
729 CONFIG_MSDOS_PARTITION=y
731 #
732 # Native Language Support
733 #
734 CONFIG_NLS=y
735 CONFIG_NLS_DEFAULT="iso8859-1"
736 CONFIG_NLS_CODEPAGE_437=y
737 # CONFIG_NLS_CODEPAGE_737 is not set
738 # CONFIG_NLS_CODEPAGE_775 is not set
739 # CONFIG_NLS_CODEPAGE_850 is not set
740 # CONFIG_NLS_CODEPAGE_852 is not set
741 # CONFIG_NLS_CODEPAGE_855 is not set
742 # CONFIG_NLS_CODEPAGE_857 is not set
743 # CONFIG_NLS_CODEPAGE_860 is not set
744 # CONFIG_NLS_CODEPAGE_861 is not set
745 # CONFIG_NLS_CODEPAGE_862 is not set
746 # CONFIG_NLS_CODEPAGE_863 is not set
747 # CONFIG_NLS_CODEPAGE_864 is not set
748 # CONFIG_NLS_CODEPAGE_865 is not set
749 # CONFIG_NLS_CODEPAGE_866 is not set
750 # CONFIG_NLS_CODEPAGE_869 is not set
751 # CONFIG_NLS_CODEPAGE_936 is not set
752 # CONFIG_NLS_CODEPAGE_950 is not set
753 # CONFIG_NLS_CODEPAGE_932 is not set
754 # CONFIG_NLS_CODEPAGE_949 is not set
755 # CONFIG_NLS_CODEPAGE_874 is not set
756 # CONFIG_NLS_ISO8859_8 is not set
757 # CONFIG_NLS_CODEPAGE_1250 is not set
758 # CONFIG_NLS_CODEPAGE_1251 is not set
759 # CONFIG_NLS_ASCII is not set
760 CONFIG_NLS_ISO8859_1=y
761 # CONFIG_NLS_ISO8859_2 is not set
762 # CONFIG_NLS_ISO8859_3 is not set
763 # CONFIG_NLS_ISO8859_4 is not set
764 # CONFIG_NLS_ISO8859_5 is not set
765 # CONFIG_NLS_ISO8859_6 is not set
766 # CONFIG_NLS_ISO8859_7 is not set
767 # CONFIG_NLS_ISO8859_9 is not set
768 # CONFIG_NLS_ISO8859_13 is not set
769 # CONFIG_NLS_ISO8859_14 is not set
770 # CONFIG_NLS_ISO8859_15 is not set
771 # CONFIG_NLS_KOI8_R is not set
772 # CONFIG_NLS_KOI8_U is not set
773 # CONFIG_NLS_UTF8 is not set
775 #
776 # Instrumentation Support
777 #
778 # CONFIG_PROFILING is not set
779 # CONFIG_KPROBES is not set
781 #
782 # Kernel hacking
783 #
784 # CONFIG_PRINTK_TIME is not set
785 CONFIG_MAGIC_SYSRQ=y
786 CONFIG_DEBUG_KERNEL=y
787 CONFIG_LOG_BUF_SHIFT=14
788 CONFIG_DETECT_SOFTLOCKUP=y
789 # CONFIG_SCHEDSTATS is not set
790 # CONFIG_DEBUG_SLAB is not set
791 # CONFIG_DEBUG_MUTEXES is not set
792 # CONFIG_DEBUG_SPINLOCK is not set
793 # CONFIG_DEBUG_SPINLOCK_SLEEP is not set
794 # CONFIG_DEBUG_KOBJECT is not set
795 # CONFIG_DEBUG_HIGHMEM is not set
796 CONFIG_DEBUG_BUGVERBOSE=y
797 # CONFIG_DEBUG_INFO is not set
798 # CONFIG_DEBUG_FS is not set
799 # CONFIG_DEBUG_VM is not set
800 CONFIG_FRAME_POINTER=y
801 CONFIG_FORCED_INLINING=y
802 # CONFIG_RCU_TORTURE_TEST is not set
803 CONFIG_EARLY_PRINTK=y
804 # CONFIG_DEBUG_STACKOVERFLOW is not set
805 # CONFIG_DEBUG_STACK_USAGE is not set
806 # CONFIG_DEBUG_PAGEALLOC is not set
807 # CONFIG_DEBUG_RODATA is not set
808 # CONFIG_4KSTACKS is not set
810 #
811 # Security options
812 #
813 # CONFIG_KEYS is not set
814 # CONFIG_SECURITY is not set
816 #
817 # Cryptographic options
818 #
819 CONFIG_CRYPTO=y
820 # CONFIG_CRYPTO_HMAC is not set
821 # CONFIG_CRYPTO_NULL is not set
822 # CONFIG_CRYPTO_MD4 is not set
823 CONFIG_CRYPTO_MD5=m
824 # CONFIG_CRYPTO_SHA1 is not set
825 # CONFIG_CRYPTO_SHA256 is not set
826 # CONFIG_CRYPTO_SHA512 is not set
827 # CONFIG_CRYPTO_WP512 is not set
828 # CONFIG_CRYPTO_TGR192 is not set
829 # CONFIG_CRYPTO_DES is not set
830 # CONFIG_CRYPTO_BLOWFISH is not set
831 # CONFIG_CRYPTO_TWOFISH is not set
832 # CONFIG_CRYPTO_SERPENT is not set
833 # CONFIG_CRYPTO_AES is not set
834 # CONFIG_CRYPTO_AES_586 is not set
835 # CONFIG_CRYPTO_CAST5 is not set
836 # CONFIG_CRYPTO_CAST6 is not set
837 # CONFIG_CRYPTO_TEA is not set
838 # CONFIG_CRYPTO_ARC4 is not set
839 # CONFIG_CRYPTO_KHAZAD is not set
840 # CONFIG_CRYPTO_ANUBIS is not set
841 # CONFIG_CRYPTO_DEFLATE is not set
842 # CONFIG_CRYPTO_MICHAEL_MIC is not set
843 CONFIG_CRYPTO_CRC32C=m
844 # CONFIG_CRYPTO_TEST is not set
846 #
847 # Hardware crypto devices
848 #
849 # CONFIG_CRYPTO_DEV_PADLOCK is not set
850 CONFIG_XEN=y
851 CONFIG_XEN_INTERFACE_VERSION=0x00030202
853 #
854 # XEN
855 #
856 # CONFIG_XEN_PRIVILEGED_GUEST is not set
857 CONFIG_XEN_UNPRIVILEGED_GUEST=y
858 # CONFIG_XEN_BACKEND is not set
859 CONFIG_XEN_BLKDEV_FRONTEND=y
860 CONFIG_XEN_NETDEV_FRONTEND=y
861 CONFIG_XEN_SCRUB_PAGES=y
862 CONFIG_XEN_DISABLE_SERIAL=y
863 CONFIG_XEN_SYSFS=y
864 CONFIG_XEN_COMPAT_030002_AND_LATER=y
865 # CONFIG_XEN_COMPAT_LATEST_ONLY is not set
866 CONFIG_XEN_COMPAT_030002=y
867 CONFIG_HAVE_ARCH_ALLOC_SKB=y
868 CONFIG_HAVE_ARCH_DEV_ALLOC_SKB=y
869 CONFIG_NO_IDLE_HZ=y
871 #
872 # Library routines
873 #
874 # CONFIG_CRC_CCITT is not set
875 # CONFIG_CRC16 is not set
876 # CONFIG_CRC32 is not set
877 CONFIG_LIBCRC32C=m
878 CONFIG_ZLIB_INFLATE=y
879 CONFIG_GENERIC_HARDIRQS=y
880 CONFIG_GENERIC_IRQ_PROBE=y
881 CONFIG_GENERIC_PENDING_IRQ=y
882 CONFIG_X86_SMP=y
883 CONFIG_X86_BIOS_REBOOT=y
884 CONFIG_X86_TRAMPOLINE=y
885 CONFIG_X86_NO_TSS=y
886 CONFIG_X86_NO_IDT=y
887 CONFIG_KTIME_SCALAR=y