ia64/xen-unstable

view buildconfigs/linux-defconfig_xenU_x86_32 @ 8740:3d7ea7972b39

Update patches for linux 2.6.15.

Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>
author cl349@firebug.cl.cam.ac.uk
date Thu Feb 02 17:16:00 2006 +0000 (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