ddbca3e39ba42176d51c3de5f4bd8af6d59e59b2
[pandora-kernel.git] / arch / powerpc / configs / mpc8272_ads_defconfig
1 #
2 # Automatically generated make config: don't edit
3 # Linux kernel version: 2.6.27-rc4
4 # Thu Aug 21 00:52:07 2008
5 #
6 # CONFIG_PPC64 is not set
7
8 #
9 # Processor support
10 #
11 CONFIG_6xx=y
12 # CONFIG_PPC_85xx is not set
13 # CONFIG_PPC_8xx is not set
14 # CONFIG_40x is not set
15 # CONFIG_44x is not set
16 # CONFIG_E200 is not set
17 CONFIG_PPC_FPU=y
18 # CONFIG_ALTIVEC is not set
19 CONFIG_PPC_STD_MMU=y
20 CONFIG_PPC_STD_MMU_32=y
21 # CONFIG_PPC_MM_SLICES is not set
22 # CONFIG_SMP is not set
23 CONFIG_PPC32=y
24 CONFIG_WORD_SIZE=32
25 CONFIG_PPC_MERGE=y
26 CONFIG_MMU=y
27 CONFIG_GENERIC_CMOS_UPDATE=y
28 CONFIG_GENERIC_TIME=y
29 CONFIG_GENERIC_TIME_VSYSCALL=y
30 CONFIG_GENERIC_CLOCKEVENTS=y
31 CONFIG_GENERIC_HARDIRQS=y
32 # CONFIG_HAVE_SETUP_PER_CPU_AREA is not set
33 CONFIG_IRQ_PER_CPU=y
34 CONFIG_STACKTRACE_SUPPORT=y
35 CONFIG_HAVE_LATENCYTOP_SUPPORT=y
36 CONFIG_LOCKDEP_SUPPORT=y
37 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
38 CONFIG_ARCH_HAS_ILOG2_U32=y
39 CONFIG_GENERIC_HWEIGHT=y
40 CONFIG_GENERIC_CALIBRATE_DELAY=y
41 CONFIG_GENERIC_FIND_NEXT_BIT=y
42 CONFIG_GENERIC_GPIO=y
43 # CONFIG_ARCH_NO_VIRT_TO_BUS is not set
44 CONFIG_PPC=y
45 CONFIG_EARLY_PRINTK=y
46 CONFIG_GENERIC_NVRAM=y
47 CONFIG_SCHED_NO_NO_OMIT_FRAME_POINTER=y
48 CONFIG_ARCH_MAY_HAVE_PC_FDC=y
49 CONFIG_PPC_OF=y
50 CONFIG_OF=y
51 CONFIG_PPC_UDBG_16550=y
52 # CONFIG_GENERIC_TBSYNC is not set
53 CONFIG_AUDIT_ARCH=y
54 CONFIG_GENERIC_BUG=y
55 CONFIG_DEFAULT_UIMAGE=y
56 CONFIG_HIBERNATE_32=y
57 CONFIG_ARCH_HIBERNATION_POSSIBLE=y
58 # CONFIG_PPC_DCR_NATIVE is not set
59 # CONFIG_PPC_DCR_MMIO is not set
60 CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config"
61
62 #
63 # General setup
64 #
65 # CONFIG_EXPERIMENTAL is not set
66 CONFIG_BROKEN_ON_SMP=y
67 CONFIG_INIT_ENV_ARG_LIMIT=32
68 CONFIG_LOCALVERSION=""
69 CONFIG_LOCALVERSION_AUTO=y
70 CONFIG_SWAP=y
71 CONFIG_SYSVIPC=y
72 CONFIG_SYSVIPC_SYSCTL=y
73 # CONFIG_BSD_PROCESS_ACCT is not set
74 # CONFIG_TASKSTATS is not set
75 # CONFIG_AUDIT is not set
76 CONFIG_IKCONFIG=y
77 CONFIG_IKCONFIG_PROC=y
78 CONFIG_LOG_BUF_SHIFT=14
79 # CONFIG_CGROUPS is not set
80 CONFIG_SYSFS_DEPRECATED=y
81 CONFIG_SYSFS_DEPRECATED_V2=y
82 # CONFIG_RELAY is not set
83 # CONFIG_NAMESPACES is not set
84 # CONFIG_BLK_DEV_INITRD is not set
85 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
86 CONFIG_SYSCTL=y
87 CONFIG_EMBEDDED=y
88 CONFIG_SYSCTL_SYSCALL=y
89 CONFIG_KALLSYMS=y
90 CONFIG_KALLSYMS_ALL=y
91 # CONFIG_KALLSYMS_EXTRA_PASS is not set
92 CONFIG_HOTPLUG=y
93 CONFIG_PRINTK=y
94 CONFIG_BUG=y
95 CONFIG_ELF_CORE=y
96 CONFIG_PCSPKR_PLATFORM=y
97 CONFIG_COMPAT_BRK=y
98 CONFIG_BASE_FULL=y
99 CONFIG_FUTEX=y
100 CONFIG_ANON_INODES=y
101 CONFIG_EPOLL=y
102 CONFIG_SIGNALFD=y
103 CONFIG_TIMERFD=y
104 CONFIG_EVENTFD=y
105 CONFIG_SHMEM=y
106 CONFIG_VM_EVENT_COUNTERS=y
107 CONFIG_SLUB_DEBUG=y
108 # CONFIG_SLAB is not set
109 CONFIG_SLUB=y
110 # CONFIG_SLOB is not set
111 # CONFIG_PROFILING is not set
112 # CONFIG_MARKERS is not set
113 CONFIG_HAVE_OPROFILE=y
114 CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS=y
115 CONFIG_HAVE_IOREMAP_PROT=y
116 CONFIG_HAVE_KPROBES=y
117 CONFIG_HAVE_KRETPROBES=y
118 CONFIG_HAVE_ARCH_TRACEHOOK=y
119 # CONFIG_HAVE_DMA_ATTRS is not set
120 # CONFIG_USE_GENERIC_SMP_HELPERS is not set
121 CONFIG_HAVE_CLK=y
122 CONFIG_PROC_PAGE_MONITOR=y
123 # CONFIG_HAVE_GENERIC_DMA_COHERENT is not set
124 CONFIG_SLABINFO=y
125 CONFIG_RT_MUTEXES=y
126 # CONFIG_TINY_SHMEM is not set
127 CONFIG_BASE_SMALL=0
128 # CONFIG_MODULES is not set
129 CONFIG_BLOCK=y
130 # CONFIG_LBD is not set
131 # CONFIG_BLK_DEV_IO_TRACE is not set
132 # CONFIG_LSF is not set
133 # CONFIG_BLK_DEV_INTEGRITY is not set
134
135 #
136 # IO Schedulers
137 #
138 CONFIG_IOSCHED_NOOP=y
139 CONFIG_IOSCHED_AS=y
140 CONFIG_IOSCHED_DEADLINE=y
141 CONFIG_IOSCHED_CFQ=y
142 CONFIG_DEFAULT_AS=y
143 # CONFIG_DEFAULT_DEADLINE is not set
144 # CONFIG_DEFAULT_CFQ is not set
145 # CONFIG_DEFAULT_NOOP is not set
146 CONFIG_DEFAULT_IOSCHED="anticipatory"
147 CONFIG_CLASSIC_RCU=y
148
149 #
150 # Platform support
151 #
152 CONFIG_PPC_MULTIPLATFORM=y
153 CONFIG_CLASSIC32=y
154 # CONFIG_MPC5121_ADS is not set
155 # CONFIG_MPC5121_GENERIC is not set
156 # CONFIG_PPC_MPC52xx is not set
157 # CONFIG_PPC_CELL is not set
158 # CONFIG_PPC_CELL_NATIVE is not set
159 CONFIG_PPC_82xx=y
160 CONFIG_MPC8272_ADS=y
161 # CONFIG_PQ2FADS is not set
162 # CONFIG_EP8248E is not set
163 CONFIG_PQ2ADS=y
164 CONFIG_8260=y
165 CONFIG_8272=y
166 CONFIG_PQ2_ADS_PCI_PIC=y
167 # CONFIG_PPC_83xx is not set
168 # CONFIG_PPC_86xx is not set
169 # CONFIG_EMBEDDED6xx is not set
170 CONFIG_PPC_NATIVE=y
171 # CONFIG_UDBG_RTAS_CONSOLE is not set
172 # CONFIG_IPIC is not set
173 CONFIG_MPIC=y
174 # CONFIG_MPIC_WEIRD is not set
175 CONFIG_PPC_I8259=y
176 CONFIG_PPC_RTAS=y
177 # CONFIG_RTAS_ERROR_LOGGING is not set
178 CONFIG_RTAS_PROC=y
179 # CONFIG_MMIO_NVRAM is not set
180 CONFIG_PPC_MPC106=y
181 # CONFIG_PPC_970_NAP is not set
182 # CONFIG_PPC_INDIRECT_IO is not set
183 # CONFIG_GENERIC_IOMAP is not set
184 # CONFIG_CPU_FREQ is not set
185 # CONFIG_PPC601_SYNC_FIX is not set
186 # CONFIG_TAU is not set
187 CONFIG_CPM2=y
188 # CONFIG_FSL_ULI1575 is not set
189 CONFIG_CPM=y
190
191 #
192 # Kernel options
193 #
194 # CONFIG_HIGHMEM is not set
195 CONFIG_TICK_ONESHOT=y
196 CONFIG_NO_HZ=y
197 CONFIG_HIGH_RES_TIMERS=y
198 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
199 # CONFIG_HZ_100 is not set
200 CONFIG_HZ_250=y
201 # CONFIG_HZ_300 is not set
202 # CONFIG_HZ_1000 is not set
203 CONFIG_HZ=250
204 CONFIG_SCHED_HRTICK=y
205 CONFIG_PREEMPT_NONE=y
206 # CONFIG_PREEMPT_VOLUNTARY is not set
207 # CONFIG_PREEMPT is not set
208 CONFIG_BINFMT_ELF=y
209 CONFIG_BINFMT_MISC=y
210 # CONFIG_IOMMU_HELPER is not set
211 CONFIG_ARCH_ENABLE_MEMORY_HOTPLUG=y
212 CONFIG_ARCH_HAS_WALK_MEMORY=y
213 CONFIG_ARCH_ENABLE_MEMORY_HOTREMOVE=y
214 CONFIG_ARCH_FLATMEM_ENABLE=y
215 CONFIG_ARCH_POPULATES_NODE_MAP=y
216 CONFIG_FLATMEM=y
217 CONFIG_FLAT_NODE_MEM_MAP=y
218 # CONFIG_SPARSEMEM_STATIC is not set
219 # CONFIG_SPARSEMEM_VMEMMAP_ENABLE is not set
220 CONFIG_PAGEFLAGS_EXTENDED=y
221 CONFIG_SPLIT_PTLOCK_CPUS=4
222 CONFIG_MIGRATION=y
223 # CONFIG_RESOURCES_64BIT is not set
224 CONFIG_ZONE_DMA_FLAG=1
225 CONFIG_BOUNCE=y
226 CONFIG_VIRT_TO_BUS=y
227 CONFIG_FORCE_MAX_ZONEORDER=11
228 CONFIG_PROC_DEVICETREE=y
229 # CONFIG_CMDLINE_BOOL is not set
230 CONFIG_EXTRA_TARGETS=""
231 # CONFIG_PM is not set
232 CONFIG_SECCOMP=y
233 CONFIG_ISA_DMA_API=y
234
235 #
236 # Bus options
237 #
238 # CONFIG_ISA is not set
239 CONFIG_ZONE_DMA=y
240 CONFIG_PPC_INDIRECT_PCI=y
241 CONFIG_FSL_SOC=y
242 CONFIG_PPC_PCI_CHOICE=y
243 CONFIG_PCI=y
244 CONFIG_PCI_DOMAINS=y
245 CONFIG_PCI_SYSCALL=y
246 CONFIG_PCI_8260=y
247 # CONFIG_PCIEPORTBUS is not set
248 CONFIG_ARCH_SUPPORTS_MSI=y
249 # CONFIG_PCI_MSI is not set
250 CONFIG_PCI_LEGACY=y
251 # CONFIG_PCI_DEBUG is not set
252 # CONFIG_PCCARD is not set
253 # CONFIG_HOTPLUG_PCI is not set
254 # CONFIG_HAS_RAPIDIO is not set
255
256 #
257 # Advanced setup
258 #
259 # CONFIG_ADVANCED_OPTIONS is not set
260
261 #
262 # Default settings for advanced configuration options are used
263 #
264 CONFIG_LOWMEM_SIZE=0x30000000
265 CONFIG_PAGE_OFFSET=0xc0000000
266 CONFIG_KERNEL_START=0xc0000000
267 CONFIG_PHYSICAL_START=0x00000000
268 CONFIG_TASK_SIZE=0xc0000000
269 CONFIG_NET=y
270
271 #
272 # Networking options
273 #
274 CONFIG_PACKET=y
275 # CONFIG_PACKET_MMAP is not set
276 CONFIG_UNIX=y
277 CONFIG_XFRM=y
278 # CONFIG_XFRM_USER is not set
279 # CONFIG_NET_KEY is not set
280 CONFIG_INET=y
281 CONFIG_IP_MULTICAST=y
282 # CONFIG_IP_ADVANCED_ROUTER is not set
283 CONFIG_IP_FIB_HASH=y
284 CONFIG_IP_PNP=y
285 CONFIG_IP_PNP_DHCP=y
286 CONFIG_IP_PNP_BOOTP=y
287 # CONFIG_IP_PNP_RARP is not set
288 # CONFIG_NET_IPIP is not set
289 # CONFIG_NET_IPGRE is not set
290 # CONFIG_IP_MROUTE is not set
291 CONFIG_SYN_COOKIES=y
292 # CONFIG_INET_AH is not set
293 # CONFIG_INET_ESP is not set
294 # CONFIG_INET_IPCOMP is not set
295 # CONFIG_INET_XFRM_TUNNEL is not set
296 CONFIG_INET_TUNNEL=y
297 CONFIG_INET_XFRM_MODE_TRANSPORT=y
298 CONFIG_INET_XFRM_MODE_TUNNEL=y
299 CONFIG_INET_XFRM_MODE_BEET=y
300 # CONFIG_INET_LRO is not set
301 CONFIG_INET_DIAG=y
302 CONFIG_INET_TCP_DIAG=y
303 # CONFIG_TCP_CONG_ADVANCED is not set
304 CONFIG_TCP_CONG_CUBIC=y
305 CONFIG_DEFAULT_TCP_CONG="cubic"
306 # CONFIG_IP_VS is not set
307 CONFIG_IPV6=y
308 # CONFIG_IPV6_PRIVACY is not set
309 # CONFIG_IPV6_ROUTER_PREF is not set
310 # CONFIG_INET6_AH is not set
311 # CONFIG_INET6_ESP is not set
312 # CONFIG_INET6_IPCOMP is not set
313 # CONFIG_INET6_XFRM_TUNNEL is not set
314 # CONFIG_INET6_TUNNEL is not set
315 CONFIG_INET6_XFRM_MODE_TRANSPORT=y
316 CONFIG_INET6_XFRM_MODE_TUNNEL=y
317 CONFIG_INET6_XFRM_MODE_BEET=y
318 CONFIG_IPV6_SIT=y
319 CONFIG_IPV6_NDISC_NODETYPE=y
320 # CONFIG_IPV6_TUNNEL is not set
321 # CONFIG_NETWORK_SECMARK is not set
322 CONFIG_NETFILTER=y
323 # CONFIG_NETFILTER_DEBUG is not set
324 CONFIG_NETFILTER_ADVANCED=y
325
326 #
327 # Core Netfilter Configuration
328 #
329 # CONFIG_NETFILTER_NETLINK_QUEUE is not set
330 # CONFIG_NETFILTER_NETLINK_LOG is not set
331 # CONFIG_NF_CONNTRACK is not set
332 # CONFIG_NETFILTER_XTABLES is not set
333
334 #
335 # IP: Netfilter Configuration
336 #
337 # CONFIG_IP_NF_QUEUE is not set
338 # CONFIG_IP_NF_IPTABLES is not set
339 # CONFIG_IP_NF_ARPTABLES is not set
340
341 #
342 # IPv6: Netfilter Configuration
343 #
344 # CONFIG_IP6_NF_QUEUE is not set
345 # CONFIG_IP6_NF_IPTABLES is not set
346 # CONFIG_ATM is not set
347 # CONFIG_BRIDGE is not set
348 # CONFIG_VLAN_8021Q is not set
349 # CONFIG_DECNET is not set
350 # CONFIG_LLC2 is not set
351 # CONFIG_IPX is not set
352 # CONFIG_ATALK is not set
353 # CONFIG_NET_SCHED is not set
354
355 #
356 # Network testing
357 #
358 # CONFIG_NET_PKTGEN is not set
359 # CONFIG_HAMRADIO is not set
360 # CONFIG_CAN is not set
361 # CONFIG_IRDA is not set
362 # CONFIG_BT is not set
363
364 #
365 # Wireless
366 #
367 # CONFIG_CFG80211 is not set
368 # CONFIG_WIRELESS_EXT is not set
369 # CONFIG_MAC80211 is not set
370 # CONFIG_IEEE80211 is not set
371 # CONFIG_RFKILL is not set
372
373 #
374 # Device Drivers
375 #
376
377 #
378 # Generic Driver Options
379 #
380 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
381 CONFIG_STANDALONE=y
382 CONFIG_PREVENT_FIRMWARE_BUILD=y
383 # CONFIG_FW_LOADER is not set
384 # CONFIG_DEBUG_DRIVER is not set
385 # CONFIG_DEBUG_DEVRES is not set
386 # CONFIG_SYS_HYPERVISOR is not set
387 # CONFIG_CONNECTOR is not set
388 CONFIG_MTD=y
389 # CONFIG_MTD_DEBUG is not set
390 # CONFIG_MTD_CONCAT is not set
391 # CONFIG_MTD_PARTITIONS is not set
392
393 #
394 # User Modules And Translation Layers
395 #
396 CONFIG_MTD_CHAR=y
397 CONFIG_MTD_BLKDEVS=y
398 CONFIG_MTD_BLOCK=y
399 # CONFIG_FTL is not set
400 # CONFIG_NFTL is not set
401 # CONFIG_INFTL is not set
402 # CONFIG_RFD_FTL is not set
403 # CONFIG_SSFDC is not set
404 # CONFIG_MTD_OOPS is not set
405
406 #
407 # RAM/ROM/Flash chip drivers
408 #
409 # CONFIG_MTD_CFI is not set
410 CONFIG_MTD_JEDECPROBE=y
411 CONFIG_MTD_GEN_PROBE=y
412 CONFIG_MTD_CFI_ADV_OPTIONS=y
413 CONFIG_MTD_CFI_NOSWAP=y
414 # CONFIG_MTD_CFI_BE_BYTE_SWAP is not set
415 # CONFIG_MTD_CFI_LE_BYTE_SWAP is not set
416 CONFIG_MTD_CFI_GEOMETRY=y
417 # CONFIG_MTD_MAP_BANK_WIDTH_1 is not set
418 # CONFIG_MTD_MAP_BANK_WIDTH_2 is not set
419 CONFIG_MTD_MAP_BANK_WIDTH_4=y
420 # CONFIG_MTD_MAP_BANK_WIDTH_8 is not set
421 # CONFIG_MTD_MAP_BANK_WIDTH_16 is not set
422 # CONFIG_MTD_MAP_BANK_WIDTH_32 is not set
423 # CONFIG_MTD_CFI_I1 is not set
424 # CONFIG_MTD_CFI_I2 is not set
425 CONFIG_MTD_CFI_I4=y
426 # CONFIG_MTD_CFI_I8 is not set
427 # CONFIG_MTD_OTP is not set
428 CONFIG_MTD_CFI_INTELEXT=y
429 # CONFIG_MTD_CFI_AMDSTD is not set
430 # CONFIG_MTD_CFI_STAA is not set
431 CONFIG_MTD_CFI_UTIL=y
432 # CONFIG_MTD_RAM is not set
433 # CONFIG_MTD_ROM is not set
434 # CONFIG_MTD_ABSENT is not set
435
436 #
437 # Mapping drivers for chip access
438 #
439 # CONFIG_MTD_COMPLEX_MAPPINGS is not set
440 # CONFIG_MTD_PHYSMAP is not set
441 CONFIG_MTD_PHYSMAP_OF=y
442 # CONFIG_MTD_SBC8240 is not set
443 # CONFIG_MTD_INTEL_VR_NOR is not set
444 # CONFIG_MTD_PLATRAM is not set
445
446 #
447 # Self-contained MTD device drivers
448 #
449 # CONFIG_MTD_PMC551 is not set
450 # CONFIG_MTD_SLRAM is not set
451 # CONFIG_MTD_PHRAM is not set
452 # CONFIG_MTD_MTDRAM is not set
453 # CONFIG_MTD_BLOCK2MTD is not set
454
455 #
456 # Disk-On-Chip Device Drivers
457 #
458 # CONFIG_MTD_DOC2000 is not set
459 # CONFIG_MTD_DOC2001 is not set
460 # CONFIG_MTD_DOC2001PLUS is not set
461 # CONFIG_MTD_NAND is not set
462 # CONFIG_MTD_ONENAND is not set
463
464 #
465 # UBI - Unsorted block images
466 #
467 # CONFIG_MTD_UBI is not set
468 CONFIG_OF_DEVICE=y
469 CONFIG_OF_GPIO=y
470 # CONFIG_PARPORT is not set
471 CONFIG_BLK_DEV=y
472 # CONFIG_BLK_DEV_FD is not set
473 # CONFIG_MAC_FLOPPY is not set
474 # CONFIG_BLK_CPQ_DA is not set
475 # CONFIG_BLK_CPQ_CISS_DA is not set
476 # CONFIG_BLK_DEV_DAC960 is not set
477 # CONFIG_BLK_DEV_COW_COMMON is not set
478 CONFIG_BLK_DEV_LOOP=y
479 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
480 # CONFIG_BLK_DEV_NBD is not set
481 # CONFIG_BLK_DEV_SX8 is not set
482 # CONFIG_BLK_DEV_RAM is not set
483 # CONFIG_CDROM_PKTCDVD is not set
484 # CONFIG_ATA_OVER_ETH is not set
485 # CONFIG_BLK_DEV_HD is not set
486 # CONFIG_MISC_DEVICES is not set
487 CONFIG_HAVE_IDE=y
488 # CONFIG_IDE is not set
489
490 #
491 # SCSI device support
492 #
493 # CONFIG_RAID_ATTRS is not set
494 # CONFIG_SCSI is not set
495 # CONFIG_SCSI_DMA is not set
496 # CONFIG_SCSI_NETLINK is not set
497 # CONFIG_ATA is not set
498 # CONFIG_MD is not set
499 # CONFIG_FUSION is not set
500
501 #
502 # IEEE 1394 (FireWire) support
503 #
504
505 #
506 # A new alternative FireWire stack is available with EXPERIMENTAL=y
507 #
508 # CONFIG_IEEE1394 is not set
509 # CONFIG_I2O is not set
510 # CONFIG_MACINTOSH_DRIVERS is not set
511 CONFIG_NETDEVICES=y
512 # CONFIG_DUMMY is not set
513 # CONFIG_BONDING is not set
514 # CONFIG_EQUALIZER is not set
515 CONFIG_TUN=y
516 # CONFIG_VETH is not set
517 # CONFIG_ARCNET is not set
518 CONFIG_PHYLIB=y
519
520 #
521 # MII PHY device drivers
522 #
523 # CONFIG_MARVELL_PHY is not set
524 CONFIG_DAVICOM_PHY=y
525 # CONFIG_QSEMI_PHY is not set
526 # CONFIG_LXT_PHY is not set
527 # CONFIG_CICADA_PHY is not set
528 # CONFIG_VITESSE_PHY is not set
529 # CONFIG_SMSC_PHY is not set
530 # CONFIG_BROADCOM_PHY is not set
531 # CONFIG_ICPLUS_PHY is not set
532 # CONFIG_REALTEK_PHY is not set
533 # CONFIG_FIXED_PHY is not set
534 CONFIG_MDIO_BITBANG=y
535 # CONFIG_MDIO_OF_GPIO is not set
536 CONFIG_NET_ETHERNET=y
537 CONFIG_MII=y
538 # CONFIG_MACE is not set
539 # CONFIG_BMAC is not set
540 # CONFIG_HAPPYMEAL is not set
541 # CONFIG_SUNGEM is not set
542 # CONFIG_CASSINI is not set
543 # CONFIG_NET_VENDOR_3COM is not set
544 # CONFIG_NET_TULIP is not set
545 # CONFIG_HP100 is not set
546 # CONFIG_IBM_NEW_EMAC_ZMII is not set
547 # CONFIG_IBM_NEW_EMAC_RGMII is not set
548 # CONFIG_IBM_NEW_EMAC_TAH is not set
549 # CONFIG_IBM_NEW_EMAC_EMAC4 is not set
550 # CONFIG_NET_PCI is not set
551 # CONFIG_B44 is not set
552 CONFIG_FS_ENET=y
553 # CONFIG_FS_ENET_HAS_SCC is not set
554 CONFIG_FS_ENET_HAS_FCC=y
555 CONFIG_FS_ENET_MDIO_FCC=y
556 CONFIG_NETDEV_1000=y
557 # CONFIG_ACENIC is not set
558 # CONFIG_DL2K is not set
559 # CONFIG_E1000 is not set
560 # CONFIG_E1000E is not set
561 # CONFIG_IGB is not set
562 # CONFIG_NS83820 is not set
563 # CONFIG_HAMACHI is not set
564 # CONFIG_R8169 is not set
565 # CONFIG_SIS190 is not set
566 # CONFIG_SKGE is not set
567 # CONFIG_SKY2 is not set
568 # CONFIG_VIA_VELOCITY is not set
569 # CONFIG_TIGON3 is not set
570 # CONFIG_BNX2 is not set
571 # CONFIG_GIANFAR is not set
572 # CONFIG_MV643XX_ETH is not set
573 # CONFIG_QLA3XXX is not set
574 CONFIG_NETDEV_10000=y
575 # CONFIG_CHELSIO_T1 is not set
576 # CONFIG_CHELSIO_T3 is not set
577 # CONFIG_IXGBE is not set
578 # CONFIG_IXGB is not set
579 # CONFIG_S2IO is not set
580 # CONFIG_MYRI10GE is not set
581 # CONFIG_NETXEN_NIC is not set
582 # CONFIG_NIU is not set
583 # CONFIG_MLX4_CORE is not set
584 # CONFIG_TEHUTI is not set
585 # CONFIG_BNX2X is not set
586 # CONFIG_SFC is not set
587 # CONFIG_TR is not set
588
589 #
590 # Wireless LAN
591 #
592 # CONFIG_WLAN_PRE80211 is not set
593 # CONFIG_WLAN_80211 is not set
594 # CONFIG_IWLWIFI_LEDS is not set
595 # CONFIG_WAN is not set
596 # CONFIG_FDDI is not set
597 CONFIG_PPP=y
598 # CONFIG_PPP_FILTER is not set
599 CONFIG_PPP_ASYNC=y
600 CONFIG_PPP_SYNC_TTY=y
601 CONFIG_PPP_DEFLATE=y
602 # CONFIG_PPP_BSDCOMP is not set
603 # CONFIG_SLIP is not set
604 CONFIG_SLHC=y
605 # CONFIG_NETPOLL is not set
606 # CONFIG_NET_POLL_CONTROLLER is not set
607 # CONFIG_ISDN is not set
608 # CONFIG_PHONE is not set
609
610 #
611 # Input device support
612 #
613 CONFIG_INPUT=y
614 # CONFIG_INPUT_FF_MEMLESS is not set
615 # CONFIG_INPUT_POLLDEV is not set
616
617 #
618 # Userland interfaces
619 #
620 CONFIG_INPUT_MOUSEDEV=y
621 CONFIG_INPUT_MOUSEDEV_PSAUX=y
622 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
623 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
624 # CONFIG_INPUT_JOYDEV is not set
625 CONFIG_INPUT_EVDEV=y
626 # CONFIG_INPUT_EVBUG is not set
627
628 #
629 # Input Device Drivers
630 #
631 CONFIG_INPUT_KEYBOARD=y
632 CONFIG_KEYBOARD_ATKBD=y
633 # CONFIG_KEYBOARD_SUNKBD is not set
634 # CONFIG_KEYBOARD_LKKBD is not set
635 # CONFIG_KEYBOARD_XTKBD is not set
636 # CONFIG_KEYBOARD_NEWTON is not set
637 # CONFIG_KEYBOARD_STOWAWAY is not set
638 # CONFIG_KEYBOARD_GPIO is not set
639 CONFIG_INPUT_MOUSE=y
640 CONFIG_MOUSE_PS2=y
641 CONFIG_MOUSE_PS2_ALPS=y
642 CONFIG_MOUSE_PS2_LOGIPS2PP=y
643 CONFIG_MOUSE_PS2_SYNAPTICS=y
644 CONFIG_MOUSE_PS2_LIFEBOOK=y
645 CONFIG_MOUSE_PS2_TRACKPOINT=y
646 # CONFIG_MOUSE_PS2_TOUCHKIT is not set
647 # CONFIG_MOUSE_SERIAL is not set
648 # CONFIG_MOUSE_VSXXXAA is not set
649 # CONFIG_MOUSE_GPIO is not set
650 # CONFIG_INPUT_JOYSTICK is not set
651 # CONFIG_INPUT_TABLET is not set
652 # CONFIG_INPUT_TOUCHSCREEN is not set
653 # CONFIG_INPUT_MISC is not set
654
655 #
656 # Hardware I/O ports
657 #
658 CONFIG_SERIO=y
659 # CONFIG_SERIO_I8042 is not set
660 CONFIG_SERIO_SERPORT=y
661 # CONFIG_SERIO_PCIPS2 is not set
662 CONFIG_SERIO_LIBPS2=y
663 # CONFIG_SERIO_RAW is not set
664 # CONFIG_SERIO_XILINX_XPS_PS2 is not set
665 # CONFIG_GAMEPORT is not set
666
667 #
668 # Character devices
669 #
670 # CONFIG_VT is not set
671 CONFIG_DEVKMEM=y
672 # CONFIG_SERIAL_NONSTANDARD is not set
673
674 #
675 # Serial drivers
676 #
677 # CONFIG_SERIAL_8250 is not set
678
679 #
680 # Non-8250 serial port support
681 #
682 # CONFIG_SERIAL_UARTLITE is not set
683 CONFIG_SERIAL_CORE=y
684 CONFIG_SERIAL_CORE_CONSOLE=y
685 # CONFIG_SERIAL_PMACZILOG is not set
686 CONFIG_SERIAL_CPM=y
687 CONFIG_SERIAL_CPM_CONSOLE=y
688 CONFIG_SERIAL_CPM_SCC1=y
689 # CONFIG_SERIAL_CPM_SCC2 is not set
690 # CONFIG_SERIAL_CPM_SCC3 is not set
691 CONFIG_SERIAL_CPM_SCC4=y
692 # CONFIG_SERIAL_CPM_SMC1 is not set
693 # CONFIG_SERIAL_CPM_SMC2 is not set
694 # CONFIG_SERIAL_JSM is not set
695 CONFIG_UNIX98_PTYS=y
696 CONFIG_LEGACY_PTYS=y
697 CONFIG_LEGACY_PTY_COUNT=256
698 # CONFIG_BRIQ_PANEL is not set
699 # CONFIG_HVC_RTAS is not set
700 # CONFIG_IPMI_HANDLER is not set
701 CONFIG_HW_RANDOM=y
702 # CONFIG_NVRAM is not set
703 # CONFIG_GEN_RTC is not set
704 # CONFIG_R3964 is not set
705 # CONFIG_APPLICOM is not set
706 # CONFIG_RAW_DRIVER is not set
707 CONFIG_DEVPORT=y
708 # CONFIG_I2C is not set
709 # CONFIG_SPI is not set
710 CONFIG_ARCH_WANT_OPTIONAL_GPIOLIB=y
711 CONFIG_ARCH_REQUIRE_GPIOLIB=y
712 CONFIG_GPIOLIB=y
713 # CONFIG_DEBUG_GPIO is not set
714
715 #
716 # I2C GPIO expanders:
717 #
718
719 #
720 # PCI GPIO expanders:
721 #
722 # CONFIG_GPIO_BT8XX is not set
723
724 #
725 # SPI GPIO expanders:
726 #
727 # CONFIG_W1 is not set
728 # CONFIG_POWER_SUPPLY is not set
729 # CONFIG_HWMON is not set
730 # CONFIG_THERMAL is not set
731 # CONFIG_THERMAL_HWMON is not set
732 # CONFIG_WATCHDOG is not set
733
734 #
735 # Sonics Silicon Backplane
736 #
737 CONFIG_SSB_POSSIBLE=y
738 # CONFIG_SSB is not set
739
740 #
741 # Multifunction device drivers
742 #
743 # CONFIG_MFD_CORE is not set
744 # CONFIG_MFD_SM501 is not set
745 # CONFIG_HTC_PASIC3 is not set
746 # CONFIG_MFD_TMIO is not set
747
748 #
749 # Multimedia devices
750 #
751
752 #
753 # Multimedia core support
754 #
755 # CONFIG_VIDEO_DEV is not set
756 # CONFIG_DVB_CORE is not set
757 # CONFIG_VIDEO_MEDIA is not set
758
759 #
760 # Multimedia drivers
761 #
762 CONFIG_DAB=y
763
764 #
765 # Graphics support
766 #
767 # CONFIG_AGP is not set
768 # CONFIG_DRM is not set
769 # CONFIG_VGASTATE is not set
770 # CONFIG_VIDEO_OUTPUT_CONTROL is not set
771 # CONFIG_FB is not set
772 # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
773
774 #
775 # Display device support
776 #
777 # CONFIG_DISPLAY_SUPPORT is not set
778 # CONFIG_SOUND is not set
779 # CONFIG_HID_SUPPORT is not set
780 # CONFIG_USB_SUPPORT is not set
781 # CONFIG_MMC is not set
782 # CONFIG_MEMSTICK is not set
783 # CONFIG_NEW_LEDS is not set
784 # CONFIG_ACCESSIBILITY is not set
785 # CONFIG_INFINIBAND is not set
786 # CONFIG_RTC_CLASS is not set
787 # CONFIG_DMADEVICES is not set
788 # CONFIG_UIO is not set
789
790 #
791 # File systems
792 #
793 CONFIG_EXT2_FS=y
794 # CONFIG_EXT2_FS_XATTR is not set
795 # CONFIG_EXT2_FS_XIP is not set
796 CONFIG_EXT3_FS=y
797 CONFIG_EXT3_FS_XATTR=y
798 # CONFIG_EXT3_FS_POSIX_ACL is not set
799 # CONFIG_EXT3_FS_SECURITY is not set
800 CONFIG_JBD=y
801 CONFIG_FS_MBCACHE=y
802 # CONFIG_REISERFS_FS is not set
803 # CONFIG_JFS_FS is not set
804 CONFIG_FS_POSIX_ACL=y
805 # CONFIG_XFS_FS is not set
806 # CONFIG_OCFS2_FS is not set
807 CONFIG_DNOTIFY=y
808 CONFIG_INOTIFY=y
809 CONFIG_INOTIFY_USER=y
810 # CONFIG_QUOTA is not set
811 # CONFIG_AUTOFS_FS is not set
812 CONFIG_AUTOFS4_FS=y
813 # CONFIG_FUSE_FS is not set
814
815 #
816 # CD-ROM/DVD Filesystems
817 #
818 # CONFIG_ISO9660_FS is not set
819 # CONFIG_UDF_FS is not set
820
821 #
822 # DOS/FAT/NT Filesystems
823 #
824 # CONFIG_MSDOS_FS is not set
825 # CONFIG_VFAT_FS is not set
826 # CONFIG_NTFS_FS is not set
827
828 #
829 # Pseudo filesystems
830 #
831 CONFIG_PROC_FS=y
832 CONFIG_PROC_KCORE=y
833 CONFIG_PROC_SYSCTL=y
834 CONFIG_SYSFS=y
835 CONFIG_TMPFS=y
836 # CONFIG_TMPFS_POSIX_ACL is not set
837 # CONFIG_HUGETLB_PAGE is not set
838 # CONFIG_CONFIGFS_FS is not set
839
840 #
841 # Miscellaneous filesystems
842 #
843 # CONFIG_HFSPLUS_FS is not set
844 # CONFIG_JFFS2_FS is not set
845 CONFIG_CRAMFS=y
846 # CONFIG_VXFS_FS is not set
847 # CONFIG_MINIX_FS is not set
848 # CONFIG_OMFS_FS is not set
849 # CONFIG_HPFS_FS is not set
850 # CONFIG_QNX4FS_FS is not set
851 # CONFIG_ROMFS_FS is not set
852 # CONFIG_SYSV_FS is not set
853 # CONFIG_UFS_FS is not set
854 CONFIG_NETWORK_FILESYSTEMS=y
855 CONFIG_NFS_FS=y
856 CONFIG_NFS_V3=y
857 CONFIG_NFS_V3_ACL=y
858 CONFIG_ROOT_NFS=y
859 # CONFIG_NFSD is not set
860 CONFIG_LOCKD=y
861 CONFIG_LOCKD_V4=y
862 CONFIG_NFS_ACL_SUPPORT=y
863 CONFIG_NFS_COMMON=y
864 CONFIG_SUNRPC=y
865 # CONFIG_SMB_FS is not set
866 # CONFIG_CIFS is not set
867 # CONFIG_NCP_FS is not set
868 # CONFIG_CODA_FS is not set
869
870 #
871 # Partition Types
872 #
873 CONFIG_PARTITION_ADVANCED=y
874 # CONFIG_ACORN_PARTITION is not set
875 # CONFIG_OSF_PARTITION is not set
876 # CONFIG_AMIGA_PARTITION is not set
877 # CONFIG_ATARI_PARTITION is not set
878 # CONFIG_MAC_PARTITION is not set
879 CONFIG_MSDOS_PARTITION=y
880 # CONFIG_BSD_DISKLABEL is not set
881 # CONFIG_MINIX_SUBPARTITION is not set
882 # CONFIG_SOLARIS_X86_PARTITION is not set
883 # CONFIG_UNIXWARE_DISKLABEL is not set
884 # CONFIG_LDM_PARTITION is not set
885 # CONFIG_SGI_PARTITION is not set
886 # CONFIG_ULTRIX_PARTITION is not set
887 # CONFIG_SUN_PARTITION is not set
888 # CONFIG_KARMA_PARTITION is not set
889 # CONFIG_EFI_PARTITION is not set
890 # CONFIG_SYSV68_PARTITION is not set
891 CONFIG_NLS=y
892 CONFIG_NLS_DEFAULT="iso8859-1"
893 CONFIG_NLS_CODEPAGE_437=y
894 # CONFIG_NLS_CODEPAGE_737 is not set
895 # CONFIG_NLS_CODEPAGE_775 is not set
896 # CONFIG_NLS_CODEPAGE_850 is not set
897 # CONFIG_NLS_CODEPAGE_852 is not set
898 # CONFIG_NLS_CODEPAGE_855 is not set
899 # CONFIG_NLS_CODEPAGE_857 is not set
900 # CONFIG_NLS_CODEPAGE_860 is not set
901 # CONFIG_NLS_CODEPAGE_861 is not set
902 # CONFIG_NLS_CODEPAGE_862 is not set
903 # CONFIG_NLS_CODEPAGE_863 is not set
904 # CONFIG_NLS_CODEPAGE_864 is not set
905 # CONFIG_NLS_CODEPAGE_865 is not set
906 # CONFIG_NLS_CODEPAGE_866 is not set
907 # CONFIG_NLS_CODEPAGE_869 is not set
908 # CONFIG_NLS_CODEPAGE_936 is not set
909 # CONFIG_NLS_CODEPAGE_950 is not set
910 # CONFIG_NLS_CODEPAGE_932 is not set
911 # CONFIG_NLS_CODEPAGE_949 is not set
912 # CONFIG_NLS_CODEPAGE_874 is not set
913 # CONFIG_NLS_ISO8859_8 is not set
914 # CONFIG_NLS_CODEPAGE_1250 is not set
915 # CONFIG_NLS_CODEPAGE_1251 is not set
916 CONFIG_NLS_ASCII=y
917 CONFIG_NLS_ISO8859_1=y
918 # CONFIG_NLS_ISO8859_2 is not set
919 # CONFIG_NLS_ISO8859_3 is not set
920 # CONFIG_NLS_ISO8859_4 is not set
921 # CONFIG_NLS_ISO8859_5 is not set
922 # CONFIG_NLS_ISO8859_6 is not set
923 # CONFIG_NLS_ISO8859_7 is not set
924 # CONFIG_NLS_ISO8859_9 is not set
925 # CONFIG_NLS_ISO8859_13 is not set
926 # CONFIG_NLS_ISO8859_14 is not set
927 # CONFIG_NLS_ISO8859_15 is not set
928 # CONFIG_NLS_KOI8_R is not set
929 # CONFIG_NLS_KOI8_U is not set
930 CONFIG_NLS_UTF8=y
931
932 #
933 # Library routines
934 #
935 CONFIG_BITREVERSE=y
936 # CONFIG_GENERIC_FIND_FIRST_BIT is not set
937 CONFIG_CRC_CCITT=y
938 # CONFIG_CRC16 is not set
939 # CONFIG_CRC_T10DIF is not set
940 # CONFIG_CRC_ITU_T is not set
941 CONFIG_CRC32=y
942 # CONFIG_CRC7 is not set
943 # CONFIG_LIBCRC32C is not set
944 CONFIG_ZLIB_INFLATE=y
945 CONFIG_ZLIB_DEFLATE=y
946 CONFIG_PLIST=y
947 CONFIG_HAS_IOMEM=y
948 CONFIG_HAS_IOPORT=y
949 CONFIG_HAS_DMA=y
950 CONFIG_HAVE_LMB=y
951
952 #
953 # Kernel hacking
954 #
955 # CONFIG_PRINTK_TIME is not set
956 CONFIG_ENABLE_WARN_DEPRECATED=y
957 CONFIG_ENABLE_MUST_CHECK=y
958 CONFIG_FRAME_WARN=1024
959 CONFIG_MAGIC_SYSRQ=y
960 # CONFIG_UNUSED_SYMBOLS is not set
961 # CONFIG_DEBUG_FS is not set
962 # CONFIG_HEADERS_CHECK is not set
963 CONFIG_DEBUG_KERNEL=y
964 # CONFIG_DEBUG_SHIRQ is not set
965 CONFIG_DETECT_SOFTLOCKUP=y
966 # CONFIG_BOOTPARAM_SOFTLOCKUP_PANIC is not set
967 CONFIG_BOOTPARAM_SOFTLOCKUP_PANIC_VALUE=0
968 CONFIG_SCHED_DEBUG=y
969 # CONFIG_SCHEDSTATS is not set
970 # CONFIG_TIMER_STATS is not set
971 # CONFIG_DEBUG_OBJECTS is not set
972 # CONFIG_SLUB_DEBUG_ON is not set
973 # CONFIG_SLUB_STATS is not set
974 # CONFIG_DEBUG_RT_MUTEXES is not set
975 # CONFIG_RT_MUTEX_TESTER is not set
976 # CONFIG_DEBUG_SPINLOCK is not set
977 # CONFIG_DEBUG_MUTEXES is not set
978 # CONFIG_DEBUG_SPINLOCK_SLEEP is not set
979 # CONFIG_DEBUG_LOCKING_API_SELFTESTS is not set
980 # CONFIG_DEBUG_KOBJECT is not set
981 CONFIG_DEBUG_BUGVERBOSE=y
982 CONFIG_DEBUG_INFO=y
983 # CONFIG_DEBUG_VM is not set
984 # CONFIG_DEBUG_WRITECOUNT is not set
985 # CONFIG_DEBUG_MEMORY_INIT is not set
986 # CONFIG_DEBUG_LIST is not set
987 # CONFIG_DEBUG_SG is not set
988 # CONFIG_BOOT_PRINTK_DELAY is not set
989 # CONFIG_RCU_TORTURE_TEST is not set
990 # CONFIG_BACKTRACE_SELF_TEST is not set
991 # CONFIG_FAULT_INJECTION is not set
992 # CONFIG_LATENCYTOP is not set
993 CONFIG_SYSCTL_SYSCALL_CHECK=y
994 CONFIG_HAVE_FTRACE=y
995 CONFIG_HAVE_DYNAMIC_FTRACE=y
996 # CONFIG_FTRACE is not set
997 # CONFIG_SCHED_TRACER is not set
998 # CONFIG_CONTEXT_SWITCH_TRACER is not set
999 # CONFIG_SAMPLES is not set
1000 CONFIG_HAVE_ARCH_KGDB=y
1001 # CONFIG_DEBUG_STACKOVERFLOW is not set
1002 # CONFIG_DEBUG_STACK_USAGE is not set
1003 # CONFIG_DEBUG_PAGEALLOC is not set
1004 # CONFIG_CODE_PATCHING_SELFTEST is not set
1005 # CONFIG_FTR_FIXUP_SELFTEST is not set
1006 # CONFIG_XMON is not set
1007 # CONFIG_IRQSTACKS is not set
1008 CONFIG_BDI_SWITCH=y
1009 # CONFIG_BOOTX_TEXT is not set
1010 # CONFIG_PPC_EARLY_DEBUG is not set
1011
1012 #
1013 # Security options
1014 #
1015 # CONFIG_KEYS is not set
1016 # CONFIG_SECURITY is not set
1017 # CONFIG_SECURITY_FILE_CAPABILITIES is not set
1018 CONFIG_CRYPTO=y
1019
1020 #
1021 # Crypto core or helper
1022 #
1023 CONFIG_CRYPTO_ALGAPI=y
1024 CONFIG_CRYPTO_BLKCIPHER=y
1025 CONFIG_CRYPTO_MANAGER=y
1026 # CONFIG_CRYPTO_NULL is not set
1027 # CONFIG_CRYPTO_CRYPTD is not set
1028 # CONFIG_CRYPTO_AUTHENC is not set
1029
1030 #
1031 # Authenticated Encryption with Associated Data
1032 #
1033 # CONFIG_CRYPTO_CCM is not set
1034 # CONFIG_CRYPTO_GCM is not set
1035 # CONFIG_CRYPTO_SEQIV is not set
1036
1037 #
1038 # Block modes
1039 #
1040 CONFIG_CRYPTO_CBC=y
1041 # CONFIG_CRYPTO_CTR is not set
1042 # CONFIG_CRYPTO_CTS is not set
1043 CONFIG_CRYPTO_ECB=y
1044 CONFIG_CRYPTO_PCBC=y
1045
1046 #
1047 # Hash modes
1048 #
1049 # CONFIG_CRYPTO_HMAC is not set
1050
1051 #
1052 # Digest
1053 #
1054 # CONFIG_CRYPTO_CRC32C is not set
1055 # CONFIG_CRYPTO_MD4 is not set
1056 CONFIG_CRYPTO_MD5=y
1057 # CONFIG_CRYPTO_MICHAEL_MIC is not set
1058 # CONFIG_CRYPTO_RMD128 is not set
1059 # CONFIG_CRYPTO_RMD160 is not set
1060 # CONFIG_CRYPTO_RMD256 is not set
1061 # CONFIG_CRYPTO_RMD320 is not set
1062 # CONFIG_CRYPTO_SHA1 is not set
1063 # CONFIG_CRYPTO_SHA256 is not set
1064 # CONFIG_CRYPTO_SHA512 is not set
1065 # CONFIG_CRYPTO_TGR192 is not set
1066 # CONFIG_CRYPTO_WP512 is not set
1067
1068 #
1069 # Ciphers
1070 #
1071 # CONFIG_CRYPTO_AES is not set
1072 # CONFIG_CRYPTO_ANUBIS is not set
1073 # CONFIG_CRYPTO_ARC4 is not set
1074 # CONFIG_CRYPTO_BLOWFISH is not set
1075 # CONFIG_CRYPTO_CAMELLIA is not set
1076 # CONFIG_CRYPTO_CAST5 is not set
1077 # CONFIG_CRYPTO_CAST6 is not set
1078 CONFIG_CRYPTO_DES=y
1079 # CONFIG_CRYPTO_FCRYPT is not set
1080 # CONFIG_CRYPTO_KHAZAD is not set
1081 # CONFIG_CRYPTO_SEED is not set
1082 # CONFIG_CRYPTO_SERPENT is not set
1083 # CONFIG_CRYPTO_TEA is not set
1084 # CONFIG_CRYPTO_TWOFISH is not set
1085
1086 #
1087 # Compression
1088 #
1089 # CONFIG_CRYPTO_DEFLATE is not set
1090 # CONFIG_CRYPTO_LZO is not set
1091 # CONFIG_CRYPTO_HW is not set
1092 CONFIG_PPC_CLOCK=y
1093 CONFIG_PPC_LIB_RHEAP=y
1094 # CONFIG_VIRTUALIZATION is not set