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