if TARGET_CPCI5200
config SYS_BOARD
default "cpci5200"
config SYS_VENDOR
default "esd"
config SYS_CONFIG_NAME
endif