1CONFIG_PPC=y 2CONFIG_SYS_TEXT_BASE=0xFFFA0000 3CONFIG_MPC85xx=y 4# CONFIG_CMD_ERRATA is not set 5CONFIG_TARGET_SBC8548=y 6CONFIG_OF_BOARD_SETUP=y 7CONFIG_OF_STDOUT_VIA_ALIAS=y 8CONFIG_SYS_EXTRA_OPTIONS="33,PCIE" 9CONFIG_BOOTDELAY=10 10# CONFIG_MISC_INIT_R is not set 11# CONFIG_DISPLAY_BOARDINFO is not set 12CONFIG_BOARD_EARLY_INIT_F=y 13CONFIG_HUSH_PARSER=y 14CONFIG_CMD_IMLS=y 15CONFIG_CMD_I2C=y 16CONFIG_CMD_PCI=y 17# CONFIG_CMD_SETEXPR is not set 18CONFIG_CMD_MII=y 19CONFIG_CMD_PING=y 20# CONFIG_CMD_HASH is not set 21# CONFIG_CMD_IRQ is not set 22# CONFIG_MMC is not set 23CONFIG_MTD_NOR_FLASH=y 24CONFIG_PHY_MARVELL=y 25CONFIG_MII=y 26CONFIG_TSEC_ENET=y 27CONFIG_SYS_NS16550=y 28CONFIG_OF_LIBFDT=y 29