Hello, I have just created the debian-kernel list: Discussion about kernels used with Debian (Linux, Hurd, etc.), available patches and flavors, packaging issues, bug reports, porting issues, automated tools, and any other questions or patches that are kernel-related. Enjoy! --Joe