if TARGET_PMC440
config SYS_BOARD
default "pmc440"
config SYS_VENDOR
default "esd"
config SYS_CONFIG_NAME
default "PMC440"
endif