if TARGET_SBC8548 config SYS_BOARD default "sbc8548" config SYS_CONFIG_NAME default "sbc8548" endif