blob: 35e4aa44df05f1a92da94328f794bce54b3cc6ff [file] [log] [blame]
CONFIG_PPC=y
CONFIG_MPC85xx=y
CONFIG_TARGET_T4240RDB=y
CONFIG_SYS_EXTRA_OPTIONS="PPC_T4240"