Source for hdmi-service for Tiny210

PWoods
The rcS script on the Linux implementation of Tiny210 runs hdmi-service
application.  Is the source available for hdmi-service? If not, is there an
example of how it outputs to the HDMI port?

210162770433673
now,I want to

210162770433673
The rcS script on the Linux implementation of Tiny210 runs hdmi-service
application.  Is the source available for hdmi-service? If not, is there an
example of how it outputs to the HDMI port?