title: Most Lightweight Linux Kernel OS
body: <p>I am working on Linux Mint 17 (with somewhat minimized kernel of size 4.6MB created by me), and I was developing new additions to the scheduler of Linux Kernel.</p>
  
  <p>The problem is that I have to compile and load it every time, which is obviously quite a long process and takes about 3 minutes to build alone.</p>
  
  <p>Is there any Linux OS with such a small base kernel configuration that I can do my work much more quickly? All I need is a terminal and some basic OS support. It must be on 3.14 version or later, as the deadline scheduler was added just recently.</p>