0001 CONFIG_PPC_85xx=y
0002 CONFIG_IKCONFIG=y
0003 CONFIG_IKCONFIG_PROC=y
0004 CONFIG_PPA8548=y
0005 CONFIG_FSL_LBC=y
0006 CONFIG_RAPIDIO=y
0007 CONFIG_FSL_RIO=y
0008 CONFIG_RAPIDIO_DMA_ENGINE=y
0009 CONFIG_RAPIDIO_ENUM_BASIC=y
0010 CONFIG_RAPIDIO_TSI57X=y
0011 CONFIG_RAPIDIO_CPS_XX=y
0012 CONFIG_RAPIDIO_TSI568=y
0013 CONFIG_RAPIDIO_CPS_GEN2=y
0014 CONFIG_ADVANCED_OPTIONS=y
0015 CONFIG_LOWMEM_SIZE_BOOL=y
0016 CONFIG_LOWMEM_SIZE=0x40000000
0017 CONFIG_LOWMEM_CAM_NUM_BOOL=y
0018 CONFIG_LOWMEM_CAM_NUM=4
0019 CONFIG_PAGE_OFFSET_BOOL=y
0020 CONFIG_PAGE_OFFSET=0xb0000000
0021 CONFIG_KERNEL_START_BOOL=y
0022 CONFIG_TASK_SIZE_BOOL=y
0023 CONFIG_TASK_SIZE=0xb0000000
0024 CONFIG_NET=y
0025 CONFIG_INET=y
0026 CONFIG_IP_PNP=y
0027 CONFIG_MTD=y
0028 CONFIG_MTD_CMDLINE_PARTS=y
0029 CONFIG_MTD_BLOCK=y
0030 CONFIG_MTD_CFI=y
0031 CONFIG_MTD_CFI_INTELEXT=y
0032 CONFIG_MTD_CFI_AMDSTD=y
0033 CONFIG_MTD_PHYSMAP_OF=y
0034 CONFIG_NETDEVICES=y
0035 CONFIG_GIANFAR=y
0036 CONFIG_MARVELL_PHY=y
0037 CONFIG_SERIAL_8250=y
0038 CONFIG_SERIAL_8250_CONSOLE=y
0039 CONFIG_I2C=y
0040 CONFIG_I2C_MPC=y
0041 # CONFIG_USB_SUPPORT is not set
0042 CONFIG_RTC_CLASS=y
0043 CONFIG_RTC_DRV_ISL1208=y
0044 CONFIG_FSL_DMA=y
0045 CONFIG_NFS_FS=y
0046 CONFIG_ROOT_NFS=y
