aboutsummaryrefslogtreecommitdiffstats
path: root/arch/ia64/configs/sim_defconfig
diff options
context:
space:
mode:
authorRussell King <rmk+kernel@arm.linux.org.uk>2010-08-09 09:09:29 -0400
committerRussell King <rmk+kernel@arm.linux.org.uk>2010-08-09 09:09:29 -0400
commit054d5c9238f3c577ad51195c3ee7803613f322cc (patch)
treeff7d9f5c0e0ddf14230ba28f28ef69a2c0a0debf /arch/ia64/configs/sim_defconfig
parent11e4afb49b7fa1fc8e1ffd850c1806dd86a08204 (diff)
parent2192482ee5ce5d5d4a6cec0c351b2d3a744606eb (diff)
Merge branch 'devel-stable' into devel
Diffstat (limited to 'arch/ia64/configs/sim_defconfig')
-rw-r--r--arch/ia64/configs/sim_defconfig756
1 files changed, 45 insertions, 711 deletions
diff --git a/arch/ia64/configs/sim_defconfig b/arch/ia64/configs/sim_defconfig
index 21a23cdfd41c..585222b368c3 100644
--- a/arch/ia64/configs/sim_defconfig
+++ b/arch/ia64/configs/sim_defconfig
@@ -1,723 +1,57 @@
1# 1CONFIG_BINFMT_MISC=y
2# Automatically generated make config: don't edit 2CONFIG_BLK_DEV_LOOP=y
3# Linux kernel version: 2.6.16-rc5 3CONFIG_BLK_DEV_RAM=y
4# Mon Feb 27 16:13:41 2006 4CONFIG_BLK_DEV_SD=y
5#
6
7#
8# Code maturity level options
9#
10CONFIG_EXPERIMENTAL=y
11CONFIG_LOCK_KERNEL=y
12CONFIG_INIT_ENV_ARG_LIMIT=32
13
14#
15# General setup
16#
17CONFIG_LOCALVERSION=""
18CONFIG_LOCALVERSION_AUTO=y
19CONFIG_SWAP=y
20CONFIG_SYSVIPC=y
21# CONFIG_POSIX_MQUEUE is not set
22# CONFIG_BSD_PROCESS_ACCT is not set
23CONFIG_SYSCTL=y
24# CONFIG_AUDIT is not set
25CONFIG_IKCONFIG=y
26CONFIG_IKCONFIG_PROC=y
27# CONFIG_CPUSETS is not set
28CONFIG_INITRAMFS_SOURCE=""
29# CONFIG_CC_OPTIMIZE_FOR_SIZE is not set 5# CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
30# CONFIG_EMBEDDED is not set 6CONFIG_DEBUG_INFO=y
31CONFIG_KALLSYMS=y 7CONFIG_DEBUG_KERNEL=y
32# CONFIG_KALLSYMS_ALL is not set 8CONFIG_DEBUG_MUTEXES=y
33# CONFIG_KALLSYMS_EXTRA_PASS is not set 9CONFIG_EFI_PARTITION=y
34CONFIG_HOTPLUG=y 10CONFIG_EFI_RTC=y
35CONFIG_PRINTK=y 11CONFIG_EFI_VARS=y
36CONFIG_BUG=y 12CONFIG_EXPERIMENTAL=y
37CONFIG_ELF_CORE=y 13CONFIG_EXT2_FS=y
38CONFIG_BASE_FULL=y 14# CONFIG_EXT3_FS_XATTR is not set
39CONFIG_FUTEX=y 15CONFIG_EXT3_FS=y
40CONFIG_EPOLL=y 16CONFIG_HP_SIMETH=y
41CONFIG_SHMEM=y 17CONFIG_HP_SIMSCSI=y
42CONFIG_CC_ALIGN_FUNCTIONS=0 18CONFIG_HP_SIMSERIAL_CONSOLE=y
43CONFIG_CC_ALIGN_LABELS=0 19CONFIG_HP_SIMSERIAL=y
44CONFIG_CC_ALIGN_LOOPS=0 20CONFIG_HUGETLBFS=y
45CONFIG_CC_ALIGN_JUMPS=0
46CONFIG_SLUB=y
47# CONFIG_TINY_SHMEM is not set
48CONFIG_BASE_SMALL=0
49# CONFIG_SLOB is not set
50
51#
52# Loadable module support
53#
54CONFIG_MODULES=y
55CONFIG_MODULE_UNLOAD=y
56CONFIG_MODULE_FORCE_UNLOAD=y
57CONFIG_OBSOLETE_MODPARM=y
58CONFIG_MODVERSIONS=y
59# CONFIG_MODULE_SRCVERSION_ALL is not set
60CONFIG_KMOD=y
61CONFIG_STOP_MACHINE=y
62
63#
64# Block layer
65#
66
67#
68# IO Schedulers
69#
70CONFIG_IOSCHED_NOOP=y
71CONFIG_IOSCHED_AS=y
72CONFIG_IOSCHED_DEADLINE=y
73CONFIG_IOSCHED_CFQ=y
74CONFIG_DEFAULT_AS=y
75# CONFIG_DEFAULT_DEADLINE is not set
76# CONFIG_DEFAULT_CFQ is not set
77# CONFIG_DEFAULT_NOOP is not set
78CONFIG_DEFAULT_IOSCHED="anticipatory"
79
80#
81# Processor type and features
82#
83CONFIG_IA64=y
84CONFIG_64BIT=y
85CONFIG_MMU=y
86CONFIG_SWIOTLB=y
87CONFIG_RWSEM_XCHGADD_ALGORITHM=y
88CONFIG_GENERIC_CALIBRATE_DELAY=y
89CONFIG_GENERIC_TIME=y
90CONFIG_EFI=y
91CONFIG_GENERIC_IOMAP=y
92CONFIG_SCHED_NO_NO_OMIT_FRAME_POINTER=y
93CONFIG_DMA_IS_DMA32=y
94# CONFIG_IA64_GENERIC is not set
95# CONFIG_IA64_DIG is not set
96# CONFIG_IA64_HP_ZX1 is not set
97# CONFIG_IA64_HP_ZX1_SWIOTLB is not set
98# CONFIG_IA64_SGI_SN2 is not set
99CONFIG_IA64_HP_SIM=y 21CONFIG_IA64_HP_SIM=y
100# CONFIG_ITANIUM is not set
101CONFIG_MCKINLEY=y
102# CONFIG_IA64_PAGE_SIZE_4KB is not set
103# CONFIG_IA64_PAGE_SIZE_8KB is not set
104# CONFIG_IA64_PAGE_SIZE_16KB is not set
105CONFIG_IA64_PAGE_SIZE_64KB=y 22CONFIG_IA64_PAGE_SIZE_64KB=y
106CONFIG_PGTABLE_3=y
107# CONFIG_PGTABLE_4 is not set
108# CONFIG_HZ_100 is not set
109CONFIG_HZ_250=y
110# CONFIG_HZ_1000 is not set
111CONFIG_HZ=250
112CONFIG_IA64_L1_CACHE_SHIFT=7
113# CONFIG_IA64_CYCLONE is not set
114CONFIG_FORCE_MAX_ZONEORDER=17
115CONFIG_SMP=y
116CONFIG_NR_CPUS=64
117# CONFIG_HOTPLUG_CPU is not set
118# CONFIG_SCHED_SMT is not set
119CONFIG_PREEMPT=y
120CONFIG_SELECT_MEMORY_MODEL=y
121CONFIG_FLATMEM_MANUAL=y
122# CONFIG_DISCONTIGMEM_MANUAL is not set
123# CONFIG_SPARSEMEM_MANUAL is not set
124CONFIG_FLATMEM=y
125CONFIG_FLAT_NODE_MEM_MAP=y
126# CONFIG_SPARSEMEM_STATIC is not set
127CONFIG_SPLIT_PTLOCK_CPUS=4
128CONFIG_ARCH_SELECT_MEMORY_MODEL=y
129CONFIG_ARCH_DISCONTIGMEM_ENABLE=y
130CONFIG_ARCH_FLATMEM_ENABLE=y
131CONFIG_ARCH_SPARSEMEM_ENABLE=y
132# CONFIG_VIRTUAL_MEM_MAP is not set
133# CONFIG_IA64_MCA_RECOVERY is not set
134# CONFIG_PERFMON is not set
135CONFIG_IA64_PALINFO=m 23CONFIG_IA64_PALINFO=m
136 24CONFIG_IKCONFIG_PROC=y
137# 25CONFIG_IKCONFIG=y
138# Firmware Drivers
139#
140CONFIG_EFI_VARS=y
141CONFIG_BINFMT_ELF=y
142CONFIG_BINFMT_MISC=y
143
144#
145# Power management and ACPI
146#
147
148#
149# Networking
150#
151CONFIG_NET=y
152
153#
154# Networking options
155#
156# CONFIG_NETDEBUG is not set
157CONFIG_PACKET=y
158# CONFIG_PACKET_MMAP is not set
159# CONFIG_UNIX is not set
160# CONFIG_NET_KEY is not set
161CONFIG_INET=y 26CONFIG_INET=y
27CONFIG_INOTIFY=y
28# CONFIG_INPUT_KEYBOARD is not set
29# CONFIG_INPUT_MOUSE is not set
162CONFIG_IP_MULTICAST=y 30CONFIG_IP_MULTICAST=y
163# CONFIG_IP_ADVANCED_ROUTER is not set
164CONFIG_IP_FIB_HASH=y
165# CONFIG_IP_PNP is not set
166# CONFIG_NET_IPIP is not set
167# CONFIG_NET_IPGRE is not set
168# CONFIG_IP_MROUTE is not set
169# CONFIG_ARPD is not set
170# CONFIG_SYN_COOKIES is not set
171# CONFIG_INET_AH is not set
172# CONFIG_INET_ESP is not set
173# CONFIG_INET_IPCOMP is not set
174# CONFIG_INET_TUNNEL is not set
175CONFIG_INET_DIAG=y
176CONFIG_INET_TCP_DIAG=y
177# CONFIG_TCP_CONG_ADVANCED is not set
178CONFIG_TCP_CONG_BIC=y
179# CONFIG_IPV6 is not set 31# CONFIG_IPV6 is not set
180# CONFIG_NETFILTER is not set 32# CONFIG_LEGACY_PTYS is not set
181 33CONFIG_LOG_BUF_SHIFT=16
182# 34CONFIG_MCKINLEY=y
183# DCCP Configuration (EXPERIMENTAL) 35CONFIG_MODULE_FORCE_UNLOAD=y
184# 36CONFIG_MODULES=y
185# CONFIG_IP_DCCP is not set 37CONFIG_MODULE_UNLOAD=y
186 38CONFIG_MODVERSIONS=y
187# 39CONFIG_NET=y
188# SCTP Configuration (EXPERIMENTAL) 40CONFIG_NFSD_V3=y
189# 41CONFIG_NFSD=y
190# CONFIG_IP_SCTP is not set 42CONFIG_NFS_FS=y
191 43CONFIG_NR_CPUS=64
192# 44CONFIG_PACKET=y
193# TIPC Configuration (EXPERIMENTAL) 45CONFIG_PARTITION_ADVANCED=y
194# 46CONFIG_PREEMPT=y
195# CONFIG_TIPC is not set 47CONFIG_PROC_KCORE=y
196# CONFIG_ATM is not set
197# CONFIG_BRIDGE is not set
198# CONFIG_VLAN_8021Q is not set
199# CONFIG_DECNET is not set
200# CONFIG_LLC2 is not set
201# CONFIG_IPX is not set
202# CONFIG_ATALK is not set
203# CONFIG_X25 is not set
204# CONFIG_LAPB is not set
205# CONFIG_NET_DIVERT is not set
206# CONFIG_ECONET is not set
207# CONFIG_WAN_ROUTER is not set
208
209#
210# QoS and/or fair queueing
211#
212# CONFIG_NET_SCHED is not set
213
214#
215# Network testing
216#
217# CONFIG_NET_PKTGEN is not set
218# CONFIG_HAMRADIO is not set
219# CONFIG_IRDA is not set
220# CONFIG_BT is not set
221# CONFIG_IEEE80211 is not set
222
223#
224# Device Drivers
225#
226
227#
228# Generic Driver Options
229#
230# CONFIG_STANDALONE is not set
231CONFIG_PREVENT_FIRMWARE_BUILD=y
232# CONFIG_FW_LOADER is not set
233# CONFIG_DEBUG_DRIVER is not set
234
235#
236# Connector - unified userspace <-> kernelspace linker
237#
238# CONFIG_CONNECTOR is not set
239
240#
241# Memory Technology Devices (MTD)
242#
243# CONFIG_MTD is not set
244
245#
246# Parallel port support
247#
248# CONFIG_PARPORT is not set
249
250#
251# Plug and Play support
252#
253
254#
255# Block devices
256#
257# CONFIG_BLK_DEV_COW_COMMON is not set
258CONFIG_BLK_DEV_LOOP=y
259# CONFIG_BLK_DEV_CRYPTOLOOP is not set
260# CONFIG_BLK_DEV_NBD is not set
261CONFIG_BLK_DEV_RAM=y
262CONFIG_BLK_DEV_RAM_COUNT=16
263CONFIG_BLK_DEV_RAM_SIZE=4096
264# CONFIG_BLK_DEV_INITRD is not set
265# CONFIG_CDROM_PKTCDVD is not set
266# CONFIG_ATA_OVER_ETH is not set
267
268#
269# ATA/ATAPI/MFM/RLL support
270#
271# CONFIG_IDE is not set
272
273#
274# SCSI device support
275#
276# CONFIG_RAID_ATTRS is not set
277CONFIG_SCSI=y
278CONFIG_SCSI_PROC_FS=y
279
280#
281# SCSI support type (disk, tape, CD-ROM)
282#
283CONFIG_BLK_DEV_SD=y
284# CONFIG_CHR_DEV_ST is not set
285# CONFIG_CHR_DEV_OSST is not set
286# CONFIG_BLK_DEV_SR is not set
287# CONFIG_CHR_DEV_SG is not set
288# CONFIG_CHR_DEV_SCH is not set
289
290#
291# Some SCSI devices (e.g. CD jukebox) support multiple LUNs
292#
293CONFIG_SCSI_MULTI_LUN=y
294CONFIG_SCSI_CONSTANTS=y 48CONFIG_SCSI_CONSTANTS=y
295CONFIG_SCSI_LOGGING=y 49CONFIG_SCSI_LOGGING=y
296 50CONFIG_SCSI_MULTI_LUN=y
297#
298# SCSI Transport Attributes
299#
300CONFIG_SCSI_SPI_ATTRS=y 51CONFIG_SCSI_SPI_ATTRS=y
301# CONFIG_SCSI_FC_ATTRS is not set 52CONFIG_SCSI=y
302# CONFIG_SCSI_ISCSI_ATTRS is not set
303# CONFIG_SCSI_SAS_ATTRS is not set
304
305#
306# SCSI low-level drivers
307#
308# CONFIG_ISCSI_TCP is not set
309# CONFIG_SCSI_SATA is not set
310# CONFIG_SCSI_DEBUG is not set
311
312#
313# Multi-device support (RAID and LVM)
314#
315# CONFIG_MD is not set
316
317#
318# Fusion MPT device support
319#
320# CONFIG_FUSION is not set
321
322#
323# IEEE 1394 (FireWire) support
324#
325
326#
327# I2O device support
328#
329
330#
331# Network device support
332#
333# CONFIG_NETDEVICES is not set
334# CONFIG_DUMMY is not set
335# CONFIG_BONDING is not set
336# CONFIG_EQUALIZER is not set
337# CONFIG_TUN is not set
338
339#
340# PHY device support
341#
342
343#
344# Ethernet (10 or 100Mbit)
345#
346# CONFIG_NET_ETHERNET is not set
347
348#
349# Ethernet (1000 Mbit)
350#
351
352#
353# Ethernet (10000 Mbit)
354#
355# CONFIG_PPP is not set
356# CONFIG_SLIP is not set
357# CONFIG_SHAPER is not set
358# CONFIG_NETCONSOLE is not set
359# CONFIG_NETPOLL is not set
360# CONFIG_NET_POLL_CONTROLLER is not set
361
362#
363# ISDN subsystem
364#
365# CONFIG_ISDN is not set
366
367#
368# Telephony Support
369#
370# CONFIG_PHONE is not set
371
372#
373# Input device support
374#
375CONFIG_INPUT=y
376
377#
378# Userland interfaces
379#
380CONFIG_INPUT_MOUSEDEV=y
381CONFIG_INPUT_MOUSEDEV_PSAUX=y
382CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
383CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
384# CONFIG_INPUT_JOYDEV is not set
385# CONFIG_INPUT_TSDEV is not set
386# CONFIG_INPUT_EVDEV is not set
387# CONFIG_INPUT_EVBUG is not set
388
389#
390# Input Device Drivers
391#
392# CONFIG_INPUT_KEYBOARD is not set
393# CONFIG_INPUT_MOUSE is not set
394# CONFIG_INPUT_JOYSTICK is not set
395# CONFIG_INPUT_TOUCHSCREEN is not set
396# CONFIG_INPUT_MISC is not set
397
398#
399# Hardware I/O ports
400#
401CONFIG_SERIO=y
402# CONFIG_SERIO_I8042 is not set 53# CONFIG_SERIO_I8042 is not set
403CONFIG_SERIO_SERPORT=y 54CONFIG_SMP=y
404# CONFIG_SERIO_RAW is not set 55# CONFIG_STANDALONE is not set
405# CONFIG_GAMEPORT is not set 56CONFIG_SYSVIPC=y
406
407#
408# Character devices
409#
410CONFIG_VT=y
411CONFIG_VT_CONSOLE=y
412CONFIG_HW_CONSOLE=y
413# CONFIG_SERIAL_NONSTANDARD is not set
414
415#
416# Serial drivers
417#
418# CONFIG_SERIAL_8250 is not set
419
420#
421# Non-8250 serial port support
422#
423CONFIG_UNIX98_PTYS=y
424# CONFIG_LEGACY_PTYS is not set
425
426#
427# IPMI
428#
429# CONFIG_IPMI_HANDLER is not set
430
431#
432# Watchdog Cards
433#
434# CONFIG_WATCHDOG is not set
435CONFIG_EFI_RTC=y
436# CONFIG_DTLK is not set
437# CONFIG_R3964 is not set
438
439#
440# Ftape, the floppy tape device driver
441#
442# CONFIG_AGP is not set
443# CONFIG_RAW_DRIVER is not set
444# CONFIG_HANGCHECK_TIMER is not set
445
446#
447# TPM devices
448#
449# CONFIG_TCG_TPM is not set
450# CONFIG_TELCLOCK is not set
451
452#
453# I2C support
454#
455# CONFIG_I2C is not set
456
457#
458# SPI support
459#
460# CONFIG_SPI is not set
461# CONFIG_SPI_MASTER is not set
462
463#
464# Dallas's 1-wire bus
465#
466# CONFIG_W1 is not set
467
468#
469# Hardware Monitoring support
470#
471CONFIG_HWMON=y
472# CONFIG_HWMON_VID is not set
473# CONFIG_SENSORS_F71805F is not set
474# CONFIG_HWMON_DEBUG_CHIP is not set
475
476#
477# Misc devices
478#
479
480#
481# Multimedia Capabilities Port drivers
482#
483
484#
485# Multimedia devices
486#
487# CONFIG_VIDEO_DEV is not set
488
489#
490# Digital Video Broadcasting Devices
491#
492# CONFIG_DVB is not set
493
494#
495# Graphics support
496#
497# CONFIG_FB is not set
498
499#
500# Console display driver support
501#
502# CONFIG_VGA_CONSOLE is not set 57# CONFIG_VGA_CONSOLE is not set
503CONFIG_DUMMY_CONSOLE=y
504
505#
506# Sound
507#
508# CONFIG_SOUND is not set
509
510#
511# USB support
512#
513# CONFIG_USB_ARCH_HAS_HCD is not set
514# CONFIG_USB_ARCH_HAS_OHCI is not set
515
516#
517# NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support'
518#
519
520#
521# USB Gadget Support
522#
523# CONFIG_USB_GADGET is not set
524
525#
526# MMC/SD Card support
527#
528# CONFIG_MMC is not set
529
530#
531# InfiniBand support
532#
533
534#
535# EDAC - error detection and reporting (RAS)
536#
537
538#
539# File systems
540#
541CONFIG_EXT2_FS=y
542# CONFIG_EXT2_FS_XATTR is not set
543# CONFIG_EXT2_FS_XIP is not set
544CONFIG_EXT3_FS=y
545# CONFIG_EXT3_FS_XATTR is not set
546CONFIG_JBD=y
547# CONFIG_JBD_DEBUG is not set
548# CONFIG_REISERFS_FS is not set
549# CONFIG_JFS_FS is not set
550# CONFIG_FS_POSIX_ACL is not set
551# CONFIG_XFS_FS is not set
552# CONFIG_OCFS2_FS is not set
553# CONFIG_MINIX_FS is not set
554# CONFIG_ROMFS_FS is not set
555CONFIG_INOTIFY=y
556# CONFIG_QUOTA is not set
557CONFIG_DNOTIFY=y
558# CONFIG_AUTOFS_FS is not set
559# CONFIG_AUTOFS4_FS is not set
560# CONFIG_FUSE_FS is not set
561
562#
563# CD-ROM/DVD Filesystems
564#
565# CONFIG_ISO9660_FS is not set
566# CONFIG_UDF_FS is not set
567
568#
569# DOS/FAT/NT Filesystems
570#
571# CONFIG_MSDOS_FS is not set
572# CONFIG_VFAT_FS is not set
573# CONFIG_NTFS_FS is not set
574
575#
576# Pseudo filesystems
577#
578CONFIG_PROC_FS=y
579CONFIG_PROC_KCORE=y
580CONFIG_SYSFS=y
581# CONFIG_TMPFS is not set
582CONFIG_HUGETLBFS=y
583CONFIG_HUGETLB_PAGE=y
584CONFIG_RAMFS=y
585# CONFIG_RELAYFS_FS is not set
586# CONFIG_CONFIGFS_FS is not set
587
588#
589# Miscellaneous filesystems
590#
591# CONFIG_ADFS_FS is not set
592# CONFIG_AFFS_FS is not set
593# CONFIG_HFS_FS is not set
594# CONFIG_HFSPLUS_FS is not set
595# CONFIG_BEFS_FS is not set
596# CONFIG_BFS_FS is not set
597# CONFIG_EFS_FS is not set
598# CONFIG_CRAMFS is not set
599# CONFIG_VXFS_FS is not set
600# CONFIG_HPFS_FS is not set
601# CONFIG_QNX4FS_FS is not set
602# CONFIG_SYSV_FS is not set
603# CONFIG_UFS_FS is not set
604
605#
606# Network File Systems
607#
608CONFIG_NFS_FS=y
609# CONFIG_NFS_V3 is not set
610# CONFIG_NFS_V4 is not set
611CONFIG_NFS_DIRECTIO=y
612CONFIG_NFSD=y
613CONFIG_NFSD_V3=y
614# CONFIG_NFSD_V3_ACL is not set
615# CONFIG_NFSD_V4 is not set
616# CONFIG_NFSD_TCP is not set
617CONFIG_LOCKD=y
618CONFIG_LOCKD_V4=y
619CONFIG_EXPORTFS=y
620CONFIG_NFS_COMMON=y
621CONFIG_SUNRPC=y
622# CONFIG_RPCSEC_GSS_KRB5 is not set
623# CONFIG_RPCSEC_GSS_SPKM3 is not set
624# CONFIG_SMB_FS is not set
625# CONFIG_CIFS is not set
626# CONFIG_NCP_FS is not set
627# CONFIG_CODA_FS is not set
628# CONFIG_AFS_FS is not set
629# CONFIG_9P_FS is not set
630
631#
632# Partition Types
633#
634CONFIG_PARTITION_ADVANCED=y
635# CONFIG_ACORN_PARTITION is not set
636# CONFIG_OSF_PARTITION is not set
637# CONFIG_AMIGA_PARTITION is not set
638# CONFIG_ATARI_PARTITION is not set
639# CONFIG_MAC_PARTITION is not set
640CONFIG_MSDOS_PARTITION=y
641# CONFIG_BSD_DISKLABEL is not set
642# CONFIG_MINIX_SUBPARTITION is not set
643# CONFIG_SOLARIS_X86_PARTITION is not set
644# CONFIG_UNIXWARE_DISKLABEL is not set
645# CONFIG_LDM_PARTITION is not set
646# CONFIG_SGI_PARTITION is not set
647# CONFIG_ULTRIX_PARTITION is not set
648# CONFIG_SUN_PARTITION is not set
649# CONFIG_KARMA_PARTITION is not set
650CONFIG_EFI_PARTITION=y
651
652#
653# Native Language Support
654#
655# CONFIG_NLS is not set
656
657#
658# Library routines
659#
660# CONFIG_CRC_CCITT is not set
661# CONFIG_CRC16 is not set
662CONFIG_CRC32=y
663# CONFIG_LIBCRC32C is not set
664CONFIG_GENERIC_HARDIRQS=y
665CONFIG_GENERIC_IRQ_PROBE=y
666CONFIG_GENERIC_PENDING_IRQ=y
667
668#
669# HP Simulator drivers
670#
671CONFIG_HP_SIMETH=y
672CONFIG_HP_SIMSERIAL=y
673CONFIG_HP_SIMSERIAL_CONSOLE=y
674CONFIG_HP_SIMSCSI=y
675
676#
677# Instrumentation Support
678#
679# CONFIG_PROFILING is not set
680# CONFIG_KPROBES is not set
681
682#
683# Kernel hacking
684#
685# CONFIG_PRINTK_TIME is not set
686# CONFIG_MAGIC_SYSRQ is not set
687CONFIG_DEBUG_KERNEL=y
688CONFIG_LOG_BUF_SHIFT=16
689CONFIG_DETECT_SOFTLOCKUP=y
690# CONFIG_SCHEDSTATS is not set
691# CONFIG_DEBUG_SLAB is not set
692CONFIG_DEBUG_PREEMPT=y
693CONFIG_DEBUG_MUTEXES=y
694# CONFIG_DEBUG_SPINLOCK is not set
695# CONFIG_DEBUG_SPINLOCK_SLEEP is not set
696# CONFIG_DEBUG_KOBJECT is not set
697CONFIG_DEBUG_INFO=y
698# CONFIG_DEBUG_FS is not set
699# CONFIG_DEBUG_VM is not set
700CONFIG_FORCED_INLINING=y
701# CONFIG_RCU_TORTURE_TEST is not set
702# CONFIG_IA64_GRANULE_16MB is not set
703CONFIG_IA64_GRANULE_64MB=y
704# CONFIG_IA64_PRINT_HAZARDS is not set
705# CONFIG_DISABLE_VHPT is not set
706# CONFIG_IA64_DEBUG_CMPXCHG is not set
707# CONFIG_IA64_DEBUG_IRQ is not set
708CONFIG_SYSVIPC_COMPAT=y
709
710#
711# Security options
712#
713# CONFIG_KEYS is not set
714# CONFIG_SECURITY is not set
715
716#
717# Cryptographic options
718#
719# CONFIG_CRYPTO is not set
720
721#
722# Hardware crypto devices
723#