| CONFIG_PPC_85xx=y |
| CONFIG_IKCONFIG=y |
| CONFIG_IKCONFIG_PROC=y |
| CONFIG_PPA8548=y |
| CONFIG_FSL_LBC=y |
| CONFIG_RAPIDIO=y |
| CONFIG_FSL_RIO=y |
| CONFIG_RAPIDIO_DMA_ENGINE=y |
| CONFIG_RAPIDIO_ENUM_BASIC=y |
| CONFIG_RAPIDIO_TSI57X=y |
| CONFIG_RAPIDIO_CPS_XX=y |
| CONFIG_RAPIDIO_TSI568=y |
| CONFIG_RAPIDIO_CPS_GEN2=y |
| CONFIG_ADVANCED_OPTIONS=y |
| CONFIG_LOWMEM_SIZE_BOOL=y |
| CONFIG_LOWMEM_SIZE=0x40000000 |
| CONFIG_LOWMEM_CAM_NUM_BOOL=y |
| CONFIG_LOWMEM_CAM_NUM=4 |
| CONFIG_PAGE_OFFSET_BOOL=y |
| CONFIG_PAGE_OFFSET=0xb0000000 |
| CONFIG_KERNEL_START_BOOL=y |
| CONFIG_TASK_SIZE_BOOL=y |
| CONFIG_TASK_SIZE=0xb0000000 |
| CONFIG_NET=y |
| CONFIG_INET=y |
| CONFIG_IP_PNP=y |
| CONFIG_MTD=y |
| CONFIG_MTD_CMDLINE_PARTS=y |
| CONFIG_MTD_BLOCK=y |
| CONFIG_MTD_CFI=y |
| CONFIG_MTD_CFI_INTELEXT=y |
| CONFIG_MTD_CFI_AMDSTD=y |
| CONFIG_MTD_PHYSMAP_OF=y |
| CONFIG_NETDEVICES=y |
| CONFIG_GIANFAR=y |
| CONFIG_MARVELL_PHY=y |
| CONFIG_SERIAL_8250=y |
| CONFIG_SERIAL_8250_CONSOLE=y |
| CONFIG_I2C=y |
| CONFIG_I2C_MPC=y |
| # CONFIG_USB_SUPPORT is not set |
| CONFIG_RTC_CLASS=y |
| CONFIG_RTC_DRV_ISL1208=y |
| CONFIG_FSL_DMA=y |
| CONFIG_NFS_FS=y |
| CONFIG_ROOT_NFS=y |
