title: Why is it not possible to link shared libraries into kernel code?
body: <p>What are the implications? Is the kernel compiled with static libraries or are they implemented intrinsically?</p>
  
  <p>Also, according to <a href="https://stackoverflow.com/questions/31928255/linking-shared-library-in-linux-kernel">this</a>, kernel code cannot use any floating point operation. Why is that?</p>