HDMI output on the NanoPi R5S and R5C

Do the snapshot builds for the NanoPi R5S and R5C have support for HDMI output? I have connected them to a monitor at boot and do not see any output. I guess I am curious if it is supposed to work out of the box and I screwed something up or if there is a package that needs to be installed. If HDMI output is not supported, why not. I am not sure why I need it or want it, but ...

You did not screw up, the snapshot builds for R5C and R5S do not support HDMI output.
For what it's worth: Anael enabled that in his builds here: https://github.com/anaelorlinski/OpenWrt-NanoPi-R5S-Builds/releases
I would also be curious to know if HDMI support is planned for those two devices, if anybody knows?

You can always copy the build recipe from the Anael build to Openwrt, to see if it's enough to get HDMI going.

That is helpful. It sounds like from https://github.com/anaelorlinski/OpenWrt-NanoPi-R5S-Builds/issues/11#issuecomment-2074672993 that HDMI support requires a patch that is not yet in the mainline kernel.