[FE training-materials-updates] sysdev-real-time: Use Xenomai 2.6.4 and not the last 2.6.x

[Gregory Clement]

Repository : git://git.free-electrons.com/training-materials.git
On branch  : master
Link       : http://git.free-electrons.com/training-materials/commit/?id=c5a70a5e99f7d67462e44494ea2232a34f1a787a

>---------------------------------------------------------------

commit c5a70a5e99f7d67462e44494ea2232a34f1a787a
Author: Gregory CLEMENT <gregory.clement at free-electrons.com>
Date:   Fri Sep 2 18:15:16 2016 +0200

    sysdev-real-time: Use Xenomai 2.6.4 and not the last 2.6.x
    
    Buidroot 2016.02 use xenomai 2.6.4, so building the kernel with the same
    version seems more logical.
    
    Moreover depending of the Xenomai version the Linux kernel minor revision
    and the ipipe patch are different.
    
    The choice of 2.6.4 is for consistence, because using Xenomai 2.6.5 (with
    the kernel 3.14.44 and ipipe-core-3.14.44-arm-17.patch) and Buildroot
    2016.02 (using Xenomai 2.6.4 for the library) is working.
    
    Signed-off-by: Gregory CLEMENT <gregory.clement at free-electrons.com>


>---------------------------------------------------------------

c5a70a5e99f7d67462e44494ea2232a34f1a787a
 labs/sysdev-real-time/sysdev-real-time.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/labs/sysdev-real-time/sysdev-real-time.tex b/labs/sysdev-real-time/sysdev-real-time.tex
index 7335bb5..3647965 100644
--- a/labs/sysdev-real-time/sysdev-real-time.tex
+++ b/labs/sysdev-real-time/sysdev-real-time.tex
@@ -182,7 +182,7 @@ improvement in the maximum latency.
 
 Stay in \code{$HOME/embedded-linux-labs/realtime/rttest}.
 
-Download the latest 2.6.x release of Xenomai (that's what our version of
+Download the 2.6.4 release of Xenomai (that's what our version of
 Buildroot supports by default), and extract it.
 
 As you can see in the \code{ksrc/arch/arm/patches} directory,
@@ -196,9 +196,9 @@ and extract them.
 Now, prepare our kernel for Xenomai compilation:
 \begin{verbatim}
 cd $HOME/embedded-linux-labs/realtime/rttest
-./xenomai-2.6.x/scripts/prepare-kernel.sh --arch=arm \
+./xenomai-2.6.4/scripts/prepare-kernel.sh --arch=arm \
 --linux=linux-3.14.17 \
---adeos=xenomai-2.6.x/ksrc/arch/arm/patches/ipipe-core-3.14.17-arm-4.patch
+--adeos=xenomai-2.6.4/ksrc/arch/arm/patches/ipipe-core-3.14.17-arm-4.patch
 \end{verbatim}
 
 Now, configure your kernel for SAMA5 boards, then start the kernel