Version 1 (modified by cv, 3 years ago) (diff)


Building Kernel 3.10.32 with Xenomai 2.6.4 for Ubuntu 12.04.5

# References: # #

# Ubuntu Version: 12.04.5 # Kernel Version: 3.10.32 # Xenomai Version: 2.6.4

Section 1: Building Xenomai Packages

# Install Prereq's:

apt-get install devscripts debhelper dh-kpatches findutils apt-get install devscripts debhelper dh-kpatches autotools-dev autoconf automake libtool

# Get and unpack the tar.bz2 archive:

wget -O - | tar -jxf - cd xenomai-2.6.4 DEBEMAIL="your@email" DEBFULLNAME="Your Name" debchange -v 2.6.4 Release 2.6.4 debuild -uc -us

# Install the packages

cd dpkg -i *.deb

Section 2: Building a patched Linux kernel package

# Install Prereq's:

apt-get install kernel-package libncurses-dev fakeroot zlib1g-dev

# Locate and copy the correct ipipe patch from Xenomai:

cp /usr/src/xenomai-2.6.4/ksrc/arch/x86/patches/ipipe-core-3.10.32-x86-4.patch ~/ipipe-core-3.10.32-x86-4.patch

# Download the kernel source archive and extract:

wget tar -xf linux-3.10.32.tar.xz && cd linux-3.10.32

# Patch the Kernel!! :D

/usr/src/xenomai-kernel-source/scripts/ --arch=amd64 --linux=. --adeos=../ipipe-core-3.10.32-x86-4.patch

# Recycle an old realtime config and make it (most if not all of the defaults for new params are ok, but AUDITSYSCALL and KGDB should be disabled, and be careful of anything to do with IRQ's):

cp /your/old/linux/config .config make oldconfig # OR make menuconfig

# Build the Kernel:

CONCURRENCY_LEVEL=8 fakeroot make-kpkg --initrd --append-to-version -xenomai-2.6.4 --revision 1.0 kernel_image kernel_headers

# Image and Headers will be in the home directory. Follow the steps at to complete the PC installation.