[12:48] <brendand> BuildYourOwnKernel suggests I use apt-get source linux-image-$(uname -r) to get the source for my kernel, but when I do that I end up with the source for linux-image-3.0.0-12-generic, but I had linux-image-3.0.0-13-generic installed?
[14:05] <brendand> what are the config options that enable gcov?
[17:29] <Q-FUNK> I seem to have missed the kernel falavor session. is there a wiki page summarizing what was discussed or decided?
[17:29] <Q-FUNK> flavor, even