2 # Automatically generated make config: don't edit
3 # Linux kernel version: 2.6.24-rc4
4 # Thu Dec 6 16:48:59 2007
6 # CONFIG_PPC64 is not set
11 # CONFIG_6xx is not set
12 # CONFIG_PPC_85xx is not set
14 # CONFIG_40x is not set
15 # CONFIG_44x is not set
16 # CONFIG_E200 is not set
18 # CONFIG_PPC_MM_SLICES is not set
19 CONFIG_NOT_COHERENT_CACHE=y
24 CONFIG_GENERIC_CMOS_UPDATE=y
26 CONFIG_GENERIC_TIME_VSYSCALL=y
27 CONFIG_GENERIC_CLOCKEVENTS=y
28 CONFIG_GENERIC_HARDIRQS=y
30 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
31 CONFIG_ARCH_HAS_ILOG2_U32=y
32 CONFIG_GENERIC_HWEIGHT=y
33 CONFIG_GENERIC_CALIBRATE_DELAY=y
34 CONFIG_GENERIC_FIND_NEXT_BIT=y
35 # CONFIG_ARCH_NO_VIRT_TO_BUS is not set
38 CONFIG_GENERIC_NVRAM=y
39 CONFIG_SCHED_NO_NO_OMIT_FRAME_POINTER=y
40 CONFIG_ARCH_MAY_HAVE_PC_FDC=y
43 # CONFIG_PPC_UDBG_16550 is not set
44 # CONFIG_GENERIC_TBSYNC is not set
46 # CONFIG_DEFAULT_UIMAGE is not set
47 # CONFIG_PPC_DCR_NATIVE is not set
48 # CONFIG_PPC_DCR_MMIO is not set
49 CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config"
55 CONFIG_BROKEN_ON_SMP=y
56 CONFIG_INIT_ENV_ARG_LIMIT=32
57 CONFIG_LOCALVERSION=""
58 CONFIG_LOCALVERSION_AUTO=y
59 # CONFIG_SWAP is not set
61 CONFIG_SYSVIPC_SYSCTL=y
62 # CONFIG_POSIX_MQUEUE is not set
63 # CONFIG_BSD_PROCESS_ACCT is not set
64 # CONFIG_TASKSTATS is not set
65 # CONFIG_USER_NS is not set
66 # CONFIG_PID_NS is not set
67 # CONFIG_AUDIT is not set
68 # CONFIG_IKCONFIG is not set
69 CONFIG_LOG_BUF_SHIFT=14
70 # CONFIG_CGROUPS is not set
71 # CONFIG_FAIR_GROUP_SCHED is not set
72 CONFIG_SYSFS_DEPRECATED=y
73 # CONFIG_RELAY is not set
74 # CONFIG_BLK_DEV_INITRD is not set
75 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
78 # CONFIG_SYSCTL_SYSCALL is not set
80 # CONFIG_KALLSYMS_EXTRA_PASS is not set
81 # CONFIG_HOTPLUG is not set
83 # CONFIG_BUG is not set
85 # CONFIG_BASE_FULL is not set
88 # CONFIG_EPOLL is not set
92 # CONFIG_VM_EVENT_COUNTERS is not set
94 # CONFIG_SLAB is not set
96 # CONFIG_SLOB is not set
98 # CONFIG_TINY_SHMEM is not set
100 # CONFIG_MODULES is not set
102 # CONFIG_LBD is not set
103 # CONFIG_BLK_DEV_IO_TRACE is not set
104 # CONFIG_LSF is not set
105 # CONFIG_BLK_DEV_BSG is not set
110 CONFIG_IOSCHED_NOOP=y
112 CONFIG_IOSCHED_DEADLINE=y
115 # CONFIG_DEFAULT_DEADLINE is not set
116 # CONFIG_DEFAULT_CFQ is not set
117 # CONFIG_DEFAULT_NOOP is not set
118 CONFIG_DEFAULT_IOSCHED="anticipatory"
123 # CONFIG_PPC_MPC52xx is not set
124 # CONFIG_PPC_MPC5200 is not set
125 # CONFIG_PPC_CELL is not set
126 # CONFIG_PPC_CELL_NATIVE is not set
128 # CONFIG_MPC8XXFADS is not set
130 # CONFIG_MPC885ADS is not set
131 # CONFIG_PPC_EP88XC is not set
138 # Generic MPC8xx Options
140 CONFIG_8xx_COPYBACK=y
143 CONFIG_NO_UCODE_PATCH=y
144 # CONFIG_USB_SOF_UCODE_PATCH is not set
145 # CONFIG_I2C_SPI_UCODE_PATCH is not set
146 # CONFIG_I2C_SPI_SMC1_UCODE_PATCH is not set
147 # CONFIG_PQ2ADS is not set
148 # CONFIG_MPIC is not set
149 # CONFIG_MPIC_WEIRD is not set
150 # CONFIG_PPC_I8259 is not set
151 # CONFIG_PPC_RTAS is not set
152 # CONFIG_MMIO_NVRAM is not set
153 # CONFIG_PPC_MPC106 is not set
154 # CONFIG_PPC_970_NAP is not set
155 # CONFIG_PPC_INDIRECT_IO is not set
156 # CONFIG_GENERIC_IOMAP is not set
157 # CONFIG_CPU_FREQ is not set
158 # CONFIG_CPM2 is not set
159 # CONFIG_FSL_ULI1575 is not set
165 # CONFIG_HIGHMEM is not set
166 CONFIG_TICK_ONESHOT=y
168 CONFIG_HIGH_RES_TIMERS=y
169 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
170 # CONFIG_HZ_100 is not set
171 # CONFIG_HZ_250 is not set
172 # CONFIG_HZ_300 is not set
175 CONFIG_PREEMPT_NONE=y
176 # CONFIG_PREEMPT_VOLUNTARY is not set
177 # CONFIG_PREEMPT is not set
179 # CONFIG_BINFMT_MISC is not set
180 CONFIG_MATH_EMULATION=y
181 CONFIG_ARCH_ENABLE_MEMORY_HOTPLUG=y
182 CONFIG_ARCH_FLATMEM_ENABLE=y
183 CONFIG_ARCH_POPULATES_NODE_MAP=y
184 CONFIG_SELECT_MEMORY_MODEL=y
185 CONFIG_FLATMEM_MANUAL=y
186 # CONFIG_DISCONTIGMEM_MANUAL is not set
187 # CONFIG_SPARSEMEM_MANUAL is not set
189 CONFIG_FLAT_NODE_MEM_MAP=y
190 # CONFIG_SPARSEMEM_STATIC is not set
191 # CONFIG_SPARSEMEM_VMEMMAP_ENABLE is not set
192 CONFIG_SPLIT_PTLOCK_CPUS=4
193 # CONFIG_RESOURCES_64BIT is not set
194 CONFIG_ZONE_DMA_FLAG=1
197 # CONFIG_PROC_DEVICETREE is not set
198 # CONFIG_CMDLINE_BOOL is not set
199 # CONFIG_PM is not set
200 CONFIG_SUSPEND_UP_POSSIBLE=y
201 CONFIG_HIBERNATION_UP_POSSIBLE=y
202 # CONFIG_SECCOMP is not set
203 CONFIG_WANT_DEVICE_TREE=y
204 CONFIG_DEVICE_TREE=""
212 # CONFIG_PCI is not set
213 # CONFIG_PCI_DOMAINS is not set
214 # CONFIG_PCI_SYSCALL is not set
215 # CONFIG_PCI_QSPAN is not set
216 # CONFIG_ARCH_SUPPORTS_MSI is not set
221 # CONFIG_ADVANCED_OPTIONS is not set
224 # Default settings for advanced configuration options are used
226 CONFIG_HIGHMEM_START=0xfe000000
227 CONFIG_LOWMEM_SIZE=0x30000000
228 CONFIG_KERNEL_START=0xc0000000
229 CONFIG_TASK_SIZE=0x80000000
230 CONFIG_CONSISTENT_START=0xfd000000
231 CONFIG_CONSISTENT_SIZE=0x00200000
232 CONFIG_BOOT_LOAD=0x00400000
243 # CONFIG_PACKET_MMAP is not set
246 # CONFIG_XFRM_USER is not set
247 # CONFIG_XFRM_SUB_POLICY is not set
248 # CONFIG_XFRM_MIGRATE is not set
249 # CONFIG_NET_KEY is not set
251 CONFIG_IP_MULTICAST=y
252 # CONFIG_IP_ADVANCED_ROUTER is not set
255 # CONFIG_IP_PNP_DHCP is not set
256 # CONFIG_IP_PNP_BOOTP is not set
257 # CONFIG_IP_PNP_RARP is not set
258 # CONFIG_NET_IPIP is not set
259 # CONFIG_NET_IPGRE is not set
260 # CONFIG_IP_MROUTE is not set
261 # CONFIG_ARPD is not set
263 # CONFIG_INET_AH is not set
264 # CONFIG_INET_ESP is not set
265 # CONFIG_INET_IPCOMP is not set
266 # CONFIG_INET_XFRM_TUNNEL is not set
267 # CONFIG_INET_TUNNEL is not set
268 CONFIG_INET_XFRM_MODE_TRANSPORT=y
269 CONFIG_INET_XFRM_MODE_TUNNEL=y
270 CONFIG_INET_XFRM_MODE_BEET=y
271 # CONFIG_INET_LRO is not set
273 CONFIG_INET_TCP_DIAG=y
274 # CONFIG_TCP_CONG_ADVANCED is not set
275 CONFIG_TCP_CONG_CUBIC=y
276 CONFIG_DEFAULT_TCP_CONG="cubic"
277 # CONFIG_TCP_MD5SIG is not set
278 # CONFIG_IPV6 is not set
279 # CONFIG_INET6_XFRM_TUNNEL is not set
280 # CONFIG_INET6_TUNNEL is not set
281 # CONFIG_NETWORK_SECMARK is not set
282 # CONFIG_NETFILTER is not set
283 # CONFIG_IP_DCCP is not set
284 # CONFIG_IP_SCTP is not set
285 # CONFIG_TIPC is not set
286 # CONFIG_ATM is not set
287 # CONFIG_BRIDGE is not set
288 # CONFIG_VLAN_8021Q is not set
289 # CONFIG_DECNET is not set
290 # CONFIG_LLC2 is not set
291 # CONFIG_IPX is not set
292 # CONFIG_ATALK is not set
293 # CONFIG_X25 is not set
294 # CONFIG_LAPB is not set
295 # CONFIG_ECONET is not set
296 # CONFIG_WAN_ROUTER is not set
297 # CONFIG_NET_SCHED is not set
302 # CONFIG_NET_PKTGEN is not set
303 # CONFIG_HAMRADIO is not set
304 # CONFIG_IRDA is not set
305 # CONFIG_BT is not set
306 # CONFIG_AF_RXRPC is not set
311 # CONFIG_CFG80211 is not set
312 # CONFIG_WIRELESS_EXT is not set
313 # CONFIG_MAC80211 is not set
314 # CONFIG_IEEE80211 is not set
315 # CONFIG_RFKILL is not set
316 # CONFIG_NET_9P is not set
323 # Generic Driver Options
326 CONFIG_PREVENT_FIRMWARE_BUILD=y
327 # CONFIG_SYS_HYPERVISOR is not set
328 # CONFIG_CONNECTOR is not set
329 # CONFIG_MTD is not set
331 # CONFIG_PARPORT is not set
333 # CONFIG_BLK_DEV_FD is not set
334 # CONFIG_BLK_DEV_COW_COMMON is not set
335 CONFIG_BLK_DEV_LOOP=y
336 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
337 # CONFIG_BLK_DEV_NBD is not set
338 # CONFIG_BLK_DEV_RAM is not set
339 # CONFIG_CDROM_PKTCDVD is not set
340 # CONFIG_ATA_OVER_ETH is not set
341 CONFIG_MISC_DEVICES=y
342 # CONFIG_EEPROM_93CX6 is not set
343 # CONFIG_IDE is not set
346 # SCSI device support
348 # CONFIG_RAID_ATTRS is not set
349 # CONFIG_SCSI is not set
350 # CONFIG_SCSI_DMA is not set
351 # CONFIG_SCSI_NETLINK is not set
352 # CONFIG_ATA is not set
353 # CONFIG_MD is not set
354 # CONFIG_MACINTOSH_DRIVERS is not set
356 # CONFIG_NETDEVICES_MULTIQUEUE is not set
357 # CONFIG_DUMMY is not set
358 # CONFIG_BONDING is not set
359 # CONFIG_MACVLAN is not set
360 # CONFIG_EQUALIZER is not set
361 # CONFIG_TUN is not set
362 # CONFIG_VETH is not set
366 # MII PHY device drivers
368 # CONFIG_MARVELL_PHY is not set
369 # CONFIG_DAVICOM_PHY is not set
370 # CONFIG_QSEMI_PHY is not set
371 # CONFIG_LXT_PHY is not set
372 # CONFIG_CICADA_PHY is not set
373 # CONFIG_VITESSE_PHY is not set
374 # CONFIG_SMSC_PHY is not set
375 # CONFIG_BROADCOM_PHY is not set
376 # CONFIG_ICPLUS_PHY is not set
378 CONFIG_FIXED_MII_10_FDX=y
379 CONFIG_FIXED_MII_100_FDX=y
380 # CONFIG_FIXED_MII_1000_FDX is not set
381 CONFIG_FIXED_MII_AMNT=1
382 # CONFIG_MDIO_BITBANG is not set
383 CONFIG_NET_ETHERNET=y
385 # CONFIG_IBM_NEW_EMAC_ZMII is not set
386 # CONFIG_IBM_NEW_EMAC_RGMII is not set
387 # CONFIG_IBM_NEW_EMAC_TAH is not set
388 # CONFIG_IBM_NEW_EMAC_EMAC4 is not set
389 # CONFIG_B44 is not set
391 CONFIG_FS_ENET_HAS_SCC=y
392 CONFIG_FS_ENET_HAS_FEC=y
393 CONFIG_FS_ENET_MDIO_FEC=y
395 CONFIG_NETDEV_10000=y
400 # CONFIG_WLAN_PRE80211 is not set
401 # CONFIG_WLAN_80211 is not set
402 # CONFIG_WAN is not set
403 # CONFIG_PPP is not set
404 # CONFIG_SLIP is not set
405 # CONFIG_SHAPER is not set
406 # CONFIG_NETCONSOLE is not set
407 # CONFIG_NETPOLL is not set
408 # CONFIG_NET_POLL_CONTROLLER is not set
409 # CONFIG_ISDN is not set
410 # CONFIG_PHONE is not set
413 # Input device support
416 # CONFIG_INPUT_FF_MEMLESS is not set
417 # CONFIG_INPUT_POLLDEV is not set
420 # Userland interfaces
422 CONFIG_INPUT_MOUSEDEV=y
423 CONFIG_INPUT_MOUSEDEV_PSAUX=y
424 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
425 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
426 # CONFIG_INPUT_JOYDEV is not set
427 # CONFIG_INPUT_EVDEV is not set
428 # CONFIG_INPUT_EVBUG is not set
431 # Input Device Drivers
433 CONFIG_INPUT_KEYBOARD=y
434 CONFIG_KEYBOARD_ATKBD=y
435 # CONFIG_KEYBOARD_SUNKBD is not set
436 # CONFIG_KEYBOARD_LKKBD is not set
437 # CONFIG_KEYBOARD_XTKBD is not set
438 # CONFIG_KEYBOARD_NEWTON is not set
439 # CONFIG_KEYBOARD_STOWAWAY is not set
442 CONFIG_MOUSE_PS2_ALPS=y
443 CONFIG_MOUSE_PS2_LOGIPS2PP=y
444 CONFIG_MOUSE_PS2_SYNAPTICS=y
445 CONFIG_MOUSE_PS2_LIFEBOOK=y
446 CONFIG_MOUSE_PS2_TRACKPOINT=y
447 # CONFIG_MOUSE_PS2_TOUCHKIT is not set
448 # CONFIG_MOUSE_SERIAL is not set
449 # CONFIG_MOUSE_VSXXXAA is not set
450 # CONFIG_INPUT_JOYSTICK is not set
451 # CONFIG_INPUT_TABLET is not set
452 # CONFIG_INPUT_TOUCHSCREEN is not set
453 # CONFIG_INPUT_MISC is not set
460 CONFIG_SERIO_SERPORT=y
461 CONFIG_SERIO_LIBPS2=y
462 # CONFIG_SERIO_RAW is not set
463 # CONFIG_GAMEPORT is not set
468 # CONFIG_VT is not set
469 # CONFIG_SERIAL_NONSTANDARD is not set
474 # CONFIG_SERIAL_8250 is not set
477 # Non-8250 serial port support
479 # CONFIG_SERIAL_UARTLITE is not set
481 CONFIG_SERIAL_CORE_CONSOLE=y
483 CONFIG_SERIAL_CPM_CONSOLE=y
484 # CONFIG_SERIAL_CPM_SCC1 is not set
485 # CONFIG_SERIAL_CPM_SCC2 is not set
486 # CONFIG_SERIAL_CPM_SCC3 is not set
487 # CONFIG_SERIAL_CPM_SCC4 is not set
488 CONFIG_SERIAL_CPM_SMC1=y
489 CONFIG_SERIAL_CPM_SMC2=y
491 # CONFIG_LEGACY_PTYS is not set
492 # CONFIG_IPMI_HANDLER is not set
494 # CONFIG_NVRAM is not set
496 # CONFIG_GEN_RTC_X is not set
497 # CONFIG_R3964 is not set
498 # CONFIG_RAW_DRIVER is not set
499 # CONFIG_TCG_TPM is not set
500 # CONFIG_I2C is not set
505 # CONFIG_SPI is not set
506 # CONFIG_SPI_MASTER is not set
507 # CONFIG_W1 is not set
508 # CONFIG_POWER_SUPPLY is not set
510 # CONFIG_HWMON_VID is not set
511 # CONFIG_SENSORS_F71805F is not set
512 # CONFIG_SENSORS_F71882FG is not set
513 # CONFIG_SENSORS_IT87 is not set
514 # CONFIG_SENSORS_PC87360 is not set
515 # CONFIG_SENSORS_PC87427 is not set
516 # CONFIG_SENSORS_SMSC47M1 is not set
517 # CONFIG_SENSORS_SMSC47B397 is not set
518 # CONFIG_SENSORS_VT1211 is not set
519 # CONFIG_SENSORS_W83627HF is not set
520 # CONFIG_SENSORS_W83627EHF is not set
521 # CONFIG_HWMON_DEBUG_CHIP is not set
522 # CONFIG_WATCHDOG is not set
525 # Sonics Silicon Backplane
527 CONFIG_SSB_POSSIBLE=y
528 # CONFIG_SSB is not set
531 # Multifunction device drivers
533 # CONFIG_MFD_SM501 is not set
538 # CONFIG_VIDEO_DEV is not set
539 # CONFIG_DVB_CORE is not set
545 # CONFIG_VGASTATE is not set
546 CONFIG_VIDEO_OUTPUT_CONTROL=y
547 # CONFIG_FB is not set
548 # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
551 # Display device support
553 # CONFIG_DISPLAY_SUPPORT is not set
558 # CONFIG_SOUND is not set
561 # CONFIG_HID_DEBUG is not set
562 # CONFIG_HIDRAW is not set
564 # CONFIG_USB_ARCH_HAS_HCD is not set
565 # CONFIG_USB_ARCH_HAS_OHCI is not set
566 # CONFIG_USB_ARCH_HAS_EHCI is not set
569 # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support'
575 # CONFIG_USB_GADGET is not set
576 # CONFIG_MMC is not set
577 # CONFIG_NEW_LEDS is not set
578 # CONFIG_EDAC is not set
579 # CONFIG_RTC_CLASS is not set
584 # CONFIG_UIO is not set
590 CONFIG_EXT2_FS_XATTR=y
591 # CONFIG_EXT2_FS_POSIX_ACL is not set
592 # CONFIG_EXT2_FS_SECURITY is not set
593 # CONFIG_EXT2_FS_XIP is not set
595 CONFIG_EXT3_FS_XATTR=y
596 # CONFIG_EXT3_FS_POSIX_ACL is not set
597 # CONFIG_EXT3_FS_SECURITY is not set
598 # CONFIG_EXT4DEV_FS is not set
601 # CONFIG_REISERFS_FS is not set
602 # CONFIG_JFS_FS is not set
603 # CONFIG_FS_POSIX_ACL is not set
604 # CONFIG_XFS_FS is not set
605 # CONFIG_GFS2_FS is not set
606 # CONFIG_OCFS2_FS is not set
607 # CONFIG_MINIX_FS is not set
608 # CONFIG_ROMFS_FS is not set
610 CONFIG_INOTIFY_USER=y
611 # CONFIG_QUOTA is not set
613 # CONFIG_AUTOFS_FS is not set
614 # CONFIG_AUTOFS4_FS is not set
615 # CONFIG_FUSE_FS is not set
618 # CD-ROM/DVD Filesystems
620 # CONFIG_ISO9660_FS is not set
621 # CONFIG_UDF_FS is not set
624 # DOS/FAT/NT Filesystems
626 # CONFIG_MSDOS_FS is not set
627 # CONFIG_VFAT_FS is not set
628 # CONFIG_NTFS_FS is not set
634 # CONFIG_PROC_KCORE is not set
638 # CONFIG_TMPFS_POSIX_ACL is not set
639 # CONFIG_HUGETLB_PAGE is not set
640 # CONFIG_CONFIGFS_FS is not set
643 # Miscellaneous filesystems
645 # CONFIG_ADFS_FS is not set
646 # CONFIG_AFFS_FS is not set
647 # CONFIG_HFS_FS is not set
648 # CONFIG_HFSPLUS_FS is not set
649 # CONFIG_BEFS_FS is not set
650 # CONFIG_BFS_FS is not set
651 # CONFIG_EFS_FS is not set
653 # CONFIG_VXFS_FS is not set
654 # CONFIG_HPFS_FS is not set
655 # CONFIG_QNX4FS_FS is not set
656 # CONFIG_SYSV_FS is not set
657 # CONFIG_UFS_FS is not set
658 CONFIG_NETWORK_FILESYSTEMS=y
661 # CONFIG_NFS_V3_ACL is not set
662 # CONFIG_NFS_V4 is not set
663 # CONFIG_NFS_DIRECTIO is not set
664 # CONFIG_NFSD is not set
670 # CONFIG_SUNRPC_BIND34 is not set
671 # CONFIG_RPCSEC_GSS_KRB5 is not set
672 # CONFIG_RPCSEC_GSS_SPKM3 is not set
673 # CONFIG_SMB_FS is not set
674 # CONFIG_CIFS is not set
675 # CONFIG_NCP_FS is not set
676 # CONFIG_CODA_FS is not set
677 # CONFIG_AFS_FS is not set
682 CONFIG_PARTITION_ADVANCED=y
683 # CONFIG_ACORN_PARTITION is not set
684 # CONFIG_OSF_PARTITION is not set
685 # CONFIG_AMIGA_PARTITION is not set
686 # CONFIG_ATARI_PARTITION is not set
687 # CONFIG_MAC_PARTITION is not set
688 CONFIG_MSDOS_PARTITION=y
689 # CONFIG_BSD_DISKLABEL is not set
690 # CONFIG_MINIX_SUBPARTITION is not set
691 # CONFIG_SOLARIS_X86_PARTITION is not set
692 # CONFIG_UNIXWARE_DISKLABEL is not set
693 # CONFIG_LDM_PARTITION is not set
694 # CONFIG_SGI_PARTITION is not set
695 # CONFIG_ULTRIX_PARTITION is not set
696 # CONFIG_SUN_PARTITION is not set
697 # CONFIG_KARMA_PARTITION is not set
698 # CONFIG_EFI_PARTITION is not set
699 # CONFIG_SYSV68_PARTITION is not set
700 # CONFIG_NLS is not set
701 # CONFIG_DLM is not set
702 # CONFIG_UCC_SLOW is not set
709 # CONFIG_CRC16 is not set
710 # CONFIG_CRC_ITU_T is not set
712 # CONFIG_CRC7 is not set
713 # CONFIG_LIBCRC32C is not set
714 CONFIG_ZLIB_INFLATE=y
719 # CONFIG_INSTRUMENTATION is not set
724 # CONFIG_PRINTK_TIME is not set
725 CONFIG_ENABLE_WARN_DEPRECATED=y
726 CONFIG_ENABLE_MUST_CHECK=y
727 # CONFIG_MAGIC_SYSRQ is not set
728 # CONFIG_UNUSED_SYMBOLS is not set
729 # CONFIG_DEBUG_FS is not set
730 # CONFIG_HEADERS_CHECK is not set
731 # CONFIG_DEBUG_KERNEL is not set
732 # CONFIG_SLUB_DEBUG_ON is not set
733 # CONFIG_SAMPLES is not set
734 # CONFIG_PPC_EARLY_DEBUG is not set
739 # CONFIG_KEYS is not set
740 # CONFIG_SECURITY is not set
741 # CONFIG_SECURITY_FILE_CAPABILITIES is not set
742 # CONFIG_CRYPTO is not set
743 # CONFIG_PPC_CLOCK is not set
744 CONFIG_PPC_LIB_RHEAP=y