1if TARGET_MX31PDK 2 3config SYS_BOARD 4 default "mx31pdk" 5 6config SYS_VENDOR 7 default "freescale" 8 9config SYS_SOC 10 default "mx31" 11 12config SYS_CONFIG_NAME 13 default "mx31pdk" 14 15endif 16