tinyRTX with C core (srtx.c and sisd.c)