Mike Chi, creator of the awesome range of retro-scaler products known as RetroTink has been working on RetroTink 4K for a while, with one of the most interesting features being HDMI input.
As he teased in this tweet it is possible to get true 4K resolution out of the MiSTer by passing digital video (HDMI) and having it integer scaled through RetroTink 4k.