there is a baremetal rust os that avoids libc. I think it achieves this by avoiding the rust standard library.