uCos for if30x soc (RVDS4 project)