It is time you were introduced to a very nice tool -- kernel-package. This package will make kernel debs for you. This way you only make config then make-kpkg binary. This will leave the normal kernel-header/source/image debs. Save time, effort and hassle. -- Unsubscribe? mail -s unsubscribe debian-user-request@lists.debian.org < /dev/null