Hi, I’m studying the skill for PYNQ calls Linux driver, and use display_port_introduction.ipynb example which links to DisplayPort Linux driver - drm as entrance.
According to source code for pynq.lib.video.drm, I found it linked to libdisplayport.so by CFFI technique.
And then, I’ve checked that the libdisplayport.so exists in the same directory as drm.py:
However, I cannot find the source code for libdisplayport.so for which I guess the source code are libdisplayport.h & libdisplayport.c.
Where can I find those source code(especially for libdisplayport.c)?
Any help will be highly appreciated!
PS. My device is ZCU104