How to drive the ADV7511 use pynq?

Hi, I have run successfully PYNQ on my zynq board, and it is a board like zed, so the HDMI controller is a ADV7511. I find the linux driver for adv7511 on the digilent web, but I wanna make the driver with jupyter in PYNQ. so have you ever try to do it, and could you share the experience with me?
Waiting for your reply.the files is the bit and tcl in my project.Uploading: system.bit… system.pdf (171.1 KB) (187.7 KB) (187.7 KB)