My Dingoo programming reference
I have been trying to figure out how to write native code for the Dingoo for a while now, and gathered some information from the net and some myself by digging into the actual firmware, and wrote down what I've learned so far here:
http://wakaba.c3.cx/w/dingoo_coding
There might be things of interest there to programmers. I figured out how to do double buffering (which won't work on TV out, I think, but that could probably also be fixed), and cleared up some mysteries of GetTickCount(), and various other stuff that I wasn't able to find clearly described on the net.
I'll probably be updating this later when I figure out more stuff. Unless I get distracted by something else. For now, enjoy!
Yeah, I haven't updated the firmware. And since I figured out all this stuff by dumping the memory of the whole kernel while it was running, I don't think I will update in a while, just to keep my disassembled version consistent with what I am running. But it's good to know that it's possible to fix that.
Can you give some hello world example, to check toolchain installed correctly?

Hey thanks! I'm reading through this now. I wish there were more resources like this written in similarly straightforward language. That makes it tempting to give it a try, and we need more coders right now, since it seems like the fan development community is drying up or just pitching in the towel in favor if Linux. There hasn't been a significant native OS release in quite a while now, and there are still big gaps, like an Atari 2600 emulator, or fixes for SNES audio.
By the way, you mentioned on that page that it's not possible for you to press Y and B on your device. Have you not updated your firmware to v1.20? That fixed the Y/B issue that was such a detriment to SNES.