1dd84058dSMasahiro YamadaCONFIG_PPC=y
2dd84058dSMasahiro YamadaCONFIG_MPC85xx=y
3dd84058dSMasahiro YamadaCONFIG_TARGET_SBC8548=y
4bd328eb3SJoe HershbergerCONFIG_SYS_EXTRA_OPTIONS="PCI,33,PCIE"
5*ef0f2f57SJoe Hershberger# CONFIG_CMD_SETEXPR is not set
6