Re: how are you kids compiling kernels these days?

[Ralf Mardorf <ralf.mardorf@alice-dsl.net>]

Why don't you use the config of your Debian, but get the source from
kernel.org?

>From a script I used with Debian/AVLinux:

#!/bin/sh
# sh rt4debian-av
[snip]
apt-get update
apt-get install fakeroot build-essential crash kexec-tools makedumpfile
kernel-package kernel-wedge
apt-get install libncurses5 libncurses5-dev libelf-dev asciidoc
binutils-dev
[snip]
 export CONCURRENCY_LEVEL=2
[snip]
 # config
 cp /boot/config-$(uname -r) .config
[snip]
 make oldconfig
[snip]
 # Building the kernel
 make-kpkg clean
 make-kpkg --rootcmd fakeroot --initrd kernel-image kernel-headers
[snip]
 # Installing new packages
 make-kpkg clean
 dpkg -i ../linux-image-${KERNEL_UNAME}_
${KERNEL_UNAME}-10.00.Custom_*.deb
 dpkg -i ../linux-headers-${KERNEL_UNAME}_
${KERNEL_UNAME}-10.00.Custom_*.deb
[snip]

You manually need to check if /lib/modules/[...]/build
and /lib/modules/[...]/source link to the headers.

- Ralf