Things should start looking up a bit though with the release of an Arduino core for the CH32 direct from WCH themselves. It’s been tested on Windows, Linux, and Mac, and supports the CH32V00x ...
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 ...