1CONFIG_PPC_85xx=y 2CONFIG_EXPERIMENTAL=y 3CONFIG_SYSVIPC=y 4CONFIG_LOG_BUF_SHIFT=14 5CONFIG_BLK_DEV_INITRD=y 6# CONFIG_CC_OPTIMIZE_FOR_SIZE is not set 7CONFIG_EMBEDDED=y 8# CONFIG_BLK_DEV_BSG is not set 9CONFIG_MPC8540_ADS=y 10CONFIG_NO_HZ=y 11CONFIG_HIGH_RES_TIMERS=y 12CONFIG_BINFMT_MISC=y 13CONFIG_MATH_EMULATION=y 14CONFIG_SPARSE_IRQ=y 15# CONFIG_SECCOMP is not set 16CONFIG_NET=y 17CONFIG_PACKET=y 18CONFIG_UNIX=y 19CONFIG_XFRM_USER=y 20CONFIG_INET=y 21CONFIG_IP_MULTICAST=y 22CONFIG_IP_PNP=y 23CONFIG_IP_PNP_DHCP=y 24CONFIG_IP_PNP_BOOTP=y 25CONFIG_SYN_COOKIES=y 26# CONFIG_INET_LRO is not set 27# CONFIG_IPV6 is not set 28CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug" 29# CONFIG_FW_LOADER is not set 30CONFIG_PROC_DEVICETREE=y 31CONFIG_BLK_DEV_LOOP=y 32CONFIG_BLK_DEV_RAM=y 33CONFIG_BLK_DEV_RAM_SIZE=32768 34CONFIG_NETDEVICES=y 35CONFIG_NET_ETHERNET=y 36CONFIG_MII=y 37CONFIG_GIANFAR=y 38# CONFIG_INPUT_MOUSEDEV is not set 39# CONFIG_INPUT_KEYBOARD is not set 40# CONFIG_INPUT_MOUSE is not set 41# CONFIG_SERIO is not set 42# CONFIG_VT is not set 43CONFIG_SERIAL_8250=y 44CONFIG_SERIAL_8250_CONSOLE=y 45# CONFIG_HW_RANDOM is not set 46CONFIG_GEN_RTC=y 47CONFIG_VIDEO_OUTPUT_CONTROL=y 48CONFIG_EXT2_FS=y 49CONFIG_EXT3_FS=y 50# CONFIG_EXT3_DEFAULTS_TO_ORDERED is not set 51CONFIG_INOTIFY=y 52CONFIG_PROC_KCORE=y 53CONFIG_TMPFS=y 54CONFIG_NFS_FS=y 55CONFIG_ROOT_NFS=y 56CONFIG_PARTITION_ADVANCED=y 57# CONFIG_MSDOS_PARTITION is not set 58CONFIG_DEBUG_KERNEL=y 59CONFIG_DETECT_HUNG_TASK=y 60CONFIG_DEBUG_MUTEXES=y 61# CONFIG_DEBUG_BUGVERBOSE is not set 62# CONFIG_RCU_CPU_STALL_DETECTOR is not set 63CONFIG_SYSCTL_SYSCALL_CHECK=y 64# CONFIG_CRYPTO_ANSI_CPRNG is not set 65