uCos for if30x & i10 soc (RVDS4 project)