if TARGET_TURINGRK1_RK3588 config SYS_BOARD default "turing-rk1-rk3588" config SYS_VENDOR default "turing" config SYS_CONFIG_NAME default "turing-rk1-rk3588" endif