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 ...

The shield is compatible with both the Arduino IDE and STM32Cube IDE, making it work with popular boards like the Arduino UNO ...

The chip expects 3.3 V logic so he made use of a MC74LVX50 hex buffer to tailor the Arduino’s 5 V. Currently he’s working on revision two of the shield, which will include SPI flash memory.