picolibc/picolibc

picolibc - a C library designed for embedded 32- and 64- bit systems.