I have found a few apt-get install kernel-source how-to's but wouldn't mind some recommendations if anyone has any.
1 2
I've read the docs in /usr/share/doc/kernel-package. It appears that all the headers and libraries are included for all arch.'s with the Debian kernels so that shold be fairly straightforward. I wonder what if anything has changed since the documentation was written? Thanks for any pointers.