But the linux equivalent here would be glibc, not the kernel