(replacing bug addr w/ debian-kernel, for a more general discussion) On Mon, 2005-10-31 at 20:48 +0100, Jonas Smedegaard wrote: > For 2) see draft at http://wiki.debian.org/FlexibleKernelHandling This sounds like a very good approach to me, fwiw.