There are some ucos/II source files on the ingenic site (or were) but Dingoo Digital provided a number of the functions themselves. I have a feeling that these functions are not part of the ingenic ucos but it'd be worth a quick look and a search since the source is clearly what the current Dingoo OS is (heavily) based off.