The Tre is unreleased, but I figure somebody might know. Reading about how Arduino is all in favor of open hardware, that bodes well, but nobody's ever had a fully open GPU in a commercial product, so healthy skepticism is appropriate.
I'd like to program the machine at the assembly level, without an OS running, and not using C libraries, and still be able to draw dots on a hi-def monitor via the HDMI port. The Arduino way is to reverse engineer its binary blob. That is a disincentive to my hobbyist tinkering.