It has a HDMI port
It also has an analogue TV out.
We don't even know how much RAM will it have
The $25 version will have 128Mb, and there's a $35 with 256Mb.
whether it will run Linux
It will run Linux, originally the hope was to run Ubuntu but with their restricted memory footprint they're having to go with a version of Debian instead. Amazing what you can learn when you watch the full video and actually listen to it.
Doubt is not a pleasant condition, but certainty is absurd. - Voltaire