A C library for embedded Linux