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 ... Arduino projects with multiple sensors and modules.

So that brings us onto the next Sipeed board, the Lichee RV Dock which is a tiny development board for the module. This breaks out the HDMI, adds USB, a WiFi/Bluetooth module, audio driver ...