Not according to [techtoys], who has created an Arduino shield that creates an HDMI output from an SPI control input. This is a project that seems to have been around for a couple of years ...
In fact, its latest iteration, the Pi 5, is packed with a 2.4 GHz 64-bit processor, VideoCore VII GPU, dual 4Kp60 HDMI ...
If you are running video around your home theater, you probably use HDMI. If you are running it ... and shows a cheap SDI signal generator for an Arduino. On the face of it, SDI isn’t that ...