Kernel Grok

some pretty tools to make understanding the Linux kernel a little less painful.