There are pure rust, no c, embedded RTOSes, like Hubris.