That was the first step of my general plan of attack: The recent versions of the Arduino IDE let you select platforms by using the Board Manager (available from the Tools | Board menu).

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