1CONFIG_PPC_85xx=y
2CONFIG_SYSVIPC=y
3CONFIG_NO_HZ=y
4CONFIG_HIGH_RES_TIMERS=y
5CONFIG_LOG_BUF_SHIFT=14
6CONFIG_BLK_DEV_INITRD=y
7CONFIG_EXPERT=y
8# CONFIG_BLK_DEV_BSG is not set
9CONFIG_PARTITION_ADVANCED=y
10# CONFIG_MSDOS_PARTITION is not set
11CONFIG_MPC85xx_CDS=y
12CONFIG_BINFMT_MISC=y
13CONFIG_MATH_EMULATION=y
14# CONFIG_SECCOMP is not set
15CONFIG_PCI=y
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_BLK_DEV_LOOP=y
31CONFIG_BLK_DEV_RAM=y
32CONFIG_BLK_DEV_RAM_SIZE=32768
33CONFIG_IDE=y
34CONFIG_BLK_DEV_GENERIC=y
35CONFIG_BLK_DEV_VIA82CXXX=y
36CONFIG_NETDEVICES=y
37CONFIG_GIANFAR=y
38CONFIG_E1000=y
39# CONFIG_INPUT_MOUSEDEV is not set
40# CONFIG_INPUT_KEYBOARD is not set
41# CONFIG_INPUT_MOUSE is not set
42# CONFIG_SERIO is not set
43# CONFIG_VT is not set
44CONFIG_SERIAL_8250=y
45CONFIG_SERIAL_8250_CONSOLE=y
46# CONFIG_HW_RANDOM is not set
47CONFIG_GEN_RTC=y
48CONFIG_EXT2_FS=y
49CONFIG_EXT3_FS=y
50# CONFIG_EXT3_DEFAULTS_TO_ORDERED is not set
51CONFIG_PROC_KCORE=y
52CONFIG_TMPFS=y
53CONFIG_NFS_FS=y
54CONFIG_ROOT_NFS=y
55CONFIG_DETECT_HUNG_TASK=y
56CONFIG_DEBUG_MUTEXES=y
57# CONFIG_CRYPTO_ANSI_CPRNG is not set
58