To add to what Matt is doing with the MKR Vidor 4000 board - I’ve been investigating the M5Stack Atom Display module, which includes an ESP32 module, FPGA and HDMI driver in a tiny package. The Atom display can drive an HDMI display up to 1280 x 720 pixels - where one can trade off resolution and frame rates - shown driving a 8.8" 1920 x 480 HDMI display at 60 fps. There is a useful Arduino library available (M5GFX - https://github.com/m5stack/M5GFX) - derived from LovyanGFX (https://github.com/lovyan03/LovyanGFX) - next challenge is to convert to XOD.
Could be very useful for XOD-based programming of very compact embedded devices where a bigger display screen would be useful.