Dingoo OS Kernel is µCosII – err, right A600?

Actually, if you’ve read the last post, this whole thread is worth reading: http://www.gp32x.com/board/index.php?showtopic=47233

A600 also seems to know that the Dingoo’s OS is µCosII. U-cuz-whatsit? Err, google it, and read the datasheet here.  There seems to be some sort of manual here.  Curse me, oh my stenchful cloud of coding ignorance! But for the folly of a misspent youth (playing Mr Do, and doing not much else), I too, could understand abstraction layers, kernels and statements like this:

#if OS_CRITICAL_METHOD == 3 /* Allocate storage for CPU status
register */
OS_CPU_SR cpu_sr;
#endif

Thanks A600 – and if I’ve gotten something wrong, pop by and share some corrections please.