On Wed, 2014-09-24 at 22:13 -0500, Rafael Vega wrote:
Any other RT kernels for Debian out there that I could
test?
Maybe I made a typo somewhere, but after fixing a typo that might be
there or not, the script should work.
#!/bin/sh
export CONCURRENCY_LEVEL=2
# Kernel to build is version
KMAJOR=3.8
KMINOR=.13
KMICRO=.14-rt30
KERNEL_UNAME=${KMAJOR}${KMINOR}${KMICRO}
# Directory where the source codes should be saved
SRC_DIR=/usr/src
cd $SRC_DIR
# Download all sources to source directory
wget
https://www.kernel.org/pub/linux/kernel/v3.x/linux-3.8.13.tar.bz2
wget
https://www.kernel.org/pub/linux/kernel/projects/rt/3.8/stable/patch-3.8.13…
wget
https://www.kernel.org/pub/linux/kernel/projects/rt/3.8/patch-3.8.13.14-rt3…
# Extracting and patching
tar -jxvf linux-${KMAJOR}${KMINOR}.tar.bz2
mv linux-${KMAJOR}${KMINOR} linux-${KERNEL_UNAME}
cd linux-${KERNEL_UNAME}
gzip -dc ../patch-3.8.13.14.gz | patch -p1
gzip -dc ../patch-${KERNEL_UNAME}.patch.gz | patch -p1
rm ../linux-${KMAJOR}${KMINOR}.tar.bz2
rm ../patch-${KERNEL_UNAME}.patch.gz
# Configuration
cp /boot/config-$(uname -r) .config
make oldconfig
# Building the kernel
make-kpkg clean
make-kpkg --initrd kernel-image kernel-headers
exit