Believe it or not, but it's a piece of cake to boot Linux on it, and display text on the serial console. The real job is to create the drivers. If the Gamebox uses the processor's built-in digital hdmi encoder, it should be quite easy to get hdmi to work; in the other hand, if it does use another chip to do the job (like on Dingoos), he will have to reverse-engineer existing software to understand how it works. But that's unlikely.
That's a great news anyway! I hope the guy is skilled / motivated enough to continue its work.