On 2013-04-17 18:04 +0200, Jonathan Dowland wrote:
> What is deb-pkg or where did you get it from? I couldn't find any such binary
> name in any package in Debian via a search at packages.debian.org.
It's a target in the Linux Makefile that produces a linux-image (and
linux-headers, linux-libc-dev) Debian package, see
scripts/package/builddeb in the Linux source tree.
Cheers,
Sven