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