It looks like it has MIPI DSI. If you were determined, you could use a DSI->HDMI bridge. AD makes one of those for some reason: https://www.analog.com/media/en/technical-documentation/data...

No. It has MIPI DSI, but I'd be surprised if you could clock it very fast across these board layouts.

The very similar Allwinner D1 can push HDMI though. It's got the same main core (T-Head c906) and is about the same price point. That SoC doesn't have the nice wireless interfaces builtin though.

It has an RGB interface (basically parallel bus for pixels + clock), for which multiple bridges exist to HDMI. However, those are like QFN-88 packages so for soldering here be dragons. On the plus side, it avoids the mess that MIPI-DSI is...

Not directly but it seems to be able to generate video out over the MIPI, at least. Not so convenient though, converter chips are probably small and not super hobbyist-friendly (like the one from Analog a siblibg comment dug up).