It should be documented, for people who have an existing system, that they what they need to do to rebuild the kernel, when they run into situations where the debian kernel doesn't support the features they need. It can't be assumed that they've installed make-kpkg unless it's rated at least standard. -- Raul -- To UNSUBSCRIBE, email to debian-devel-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org