if TARGET_PINEPHONE_PRO_RK3399 config SYS_BOARD default "pinephone-pro-rk3399" config SYS_VENDOR default "pine64" config SYS_CONFIG_NAME default "pinephone-pro-rk3399" config BOARD_SPECIFIC_OPTIONS def_bool y endif