[12:39] <Slart> I've got a kind of general question about the linux kernel, is there a better channel for that kind of questions?