PicoLibc is a combination of Newlib and AVR libc bits designed for small-RAM embedded systems. This package has binaries for ESP8266 processors.