Documentar o uso da libc no kernel

[psychomantys]

Documentar como é usado a libc que o kernel esta usando, porqu eé mais ou menos portavel e como mudar a impl.