if TARGET_MX35PDK config SYS_CPU default "arm1136" config SYS_BOARD default "mx35pdk" config SYS_VENDOR default "freescale" config SYS_SOC default "mx35" config SYS_CONFIG_NAME default "mx35pdk" endif