It wouldn't be dingux, as its not a dingoo, strange how you rename any Linux system and people want it
I'm betting either the jz4755/similar, or some cc chipset, with the second core probably just being a dsp or something, wouldn't trust the marketing info one bit though