Hardware Reference
In-Depth Information
Check out the latest kernel:
host$
cd bb-kernel/KERNEL
host$
uname -a
host$
git tags | sort | less
Pick the tag that is close to your current version of the kernel. This command checks out
the
3.8.13-bone67
version of the kernel and creates a branch named
xenomai
:
host$
git checkout 3.8.13-bone67 -b xenomai
Patching the kernel
Patch the kernel by using the following commands:
host$
cd bb-kernel/KERNEL
host$
patch -p1 < ../../xenomai-2.6.4/ksrc/arch/arm/patches/\
beaglebone/ipipe-core-3.8.13-beaglebone-pre.patch
host$
patch -p1 < ../../xenomai-2.6.4/ksrc/arch/arm/patches/\
ipipe-core-3.8.13-arm-4.patch
host$
patch -p1 < ../../xenomai-2.6.4/ksrc/arch/arm/patches/\
beaglebone/ipipe-core-3.8.13-beaglebone-post.patch
NOTE
These commands assume
bb-kernel
and
xenomai-2.6.4
are at the same directory
level.
Then get one more patch from
Xenomai's website
.
Add the code in
Example 8-5
to a file
named
thumb.patch
.
Example 8-5. One last patch (thumb.patch)
diff
--
git a
/
arch
/
arm
/
kernel
/
entry
-
armv
.
S b
/
arch
/
arm
/
kernel
/
entry
-
armv
.
S
index e2bc263
..
6
f4d9f0
100644
---
a
/
arch
/
arm
/
kernel
/
entry
-
armv
.
S
+++
b
/
arch
/
arm
/
kernel
/
entry
-
armv
.
S
@@
-
469
,
6
+
469
,
7
@@
__irq_usr
:
kuser_cmpxchg_check
