picolibc - a C library designed for embedded 32- and 64- bit systems. - View it on GitHub