IRC Channel: #debian-kernel on irc.debian.org

Kernel packages for various architectures:

Other Kernel related pieces:

Kernel team members: