Ultra96 hdmi output

Hi, I am using ultra96 board v2 with sdcard image v2.4.
I am using to run HW filter2D + dilate on input frames from USB camera in real-time.

I want to display the camera input video on hdmi monitor with mini display port to hdmi.
Does anyone have some tutorials of how to display the camera input frame to the hdmi monitor?
Because there is nearly no one doing the research of pynq in Taiwan. Hence there is nearly no tutorial with Chinese version or website.
Hope you guys can tell me even the links of the tutorial !!
Thanks a lot.

I think it would be easier to try mini display port to display port (as opposed to HDMI)? We have verified the display port works.