title: What is a good barebones linux distro for beginner kernel development?
body: <p>In my Operating Systems class we are looking to modify a Linux kernel with some simple system calls of our own in C.</p>
  
  <p>What would be a good distro suited for this purpose?  We don't need any frills, no GUI, a vanilla kernel, etc.  The more basic the better.</p>