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