if TARGET_EVB_RK3588 config SYS_BOARD default "evb_rk3588" config SYS_VENDOR default "rockchip" config SYS_CONFIG_NAME default "evb_rk3588" config BOARD_SPECIFIC_OPTIONS # dummy def_bool y endif