if TARGET_HSDK config SYS_BOARD default "hsdk" config SYS_VENDOR default "synopsys" config SYS_CONFIG_NAME default "hsdk" endif