title: Is there a libc in kernel space?
body: <p>Is there a libc in kernel space? I mean you have to build kernel against some libc right? So Is there a libc (probably statically-linked) sitting within kernel space? </p>
  
  <p>If yes, how is this related to userland glibc? Must they be the same version? </p>