debuggers.hg

view linux-2.6.10-xen-sparse/arch/xen/configs/xenU_defconfig @ 3540:67fbcadbd686

bitkeeper revision 1.1159.226.1 (41f3a631b2JdeX6_Iif82X1YYyLKMw)

Remove debugging from default kernel configs. David Becker points out that
it hurts performance rather a lot!
author kaf24@scramble.cl.cam.ac.uk
date Sun Jan 23 13:27:13 2005 +0000 (2005-01-23)
parents 56a5e9ed0e89
children 10d4d8627af0 e2f1686415aa
line source
1 #
2 # Automatically generated make config: don't edit
3 # Linux kernel version: 2.6.10-rc3-xenU
4 # Sun Dec 26 10:35:15 2004
5 #
6 CONFIG_XEN=y
7 CONFIG_ARCH_XEN=y
8 CONFIG_NO_IDLE_HZ=y
10 #
11 # XEN
12 #
13 # CONFIG_XEN_PRIVILEGED_GUEST is not set
14 # CONFIG_XEN_PHYSDEV_ACCESS is not set
15 # CONFIG_XEN_BLKDEV_BACKEND is not set
16 # CONFIG_XEN_NETDEV_BACKEND is not set
17 CONFIG_XEN_BLKDEV_FRONTEND=y
18 CONFIG_XEN_NETDEV_FRONTEND=y
19 # CONFIG_XEN_NETDEV_FRONTEND_PIPELINED_TRANSMITTER is not set
20 CONFIG_XEN_WRITABLE_PAGETABLES=y
21 CONFIG_XEN_SCRUB_PAGES=y
22 CONFIG_HAVE_ARCH_DEV_ALLOC_SKB=y
23 CONFIG_X86=y
24 # CONFIG_X86_64 is not set
26 #
27 # Code maturity level options
28 #
29 CONFIG_EXPERIMENTAL=y
30 CONFIG_CLEAN_COMPILE=y
31 CONFIG_BROKEN_ON_SMP=y
32 CONFIG_LOCK_KERNEL=y
34 #
35 # General setup
36 #
37 CONFIG_LOCALVERSION=""
38 CONFIG_SWAP=y
39 CONFIG_SYSVIPC=y
40 # CONFIG_POSIX_MQUEUE is not set
41 # CONFIG_BSD_PROCESS_ACCT is not set
42 CONFIG_SYSCTL=y
43 # CONFIG_AUDIT is not set
44 CONFIG_LOG_BUF_SHIFT=14
45 CONFIG_HOTPLUG=y
46 CONFIG_KOBJECT_UEVENT=y
47 # CONFIG_IKCONFIG is not set
48 # CONFIG_EMBEDDED is not set
49 CONFIG_KALLSYMS=y
50 # CONFIG_KALLSYMS_ALL is not set
51 # CONFIG_KALLSYMS_EXTRA_PASS is not set
52 CONFIG_FUTEX=y
53 CONFIG_EPOLL=y
54 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
55 CONFIG_SHMEM=y
56 CONFIG_CC_ALIGN_FUNCTIONS=0
57 CONFIG_CC_ALIGN_LABELS=0
58 CONFIG_CC_ALIGN_LOOPS=0
59 CONFIG_CC_ALIGN_JUMPS=0
60 # CONFIG_TINY_SHMEM is not set
62 #
63 # Loadable module support
64 #
65 CONFIG_MODULES=y
66 CONFIG_MODULE_UNLOAD=y
67 # CONFIG_MODULE_FORCE_UNLOAD is not set
68 CONFIG_OBSOLETE_MODPARM=y
69 # CONFIG_MODVERSIONS is not set
70 # CONFIG_MODULE_SRCVERSION_ALL is not set
71 CONFIG_KMOD=y
73 #
74 # X86 Processor Configuration
75 #
76 CONFIG_XENARCH="i386"
77 CONFIG_MMU=y
78 CONFIG_UID16=y
79 CONFIG_GENERIC_ISA_DMA=y
80 CONFIG_GENERIC_IOMAP=y
81 # CONFIG_M386 is not set
82 # CONFIG_M486 is not set
83 # CONFIG_M586 is not set
84 # CONFIG_M586TSC is not set
85 # CONFIG_M586MMX is not set
86 # CONFIG_M686 is not set
87 # CONFIG_MPENTIUMII is not set
88 # CONFIG_MPENTIUMIII is not set
89 # CONFIG_MPENTIUMM is not set
90 CONFIG_MPENTIUM4=y
91 # CONFIG_MK6 is not set
92 # CONFIG_MK7 is not set
93 # CONFIG_MK8 is not set
94 # CONFIG_MCRUSOE is not set
95 # CONFIG_MEFFICEON is not set
96 # CONFIG_MWINCHIPC6 is not set
97 # CONFIG_MWINCHIP2 is not set
98 # CONFIG_MWINCHIP3D 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=7
105 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
106 CONFIG_X86_WP_WORKS_OK=y
107 CONFIG_X86_INVLPG=y
108 CONFIG_X86_BSWAP=y
109 CONFIG_X86_POPAD_OK=y
110 CONFIG_X86_GOOD_APIC=y
111 CONFIG_X86_INTEL_USERCOPY=y
112 CONFIG_X86_USE_PPRO_CHECKSUM=y
113 # CONFIG_HPET_TIMER is not set
114 # CONFIG_HPET_EMULATE_RTC is not set
115 # CONFIG_SMP is not set
116 CONFIG_PREEMPT=y
117 CONFIG_X86_CPUID=y
119 #
120 # Firmware Drivers
121 #
122 # CONFIG_EDD is not set
123 CONFIG_NOHIGHMEM=y
124 # CONFIG_HIGHMEM4G is not set
125 CONFIG_HAVE_DEC_LOCK=y
126 # CONFIG_REGPARM is not set
128 #
129 # Kernel hacking
130 #
131 # CONFIG_DEBUG_KERNEL is not set
132 CONFIG_EARLY_PRINTK=y
133 # CONFIG_DEBUG_SPINLOCK_SLEEP is not set
134 # CONFIG_FRAME_POINTER is not set
135 # CONFIG_4KSTACKS is not set
136 CONFIG_GENERIC_HARDIRQS=y
137 CONFIG_GENERIC_IRQ_PROBE=y
138 CONFIG_X86_BIOS_REBOOT=y
139 CONFIG_PC=y
141 #
142 # Executable file formats
143 #
144 CONFIG_BINFMT_ELF=y
145 # CONFIG_BINFMT_AOUT is not set
146 # CONFIG_BINFMT_MISC is not set
148 #
149 # Device Drivers
150 #
152 #
153 # Generic Driver Options
154 #
155 CONFIG_STANDALONE=y
156 CONFIG_PREVENT_FIRMWARE_BUILD=y
157 # CONFIG_FW_LOADER is not set
158 # CONFIG_DEBUG_DRIVER is not set
160 #
161 # Block devices
162 #
163 # CONFIG_BLK_DEV_FD is not set
164 CONFIG_BLK_DEV_LOOP=m
165 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
166 CONFIG_BLK_DEV_NBD=m
167 CONFIG_BLK_DEV_RAM=y
168 CONFIG_BLK_DEV_RAM_COUNT=16
169 CONFIG_BLK_DEV_RAM_SIZE=4096
170 CONFIG_BLK_DEV_INITRD=y
171 CONFIG_INITRAMFS_SOURCE=""
172 # CONFIG_LBD is not set
173 # CONFIG_CDROM_PKTCDVD is not set
175 #
176 # IO Schedulers
177 #
178 CONFIG_IOSCHED_NOOP=y
179 CONFIG_IOSCHED_AS=y
180 CONFIG_IOSCHED_DEADLINE=y
181 CONFIG_IOSCHED_CFQ=y
183 #
184 # SCSI device support
185 #
186 CONFIG_SCSI=m
187 CONFIG_SCSI_PROC_FS=y
189 #
190 # SCSI support type (disk, tape, CD-ROM)
191 #
192 CONFIG_BLK_DEV_SD=m
193 # CONFIG_CHR_DEV_ST is not set
194 # CONFIG_CHR_DEV_OSST is not set
195 # CONFIG_BLK_DEV_SR is not set
196 # CONFIG_CHR_DEV_SG is not set
198 #
199 # Some SCSI devices (e.g. CD jukebox) support multiple LUNs
200 #
201 # CONFIG_SCSI_MULTI_LUN is not set
202 # CONFIG_SCSI_CONSTANTS is not set
203 # CONFIG_SCSI_LOGGING is not set
205 #
206 # SCSI Transport Attributes
207 #
208 # CONFIG_SCSI_SPI_ATTRS is not set
209 # CONFIG_SCSI_FC_ATTRS is not set
211 #
212 # SCSI low-level drivers
213 #
214 # CONFIG_SCSI_SATA is not set
215 # CONFIG_SCSI_DEBUG is not set
217 #
218 # Multi-device support (RAID and LVM)
219 #
220 # CONFIG_MD is not set
222 #
223 # Networking support
224 #
225 CONFIG_NET=y
227 #
228 # Networking options
229 #
230 CONFIG_PACKET=y
231 # CONFIG_PACKET_MMAP is not set
232 # CONFIG_NETLINK_DEV is not set
233 CONFIG_UNIX=y
234 # CONFIG_NET_KEY is not set
235 CONFIG_INET=y
236 # CONFIG_IP_MULTICAST is not set
237 # CONFIG_IP_ADVANCED_ROUTER is not set
238 CONFIG_IP_PNP=y
239 # CONFIG_IP_PNP_DHCP is not set
240 # CONFIG_IP_PNP_BOOTP is not set
241 # CONFIG_IP_PNP_RARP is not set
242 # CONFIG_NET_IPIP is not set
243 # CONFIG_NET_IPGRE is not set
244 # CONFIG_ARPD is not set
245 # CONFIG_SYN_COOKIES is not set
246 # CONFIG_INET_AH is not set
247 # CONFIG_INET_ESP is not set
248 # CONFIG_INET_IPCOMP is not set
249 # CONFIG_INET_TUNNEL is not set
250 CONFIG_IP_TCPDIAG=y
251 # CONFIG_IP_TCPDIAG_IPV6 is not set
252 # CONFIG_IPV6 is not set
253 # CONFIG_NETFILTER is not set
255 #
256 # SCTP Configuration (EXPERIMENTAL)
257 #
258 # CONFIG_IP_SCTP is not set
259 # CONFIG_ATM is not set
260 # CONFIG_BRIDGE is not set
261 # CONFIG_VLAN_8021Q is not set
262 # CONFIG_DECNET is not set
263 # CONFIG_LLC2 is not set
264 # CONFIG_IPX is not set
265 # CONFIG_ATALK is not set
266 # CONFIG_X25 is not set
267 # CONFIG_LAPB is not set
268 # CONFIG_NET_DIVERT is not set
269 # CONFIG_ECONET is not set
270 # CONFIG_WAN_ROUTER is not set
272 #
273 # QoS and/or fair queueing
274 #
275 # CONFIG_NET_SCHED is not set
276 # CONFIG_NET_CLS_ROUTE is not set
278 #
279 # Network testing
280 #
281 # CONFIG_NET_PKTGEN is not set
282 # CONFIG_NETPOLL is not set
283 # CONFIG_NET_POLL_CONTROLLER is not set
284 # CONFIG_HAMRADIO is not set
285 # CONFIG_IRDA is not set
286 # CONFIG_BT is not set
287 CONFIG_NETDEVICES=y
288 # CONFIG_DUMMY is not set
289 # CONFIG_BONDING is not set
290 # CONFIG_EQUALIZER is not set
291 # CONFIG_TUN is not set
293 #
294 # Ethernet (10 or 100Mbit)
295 #
296 # CONFIG_NET_ETHERNET is not set
298 #
299 # Ethernet (1000 Mbit)
300 #
302 #
303 # Ethernet (10000 Mbit)
304 #
306 #
307 # Token Ring devices
308 #
310 #
311 # Wireless LAN (non-hamradio)
312 #
313 # CONFIG_NET_RADIO is not set
315 #
316 # Wan interfaces
317 #
318 # CONFIG_WAN is not set
319 # CONFIG_PPP is not set
320 # CONFIG_SLIP is not set
321 # CONFIG_SHAPER is not set
322 # CONFIG_NETCONSOLE is not set
323 CONFIG_UNIX98_PTYS=y
325 #
326 # File systems
327 #
328 CONFIG_EXT2_FS=y
329 # CONFIG_EXT2_FS_XATTR is not set
330 CONFIG_EXT3_FS=y
331 CONFIG_EXT3_FS_XATTR=y
332 # CONFIG_EXT3_FS_POSIX_ACL is not set
333 # CONFIG_EXT3_FS_SECURITY is not set
334 CONFIG_JBD=y
335 # CONFIG_JBD_DEBUG is not set
336 CONFIG_FS_MBCACHE=y
337 CONFIG_REISERFS_FS=y
338 # CONFIG_REISERFS_CHECK is not set
339 # CONFIG_REISERFS_PROC_INFO is not set
340 # CONFIG_REISERFS_FS_XATTR is not set
341 # CONFIG_JFS_FS is not set
342 # CONFIG_XFS_FS is not set
343 # CONFIG_MINIX_FS is not set
344 # CONFIG_ROMFS_FS is not set
345 # CONFIG_QUOTA is not set
346 CONFIG_DNOTIFY=y
347 CONFIG_AUTOFS_FS=y
348 CONFIG_AUTOFS4_FS=y
350 #
351 # CD-ROM/DVD Filesystems
352 #
353 CONFIG_ISO9660_FS=y
354 CONFIG_JOLIET=y
355 CONFIG_ZISOFS=y
356 CONFIG_ZISOFS_FS=y
357 # CONFIG_UDF_FS is not set
359 #
360 # DOS/FAT/NT Filesystems
361 #
362 CONFIG_FAT_FS=m
363 CONFIG_MSDOS_FS=m
364 CONFIG_VFAT_FS=m
365 CONFIG_FAT_DEFAULT_CODEPAGE=437
366 CONFIG_FAT_DEFAULT_IOCHARSET="iso8859-1"
367 # CONFIG_NTFS_FS is not set
369 #
370 # Pseudo filesystems
371 #
372 CONFIG_PROC_FS=y
373 CONFIG_PROC_KCORE=y
374 CONFIG_SYSFS=y
375 # CONFIG_DEVFS_FS is not set
376 CONFIG_DEVPTS_FS_XATTR=y
377 # CONFIG_DEVPTS_FS_SECURITY is not set
378 CONFIG_TMPFS=y
379 # CONFIG_TMPFS_XATTR is not set
380 # CONFIG_HUGETLBFS is not set
381 # CONFIG_HUGETLB_PAGE is not set
382 CONFIG_RAMFS=y
384 #
385 # Miscellaneous filesystems
386 #
387 # CONFIG_ADFS_FS is not set
388 # CONFIG_AFFS_FS is not set
389 # CONFIG_HFS_FS is not set
390 # CONFIG_HFSPLUS_FS is not set
391 # CONFIG_BEFS_FS is not set
392 # CONFIG_BFS_FS is not set
393 # CONFIG_EFS_FS is not set
394 # CONFIG_CRAMFS is not set
395 # CONFIG_VXFS_FS is not set
396 # CONFIG_HPFS_FS is not set
397 # CONFIG_QNX4FS_FS is not set
398 # CONFIG_SYSV_FS is not set
399 # CONFIG_UFS_FS is not set
401 #
402 # Network File Systems
403 #
404 CONFIG_NFS_FS=y
405 CONFIG_NFS_V3=y
406 # CONFIG_NFS_V4 is not set
407 # CONFIG_NFS_DIRECTIO is not set
408 # CONFIG_NFSD is not set
409 CONFIG_ROOT_NFS=y
410 CONFIG_LOCKD=y
411 CONFIG_LOCKD_V4=y
412 # CONFIG_EXPORTFS is not set
413 CONFIG_SUNRPC=y
414 # CONFIG_RPCSEC_GSS_KRB5 is not set
415 # CONFIG_RPCSEC_GSS_SPKM3 is not set
416 # CONFIG_SMB_FS is not set
417 # CONFIG_CIFS is not set
418 # CONFIG_NCP_FS is not set
419 # CONFIG_CODA_FS is not set
420 # CONFIG_AFS_FS is not set
422 #
423 # Partition Types
424 #
425 # CONFIG_PARTITION_ADVANCED is not set
426 CONFIG_MSDOS_PARTITION=y
428 #
429 # Native Language Support
430 #
431 CONFIG_NLS=y
432 CONFIG_NLS_DEFAULT="iso8859-1"
433 CONFIG_NLS_CODEPAGE_437=y
434 # CONFIG_NLS_CODEPAGE_737 is not set
435 # CONFIG_NLS_CODEPAGE_775 is not set
436 # CONFIG_NLS_CODEPAGE_850 is not set
437 # CONFIG_NLS_CODEPAGE_852 is not set
438 # CONFIG_NLS_CODEPAGE_855 is not set
439 # CONFIG_NLS_CODEPAGE_857 is not set
440 # CONFIG_NLS_CODEPAGE_860 is not set
441 # CONFIG_NLS_CODEPAGE_861 is not set
442 # CONFIG_NLS_CODEPAGE_862 is not set
443 # CONFIG_NLS_CODEPAGE_863 is not set
444 # CONFIG_NLS_CODEPAGE_864 is not set
445 # CONFIG_NLS_CODEPAGE_865 is not set
446 # CONFIG_NLS_CODEPAGE_866 is not set
447 # CONFIG_NLS_CODEPAGE_869 is not set
448 # CONFIG_NLS_CODEPAGE_936 is not set
449 # CONFIG_NLS_CODEPAGE_950 is not set
450 # CONFIG_NLS_CODEPAGE_932 is not set
451 # CONFIG_NLS_CODEPAGE_949 is not set
452 # CONFIG_NLS_CODEPAGE_874 is not set
453 # CONFIG_NLS_ISO8859_8 is not set
454 # CONFIG_NLS_CODEPAGE_1250 is not set
455 # CONFIG_NLS_CODEPAGE_1251 is not set
456 # CONFIG_NLS_ASCII is not set
457 CONFIG_NLS_ISO8859_1=y
458 # CONFIG_NLS_ISO8859_2 is not set
459 # CONFIG_NLS_ISO8859_3 is not set
460 # CONFIG_NLS_ISO8859_4 is not set
461 # CONFIG_NLS_ISO8859_5 is not set
462 # CONFIG_NLS_ISO8859_6 is not set
463 # CONFIG_NLS_ISO8859_7 is not set
464 # CONFIG_NLS_ISO8859_9 is not set
465 # CONFIG_NLS_ISO8859_13 is not set
466 # CONFIG_NLS_ISO8859_14 is not set
467 # CONFIG_NLS_ISO8859_15 is not set
468 # CONFIG_NLS_KOI8_R is not set
469 # CONFIG_NLS_KOI8_U is not set
470 # CONFIG_NLS_UTF8 is not set
472 #
473 # Security options
474 #
475 # CONFIG_KEYS is not set
476 # CONFIG_SECURITY is not set
478 #
479 # Cryptographic options
480 #
481 CONFIG_CRYPTO=y
482 # CONFIG_CRYPTO_HMAC is not set
483 # CONFIG_CRYPTO_NULL is not set
484 # CONFIG_CRYPTO_MD4 is not set
485 CONFIG_CRYPTO_MD5=m
486 # CONFIG_CRYPTO_SHA1 is not set
487 # CONFIG_CRYPTO_SHA256 is not set
488 # CONFIG_CRYPTO_SHA512 is not set
489 # CONFIG_CRYPTO_WP512 is not set
490 # CONFIG_CRYPTO_DES is not set
491 # CONFIG_CRYPTO_BLOWFISH is not set
492 # CONFIG_CRYPTO_TWOFISH is not set
493 # CONFIG_CRYPTO_SERPENT is not set
494 # CONFIG_CRYPTO_AES_586 is not set
495 # CONFIG_CRYPTO_CAST5 is not set
496 # CONFIG_CRYPTO_CAST6 is not set
497 # CONFIG_CRYPTO_TEA is not set
498 # CONFIG_CRYPTO_ARC4 is not set
499 # CONFIG_CRYPTO_KHAZAD is not set
500 # CONFIG_CRYPTO_ANUBIS is not set
501 # CONFIG_CRYPTO_DEFLATE is not set
502 # CONFIG_CRYPTO_MICHAEL_MIC is not set
503 CONFIG_CRYPTO_CRC32C=m
504 # CONFIG_CRYPTO_TEST is not set
506 #
507 # Library routines
508 #
509 # CONFIG_CRC_CCITT is not set
510 # CONFIG_CRC32 is not set
511 CONFIG_LIBCRC32C=m
512 CONFIG_ZLIB_INFLATE=y