if TARGET_PMC405DE config SYS_BOARD string default "pmc405de" config SYS_VENDOR string default "esd" config SYS_CONFIG_NAME string default "PMC405DE" endif