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"

endif
