1 CONFIG_PPC=y 2 CONFIG_SYS_TEXT_BASE=0xEFF40000 3 CONFIG_MPC85xx=y 4 CONFIG_TARGET_MPC8572DS=y 5 CONFIG_FIT=y 6 CONFIG_FIT_VERBOSE=y 7 CONFIG_OF_BOARD_SETUP=y 8 CONFIG_OF_STDOUT_VIA_ALIAS=y 9 CONFIG_BOOTDELAY=10 10 # CONFIG_CONSOLE_MUX is not set 11 CONFIG_BOARD_EARLY_INIT_R=y 12 CONFIG_HUSH_PARSER=y 13 CONFIG_CMD_REGINFO=y 14 CONFIG_CMD_IMLS=y 15 CONFIG_CMD_I2C=y 16 CONFIG_CMD_PCI=y 17 CONFIG_CMD_USB=y 18 CONFIG_CMD_MII=y 19 CONFIG_CMD_PING=y 20 # CONFIG_CMD_HASH is not set 21 CONFIG_CMD_EXT2=y 22 CONFIG_SCSI_AHCI=y 23 CONFIG_SYS_FSL_DDR2=y 24 # CONFIG_MMC is not set 25 CONFIG_MTD_NOR_FLASH=y 26 CONFIG_PHY_MARVELL=y 27 CONFIG_NETDEVICES=y 28 CONFIG_PHY_GIGE=y 29 CONFIG_E1000=y 30 CONFIG_TSEC_ENET=y 31 CONFIG_SYS_NS16550=y 32 CONFIG_USB=y 33 CONFIG_USB_EHCI_PCI=y 34 CONFIG_USB_STORAGE=y 35 CONFIG_VIDEO=y 36 CONFIG_OF_LIBFDT=y 37
