if TARGET_EB_CPUX9K2 config SYS_BOARD default "eb_cpux9k2" config SYS_VENDOR default "BuS" config SYS_CONFIG_NAME default "eb_cpux9k2" endif