Dietlinux is a dietlibc-based Linux distribution. Glibc is fully avoided. Some of the most important server daemons (DHCP, DNS, etc.) are working.