Argh, The TVIA IGS5005 chip in the Allwell iTV3036 which I considered buying has no public information on how to program it. When I asked the sales person from Allwell, she said I'll need to buy an SDK at the mere cost of $30,000 to $50,000.
That's one heavy straw!
I'll be looking for other options, this one looked to be able to fulfill most of my needs. Damn!