| CONFIG_PPC_85xx=y |
| CONFIG_PPA8548=y |
| CONFIG_DTC=y |
| CONFIG_DEFAULT_UIMAGE=y |
| CONFIG_IKCONFIG=y |
| CONFIG_IKCONFIG_PROC=y |
| # CONFIG_PCI is not set |
| # CONFIG_USB_SUPPORT is not set |
| 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_KERNEL_START=0xb0000000 |
| # CONFIG_PHYSICAL_START_BOOL is not set |
| CONFIG_PHYSICAL_START=0x00000000 |
| CONFIG_PHYSICAL_ALIGN=0x04000000 |
| CONFIG_TASK_SIZE_BOOL=y |
| CONFIG_TASK_SIZE=0xb0000000 |
| |
| CONFIG_FSL_LBC=y |
| CONFIG_FSL_DMA=y |
| CONFIG_FSL_RIO=y |
| |
| CONFIG_RAPIDIO=y |
| CONFIG_RAPIDIO_DMA_ENGINE=y |
| CONFIG_RAPIDIO_TSI57X=y |
| CONFIG_RAPIDIO_TSI568=y |
| CONFIG_RAPIDIO_CPS_XX=y |
| CONFIG_RAPIDIO_CPS_GEN2=y |
| CONFIG_SERIAL_8250=y |
| CONFIG_SERIAL_8250_CONSOLE=y |
| CONFIG_PROC_DEVICETREE=y |
| |
| CONFIG_MTD=y |
| CONFIG_MTD_BLKDEVS=y |
| CONFIG_MTD_BLOCK=y |
| CONFIG_MTD_CFI=y |
| CONFIG_MTD_CFI_AMDSTD=y |
| CONFIG_MTD_CFI_INTELEXT=y |
| CONFIG_MTD_CHAR=y |
| CONFIG_MTD_CMDLINE_PARTS=y |
| CONFIG_MTD_CONCAT=y |
| CONFIG_MTD_PHYSMAP_OF=y |
| |
| CONFIG_I2C=y |
| CONFIG_I2C_MPC=y |
| CONFIG_I2C_CHARDEV |
| CONFIG_RTC_CLASS=y |
| CONFIG_RTC_HCTOSYS=y |
| CONFIG_RTC_DRV_ISL1208=y |
| |
| CONFIG_NET=y |
| CONFIG_INET=y |
| CONFIG_IP_PNP=y |
| CONFIG_NETDEVICES=y |
| CONFIG_MII=y |
| CONFIG_GIANFAR=y |
| CONFIG_MARVELL_PHY=y |
| CONFIG_NFS_FS=y |
| CONFIG_ROOT_NFS=y |
