Am Mittwoch, 9. Juli 2003 16:06 schrieb Linus Gasser: > Do you use the debian-tool for compiling the kernel? Like make-kpkg? Yes. Or at least I try to ;) Lars