1CONFIG_SYSVIPC=y
2CONFIG_LOG_BUF_SHIFT=14
3CONFIG_BLK_DEV_INITRD=y
4CONFIG_EXPERT=y
5CONFIG_SLAB=y
6CONFIG_MODULES=y
7CONFIG_MODULE_UNLOAD=y
8# CONFIG_BLK_DEV_BSG is not set
9CONFIG_PARTITION_ADVANCED=y
10# CONFIG_PPC_CHRP is not set
11# CONFIG_PPC_PMAC is not set
12CONFIG_PPC_83xx=y
13CONFIG_MPC837x_MDS=y
14CONFIG_PCI=y
15CONFIG_NET=y
16CONFIG_PACKET=y
17CONFIG_UNIX=y
18CONFIG_XFRM_USER=m
19CONFIG_INET=y
20CONFIG_IP_MULTICAST=y
21CONFIG_IP_PNP=y
22CONFIG_IP_PNP_DHCP=y
23CONFIG_IP_PNP_BOOTP=y
24CONFIG_SYN_COOKIES=y
25# CONFIG_INET_LRO is not set
26# CONFIG_IPV6 is not set
27CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
28# CONFIG_FW_LOADER is not set
29CONFIG_BLK_DEV_LOOP=y
30CONFIG_BLK_DEV_RAM=y
31CONFIG_BLK_DEV_RAM_SIZE=32768
32CONFIG_BLK_DEV_SD=y
33CONFIG_CHR_DEV_SG=y
34CONFIG_ATA=y
35CONFIG_SATA_FSL=y
36CONFIG_NETDEVICES=y
37CONFIG_GIANFAR=y
38CONFIG_MARVELL_PHY=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_I2C=y
49CONFIG_I2C_CHARDEV=y
50CONFIG_I2C_MPC=y
51CONFIG_WATCHDOG=y
52CONFIG_EXT2_FS=y
53CONFIG_EXT3_FS=y
54# CONFIG_EXT3_DEFAULTS_TO_ORDERED is not set
55CONFIG_PROC_KCORE=y
56CONFIG_TMPFS=y
57CONFIG_NFS_FS=y
58CONFIG_NFS_V4=y
59CONFIG_ROOT_NFS=y
60CONFIG_CRC_T10DIF=y
61CONFIG_CRYPTO_ECB=m
62CONFIG_CRYPTO_PCBC=m
63# CONFIG_CRYPTO_ANSI_CPRNG is not set
64