ia64/xen-unstable

view buildconfigs/linux-defconfig_xenU_x86_32 @ 8741:da6297243495

There is a known "xm console" issue related with VMX. When "serial" is
enabled in script and no once uses "xm console" to read the console,
VMX boting will hang due to the buffer is full.
I added a "select" before "write". If it could not be written,
unix_write will Return immediately and it will not block the VMX
booting. With this fix, we can make VMX's serial enable by default.

Signed-off-by: Yu Ping <ping.y.yu@intel.com>

Modified to patch xmexample.hvm. Put through xenrt on a VMX box.

Signed-off-by: James Bulpin <james@xensource.com>
author jrb44@plym.cl.cam.ac.uk
date Thu Feb 02 19:15:22 2006 +0100 (2006-02-02)
parents 5a63f675107c
children 2494b4e00cbb
line source
1 #
2 # Automatically generated make config: don't edit
3 # Linux kernel version: 2.6.15-xenU
4 # Wed Feb 1 17:28:35 2006
5 #
6 CONFIG_X86_32=y
7 CONFIG_SEMAPHORE_SLEEPERS=y
8 CONFIG_X86=y
9 CONFIG_MMU=y
10 CONFIG_UID16=y
11 CONFIG_GENERIC_ISA_DMA=y
12 CONFIG_GENERIC_IOMAP=y
13 CONFIG_ARCH_MAY_HAVE_PC_FDC=y
15 #
16 # Code maturity level options
17 #
18 CONFIG_EXPERIMENTAL=y
19 CONFIG_CLEAN_COMPILE=y
20 CONFIG_LOCK_KERNEL=y
21 CONFIG_INIT_ENV_ARG_LIMIT=32
23 #
24 # General setup
25 #
26 CONFIG_LOCALVERSION=""
27 # CONFIG_LOCALVERSION_AUTO is not set
28 CONFIG_SWAP=y
29 CONFIG_SYSVIPC=y
30 # CONFIG_POSIX_MQUEUE is not set
31 # CONFIG_BSD_PROCESS_ACCT is not set
32 CONFIG_SYSCTL=y
33 # CONFIG_AUDIT is not set
34 CONFIG_HOTPLUG=y
35 CONFIG_KOBJECT_UEVENT=y
36 # CONFIG_IKCONFIG is not set
37 # CONFIG_CPUSETS is not set
38 CONFIG_INITRAMFS_SOURCE=""
39 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
40 # CONFIG_EMBEDDED is not set
41 CONFIG_KALLSYMS=y
42 # CONFIG_KALLSYMS_ALL is not set
43 # CONFIG_KALLSYMS_EXTRA_PASS is not set
44 CONFIG_PRINTK=y
45 CONFIG_BUG=y
46 CONFIG_BASE_FULL=y
47 CONFIG_FUTEX=y
48 CONFIG_EPOLL=y
49 CONFIG_SHMEM=y
50 CONFIG_CC_ALIGN_FUNCTIONS=0
51 CONFIG_CC_ALIGN_LABELS=0
52 CONFIG_CC_ALIGN_LOOPS=0
53 CONFIG_CC_ALIGN_JUMPS=0
54 # CONFIG_TINY_SHMEM is not set
55 CONFIG_BASE_SMALL=0
57 #
58 # Loadable module support
59 #
60 CONFIG_MODULES=y
61 CONFIG_MODULE_UNLOAD=y
62 # CONFIG_MODULE_FORCE_UNLOAD is not set
63 CONFIG_OBSOLETE_MODPARM=y
64 # CONFIG_MODVERSIONS is not set
65 # CONFIG_MODULE_SRCVERSION_ALL is not set
66 CONFIG_KMOD=y
67 CONFIG_STOP_MACHINE=y
69 #
70 # Block layer
71 #
72 # CONFIG_LBD is not set
74 #
75 # IO Schedulers
76 #
77 CONFIG_IOSCHED_NOOP=y
78 CONFIG_IOSCHED_AS=y
79 CONFIG_IOSCHED_DEADLINE=y
80 CONFIG_IOSCHED_CFQ=y
81 CONFIG_DEFAULT_AS=y
82 # CONFIG_DEFAULT_DEADLINE is not set
83 # CONFIG_DEFAULT_CFQ is not set
84 # CONFIG_DEFAULT_NOOP is not set
85 CONFIG_DEFAULT_IOSCHED="anticipatory"
87 #
88 # Processor type and features
89 #
90 # CONFIG_X86_PC is not set
91 CONFIG_X86_XEN=y
92 # CONFIG_X86_ELAN is not set
93 # CONFIG_X86_VOYAGER is not set
94 # CONFIG_X86_NUMAQ is not set
95 # CONFIG_X86_SUMMIT is not set
96 # CONFIG_X86_BIGSMP is not set
97 # CONFIG_X86_VISWS is not set
98 # CONFIG_X86_GENERICARCH is not set
99 # CONFIG_X86_ES7000 is not set
100 # CONFIG_M386 is not set
101 # CONFIG_M486 is not set
102 # CONFIG_M586 is not set
103 # CONFIG_M586TSC is not set
104 # CONFIG_M586MMX is not set
105 CONFIG_M686=y
106 # CONFIG_MPENTIUMII is not set
107 # CONFIG_MPENTIUMIII is not set
108 # CONFIG_MPENTIUMM is not set
109 # CONFIG_MPENTIUM4 is not set
110 # CONFIG_MK6 is not set
111 # CONFIG_MK7 is not set
112 # CONFIG_MK8 is not set
113 # CONFIG_MCRUSOE is not set
114 # CONFIG_MEFFICEON is not set
115 # CONFIG_MWINCHIPC6 is not set
116 # CONFIG_MWINCHIP2 is not set
117 # CONFIG_MWINCHIP3D is not set
118 # CONFIG_MGEODEGX1 is not set
119 # CONFIG_MCYRIXIII is not set
120 # CONFIG_MVIAC3_2 is not set
121 # CONFIG_X86_GENERIC is not set
122 CONFIG_X86_CMPXCHG=y
123 CONFIG_X86_XADD=y
124 CONFIG_X86_L1_CACHE_SHIFT=5
125 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
126 CONFIG_GENERIC_CALIBRATE_DELAY=y
127 CONFIG_X86_PPRO_FENCE=y
128 CONFIG_X86_WP_WORKS_OK=y
129 CONFIG_X86_INVLPG=y
130 CONFIG_X86_BSWAP=y
131 CONFIG_X86_POPAD_OK=y
132 CONFIG_X86_CMPXCHG64=y
133 CONFIG_X86_GOOD_APIC=y
134 CONFIG_X86_USE_PPRO_CHECKSUM=y
135 CONFIG_X86_TSC=y
136 CONFIG_SMP=y
137 CONFIG_SMP_ALTERNATIVES=y
138 CONFIG_NR_CPUS=8
139 CONFIG_PREEMPT_NONE=y
140 # CONFIG_PREEMPT_VOLUNTARY is not set
141 # CONFIG_PREEMPT is not set
142 CONFIG_PREEMPT_BKL=y
143 # CONFIG_TOSHIBA is not set
144 # CONFIG_I8K is not set
145 # CONFIG_X86_REBOOTFIXUPS is not set
146 CONFIG_X86_CPUID=y
147 # CONFIG_SWIOTLB is not set
149 #
150 # Firmware Drivers
151 #
152 # CONFIG_DELL_RBU is not set
153 # CONFIG_DCDBAS is not set
154 # CONFIG_NOHIGHMEM is not set
155 # CONFIG_HIGHMEM4G is not set
156 CONFIG_HIGHMEM64G=y
157 CONFIG_HIGHMEM=y
158 CONFIG_X86_PAE=y
159 CONFIG_SELECT_MEMORY_MODEL=y
160 CONFIG_FLATMEM_MANUAL=y
161 # CONFIG_DISCONTIGMEM_MANUAL is not set
162 # CONFIG_SPARSEMEM_MANUAL is not set
163 CONFIG_FLATMEM=y
164 CONFIG_FLAT_NODE_MEM_MAP=y
165 # CONFIG_SPARSEMEM_STATIC is not set
166 CONFIG_SPLIT_PTLOCK_CPUS=4096
167 # CONFIG_REGPARM is not set
168 CONFIG_SECCOMP=y
169 # CONFIG_HZ_100 is not set
170 CONFIG_HZ_250=y
171 # CONFIG_HZ_1000 is not set
172 CONFIG_HZ=250
173 CONFIG_PHYSICAL_START=0x100000
174 CONFIG_HOTPLUG_CPU=y
176 #
177 # Executable file formats
178 #
179 CONFIG_BINFMT_ELF=y
180 # CONFIG_BINFMT_AOUT is not set
181 # CONFIG_BINFMT_MISC is not set
183 #
184 # Networking
185 #
186 CONFIG_NET=y
188 #
189 # Networking options
190 #
191 CONFIG_PACKET=y
192 # CONFIG_PACKET_MMAP is not set
193 CONFIG_UNIX=y
194 # CONFIG_NET_KEY is not set
195 CONFIG_INET=y
196 # CONFIG_IP_MULTICAST is not set
197 # CONFIG_IP_ADVANCED_ROUTER is not set
198 CONFIG_IP_FIB_HASH=y
199 CONFIG_IP_PNP=y
200 # CONFIG_IP_PNP_DHCP is not set
201 # CONFIG_IP_PNP_BOOTP is not set
202 # CONFIG_IP_PNP_RARP is not set
203 # CONFIG_NET_IPIP is not set
204 # CONFIG_NET_IPGRE is not set
205 # CONFIG_ARPD is not set
206 # CONFIG_SYN_COOKIES is not set
207 # CONFIG_INET_AH is not set
208 # CONFIG_INET_ESP is not set
209 # CONFIG_INET_IPCOMP is not set
210 # CONFIG_INET_TUNNEL is not set
211 # CONFIG_INET_DIAG is not set
212 # CONFIG_TCP_CONG_ADVANCED is not set
213 CONFIG_TCP_CONG_BIC=y
214 # CONFIG_IPV6 is not set
215 # CONFIG_NETFILTER is not set
217 #
218 # DCCP Configuration (EXPERIMENTAL)
219 #
220 # CONFIG_IP_DCCP is not set
222 #
223 # SCTP Configuration (EXPERIMENTAL)
224 #
225 # CONFIG_IP_SCTP is not set
226 # CONFIG_ATM is not set
227 # CONFIG_BRIDGE is not set
228 # CONFIG_VLAN_8021Q is not set
229 # CONFIG_DECNET is not set
230 # CONFIG_LLC2 is not set
231 # CONFIG_IPX is not set
232 # CONFIG_ATALK is not set
233 # CONFIG_X25 is not set
234 # CONFIG_LAPB is not set
235 # CONFIG_NET_DIVERT is not set
236 # CONFIG_ECONET is not set
237 # CONFIG_WAN_ROUTER is not set
239 #
240 # QoS and/or fair queueing
241 #
242 # CONFIG_NET_SCHED is not set
244 #
245 # Network testing
246 #
247 # CONFIG_NET_PKTGEN is not set
248 # CONFIG_HAMRADIO is not set
249 # CONFIG_IRDA is not set
250 # CONFIG_BT is not set
251 # CONFIG_IEEE80211 is not set
253 #
254 # Device Drivers
255 #
257 #
258 # Generic Driver Options
259 #
260 CONFIG_STANDALONE=y
261 CONFIG_PREVENT_FIRMWARE_BUILD=y
262 # CONFIG_FW_LOADER is not set
263 # CONFIG_DEBUG_DRIVER is not set
265 #
266 # Block devices
267 #
268 # CONFIG_BLK_DEV_FD is not set
269 # CONFIG_BLK_DEV_COW_COMMON is not set
270 CONFIG_BLK_DEV_LOOP=m
271 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
272 CONFIG_BLK_DEV_NBD=m
273 CONFIG_BLK_DEV_RAM=y
274 CONFIG_BLK_DEV_RAM_COUNT=16
275 CONFIG_BLK_DEV_RAM_SIZE=4096
276 CONFIG_BLK_DEV_INITRD=y
277 # CONFIG_CDROM_PKTCDVD is not set
278 # CONFIG_ATA_OVER_ETH is not set
280 #
281 # SCSI device support
282 #
283 # CONFIG_RAID_ATTRS is not set
284 CONFIG_SCSI=m
285 CONFIG_SCSI_PROC_FS=y
287 #
288 # SCSI support type (disk, tape, CD-ROM)
289 #
290 CONFIG_BLK_DEV_SD=m
291 # CONFIG_CHR_DEV_ST is not set
292 # CONFIG_CHR_DEV_OSST is not set
293 # CONFIG_BLK_DEV_SR is not set
294 # CONFIG_CHR_DEV_SG is not set
295 # CONFIG_CHR_DEV_SCH is not set
297 #
298 # Some SCSI devices (e.g. CD jukebox) support multiple LUNs
299 #
300 # CONFIG_SCSI_MULTI_LUN is not set
301 # CONFIG_SCSI_CONSTANTS is not set
302 # CONFIG_SCSI_LOGGING is not set
304 #
305 # SCSI Transport Attributes
306 #
307 # CONFIG_SCSI_SPI_ATTRS is not set
308 # CONFIG_SCSI_FC_ATTRS is not set
309 # CONFIG_SCSI_ISCSI_ATTRS is not set
310 # CONFIG_SCSI_SAS_ATTRS is not set
312 #
313 # SCSI low-level drivers
314 #
315 # CONFIG_ISCSI_TCP is not set
316 # CONFIG_SCSI_SATA is not set
317 # CONFIG_SCSI_DEBUG is not set
319 #
320 # Multi-device support (RAID and LVM)
321 #
322 # CONFIG_MD is not set
324 #
325 # Network device support
326 #
327 CONFIG_NETDEVICES=y
328 # CONFIG_DUMMY is not set
329 # CONFIG_BONDING is not set
330 # CONFIG_EQUALIZER is not set
331 # CONFIG_TUN is not set
333 #
334 # PHY device support
335 #
337 #
338 # Ethernet (10 or 100Mbit)
339 #
340 # CONFIG_NET_ETHERNET is not set
342 #
343 # Ethernet (1000 Mbit)
344 #
346 #
347 # Ethernet (10000 Mbit)
348 #
350 #
351 # Token Ring devices
352 #
354 #
355 # Wireless LAN (non-hamradio)
356 #
357 # CONFIG_NET_RADIO is not set
359 #
360 # Wan interfaces
361 #
362 # CONFIG_WAN is not set
363 # CONFIG_PPP is not set
364 # CONFIG_SLIP is not set
365 # CONFIG_SHAPER is not set
366 # CONFIG_NETCONSOLE is not set
367 # CONFIG_NETPOLL is not set
368 # CONFIG_NET_POLL_CONTROLLER is not set
370 #
371 # SN Devices
372 #
374 #
375 # File systems
376 #
377 CONFIG_EXT2_FS=y
378 # CONFIG_EXT2_FS_XATTR is not set
379 # CONFIG_EXT2_FS_XIP is not set
380 CONFIG_EXT3_FS=y
381 CONFIG_EXT3_FS_XATTR=y
382 # CONFIG_EXT3_FS_POSIX_ACL is not set
383 # CONFIG_EXT3_FS_SECURITY is not set
384 CONFIG_JBD=y
385 # CONFIG_JBD_DEBUG is not set
386 CONFIG_FS_MBCACHE=y
387 CONFIG_REISERFS_FS=y
388 # CONFIG_REISERFS_CHECK is not set
389 # CONFIG_REISERFS_PROC_INFO is not set
390 # CONFIG_REISERFS_FS_XATTR is not set
391 # CONFIG_JFS_FS is not set
392 # CONFIG_FS_POSIX_ACL is not set
393 # CONFIG_XFS_FS is not set
394 # CONFIG_MINIX_FS is not set
395 # CONFIG_ROMFS_FS is not set
396 CONFIG_INOTIFY=y
397 # CONFIG_QUOTA is not set
398 CONFIG_DNOTIFY=y
399 CONFIG_AUTOFS_FS=y
400 CONFIG_AUTOFS4_FS=y
401 # CONFIG_FUSE_FS is not set
403 #
404 # CD-ROM/DVD Filesystems
405 #
406 CONFIG_ISO9660_FS=y
407 CONFIG_JOLIET=y
408 CONFIG_ZISOFS=y
409 CONFIG_ZISOFS_FS=y
410 # CONFIG_UDF_FS is not set
412 #
413 # DOS/FAT/NT Filesystems
414 #
415 CONFIG_FAT_FS=m
416 CONFIG_MSDOS_FS=m
417 CONFIG_VFAT_FS=m
418 CONFIG_FAT_DEFAULT_CODEPAGE=437
419 CONFIG_FAT_DEFAULT_IOCHARSET="iso8859-1"
420 # CONFIG_NTFS_FS is not set
422 #
423 # Pseudo filesystems
424 #
425 CONFIG_PROC_FS=y
426 CONFIG_PROC_KCORE=y
427 CONFIG_SYSFS=y
428 CONFIG_TMPFS=y
429 # CONFIG_HUGETLB_PAGE is not set
430 CONFIG_RAMFS=y
431 # CONFIG_RELAYFS_FS is not set
433 #
434 # Miscellaneous filesystems
435 #
436 # CONFIG_ADFS_FS is not set
437 # CONFIG_AFFS_FS is not set
438 # CONFIG_HFS_FS is not set
439 # CONFIG_HFSPLUS_FS is not set
440 # CONFIG_BEFS_FS is not set
441 # CONFIG_BFS_FS is not set
442 # CONFIG_EFS_FS is not set
443 CONFIG_CRAMFS=y
444 # CONFIG_VXFS_FS is not set
445 # CONFIG_HPFS_FS is not set
446 # CONFIG_QNX4FS_FS is not set
447 # CONFIG_SYSV_FS is not set
448 # CONFIG_UFS_FS is not set
450 #
451 # Network File Systems
452 #
453 CONFIG_NFS_FS=y
454 CONFIG_NFS_V3=y
455 # CONFIG_NFS_V3_ACL is not set
456 # CONFIG_NFS_V4 is not set
457 # CONFIG_NFS_DIRECTIO is not set
458 # CONFIG_NFSD is not set
459 CONFIG_ROOT_NFS=y
460 CONFIG_LOCKD=y
461 CONFIG_LOCKD_V4=y
462 CONFIG_NFS_COMMON=y
463 CONFIG_SUNRPC=y
464 # CONFIG_RPCSEC_GSS_KRB5 is not set
465 # CONFIG_RPCSEC_GSS_SPKM3 is not set
466 # CONFIG_SMB_FS is not set
467 # CONFIG_CIFS is not set
468 # CONFIG_NCP_FS is not set
469 # CONFIG_CODA_FS is not set
470 # CONFIG_AFS_FS is not set
471 # CONFIG_9P_FS is not set
473 #
474 # Partition Types
475 #
476 # CONFIG_PARTITION_ADVANCED is not set
477 CONFIG_MSDOS_PARTITION=y
479 #
480 # Native Language Support
481 #
482 CONFIG_NLS=y
483 CONFIG_NLS_DEFAULT="iso8859-1"
484 CONFIG_NLS_CODEPAGE_437=y
485 # CONFIG_NLS_CODEPAGE_737 is not set
486 # CONFIG_NLS_CODEPAGE_775 is not set
487 # CONFIG_NLS_CODEPAGE_850 is not set
488 # CONFIG_NLS_CODEPAGE_852 is not set
489 # CONFIG_NLS_CODEPAGE_855 is not set
490 # CONFIG_NLS_CODEPAGE_857 is not set
491 # CONFIG_NLS_CODEPAGE_860 is not set
492 # CONFIG_NLS_CODEPAGE_861 is not set
493 # CONFIG_NLS_CODEPAGE_862 is not set
494 # CONFIG_NLS_CODEPAGE_863 is not set
495 # CONFIG_NLS_CODEPAGE_864 is not set
496 # CONFIG_NLS_CODEPAGE_865 is not set
497 # CONFIG_NLS_CODEPAGE_866 is not set
498 # CONFIG_NLS_CODEPAGE_869 is not set
499 # CONFIG_NLS_CODEPAGE_936 is not set
500 # CONFIG_NLS_CODEPAGE_950 is not set
501 # CONFIG_NLS_CODEPAGE_932 is not set
502 # CONFIG_NLS_CODEPAGE_949 is not set
503 # CONFIG_NLS_CODEPAGE_874 is not set
504 # CONFIG_NLS_ISO8859_8 is not set
505 # CONFIG_NLS_CODEPAGE_1250 is not set
506 # CONFIG_NLS_CODEPAGE_1251 is not set
507 # CONFIG_NLS_ASCII is not set
508 CONFIG_NLS_ISO8859_1=y
509 # CONFIG_NLS_ISO8859_2 is not set
510 # CONFIG_NLS_ISO8859_3 is not set
511 # CONFIG_NLS_ISO8859_4 is not set
512 # CONFIG_NLS_ISO8859_5 is not set
513 # CONFIG_NLS_ISO8859_6 is not set
514 # CONFIG_NLS_ISO8859_7 is not set
515 # CONFIG_NLS_ISO8859_9 is not set
516 # CONFIG_NLS_ISO8859_13 is not set
517 # CONFIG_NLS_ISO8859_14 is not set
518 # CONFIG_NLS_ISO8859_15 is not set
519 # CONFIG_NLS_KOI8_R is not set
520 # CONFIG_NLS_KOI8_U is not set
521 # CONFIG_NLS_UTF8 is not set
523 #
524 # Instrumentation Support
525 #
526 # CONFIG_KPROBES is not set
528 #
529 # Kernel hacking
530 #
531 # CONFIG_PRINTK_TIME is not set
532 CONFIG_DEBUG_KERNEL=y
533 CONFIG_MAGIC_SYSRQ=y
534 CONFIG_LOG_BUF_SHIFT=14
535 CONFIG_DETECT_SOFTLOCKUP=y
536 # CONFIG_SCHEDSTATS is not set
537 # CONFIG_DEBUG_SLAB is not set
538 # CONFIG_DEBUG_SPINLOCK is not set
539 # CONFIG_DEBUG_SPINLOCK_SLEEP is not set
540 # CONFIG_DEBUG_KOBJECT is not set
541 # CONFIG_DEBUG_HIGHMEM is not set
542 CONFIG_DEBUG_BUGVERBOSE=y
543 # CONFIG_DEBUG_INFO is not set
544 # CONFIG_DEBUG_FS is not set
545 # CONFIG_DEBUG_VM is not set
546 CONFIG_FRAME_POINTER=y
547 # CONFIG_RCU_TORTURE_TEST is not set
548 CONFIG_EARLY_PRINTK=y
549 # CONFIG_DEBUG_STACKOVERFLOW is not set
550 # CONFIG_DEBUG_STACK_USAGE is not set
551 # CONFIG_DEBUG_PAGEALLOC is not set
552 # CONFIG_4KSTACKS is not set
554 #
555 # Security options
556 #
557 # CONFIG_KEYS is not set
558 # CONFIG_SECURITY is not set
560 #
561 # Cryptographic options
562 #
563 CONFIG_CRYPTO=y
564 # CONFIG_CRYPTO_HMAC is not set
565 # CONFIG_CRYPTO_NULL is not set
566 # CONFIG_CRYPTO_MD4 is not set
567 CONFIG_CRYPTO_MD5=m
568 # CONFIG_CRYPTO_SHA1 is not set
569 # CONFIG_CRYPTO_SHA256 is not set
570 # CONFIG_CRYPTO_SHA512 is not set
571 # CONFIG_CRYPTO_WP512 is not set
572 # CONFIG_CRYPTO_TGR192 is not set
573 # CONFIG_CRYPTO_DES is not set
574 # CONFIG_CRYPTO_BLOWFISH is not set
575 # CONFIG_CRYPTO_TWOFISH is not set
576 # CONFIG_CRYPTO_SERPENT is not set
577 # CONFIG_CRYPTO_AES_586 is not set
578 # CONFIG_CRYPTO_CAST5 is not set
579 # CONFIG_CRYPTO_CAST6 is not set
580 # CONFIG_CRYPTO_TEA is not set
581 # CONFIG_CRYPTO_ARC4 is not set
582 # CONFIG_CRYPTO_KHAZAD is not set
583 # CONFIG_CRYPTO_ANUBIS is not set
584 # CONFIG_CRYPTO_DEFLATE is not set
585 # CONFIG_CRYPTO_MICHAEL_MIC is not set
586 CONFIG_CRYPTO_CRC32C=m
587 # CONFIG_CRYPTO_TEST is not set
589 #
590 # Hardware crypto devices
591 #
592 # CONFIG_CRYPTO_DEV_PADLOCK is not set
593 CONFIG_XEN=y
594 CONFIG_NO_IDLE_HZ=y
596 #
597 # XEN
598 #
599 # CONFIG_XEN_PRIVILEGED_GUEST is not set
600 CONFIG_XEN_UNPRIVILEGED_GUEST=y
601 CONFIG_XEN_BLKDEV_FRONTEND=y
602 CONFIG_XEN_NETDEV_FRONTEND=y
603 # CONFIG_XEN_BLKDEV_TAP is not set
604 # CONFIG_XEN_TPMDEV_FRONTEND is not set
605 # CONFIG_XEN_SHADOW_MODE is not set
606 CONFIG_XEN_SCRUB_PAGES=y
607 CONFIG_XEN_DISABLE_SERIAL=y
608 CONFIG_HAVE_ARCH_ALLOC_SKB=y
609 CONFIG_HAVE_ARCH_DEV_ALLOC_SKB=y
611 #
612 # Library routines
613 #
614 # CONFIG_CRC_CCITT is not set
615 # CONFIG_CRC16 is not set
616 # CONFIG_CRC32 is not set
617 CONFIG_LIBCRC32C=m
618 CONFIG_ZLIB_INFLATE=y
619 CONFIG_GENERIC_HARDIRQS=y
620 CONFIG_GENERIC_IRQ_PROBE=y
621 CONFIG_GENERIC_PENDING_IRQ=y
622 CONFIG_X86_SMP=y
623 CONFIG_X86_BIOS_REBOOT=y
624 CONFIG_X86_TRAMPOLINE=y