Picolibc: C library designed for embedded 32- and 64- bit systemsgithub.com/picolibc93 pointsingve4 years ago