=== guiverc2 is now known as guiverc
[07:55] <ice9> how the kernel in ubuntu is different than the Debian's kernel?