ia64/xen-unstable

view buildconfigs/linux-defconfig_xenU_x86_32 @ 8725:a12e08eb0209

Proper fix for profile_pc on x86_64.
Also enable CONFIG_FRAME_POINTER for dom0 and domU kernels.

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