1 2 3 4 5 6 7 8 9
if TARGET_CMI_MPC5XX config SYS_BOARD default "cmi" config SYS_CONFIG_NAME default "cmi_mpc5xx" endif
