About HDMI IP of ROCK 5B

hi, which hdmi IP used in ROCK 5B?Is it HDMI QP TX Controller from DesignWare?

I am not sure about this, it might be Innosilicon (芯动科技 just a guess).

I find dw-hdmi-qp.c at

linux-radxa-rock5/drivers/gpu/drm/bridge/synopsys

and in the Makefile

obj-$(CONFIG_DRM_DW_HDMI) += dw-hdmi.o dw-hdmi-hdcp.o
dw-hdmi-qp.o

How can I confirm whether ROCK 5B has the IP?
Do we have BSP build guide or linux images?That maybe helpful.

Thanks