The Little Kernel Cookbook