[Xenomai] I-pipe patch broken for Xilinx Zynq

[Xenomai] I-pipe patch broken for Xilinx Zynq

[Renaud Pacalet]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Dear Xenomai developers,

I ran into troubles when trying to follow the instructions at
http://www.wiki.xilinx.com/Xenomai+for+Zynq: the
xenomai-2.6.3/ksrc/arch/arm/patches/ipipe-core-3.8.13-arm-1.patch
patch mentioned in the instructions is no longer the one distributed
in http://download.gna.org/xenomai/stable/xenomai-2.6.3.tar.bz2. It
has been replaced by ipipe-core-3.8.13-arm-3.patch patch which is not
compatible with the xilinx-v14.5 tag of
git://github.com/Xilinx/linux-xlnx.git. In order to patch and compile
the compile Linux kernel I had to download and apply
http://download.gna.org/adeos/patches/v3.x/arm/older/ipipe-core-3.8-arm-1.patch
instead.

Best regards,
- -- 
Télécom ParisTech - LabSoC
c/o EURECOM, Campus SophiaTech
Les Templiers, 450 route des Chappes 06410 Biot
Tel : +33 (0) 4 9300 8402
Fax : +33 (0) 4 9300 8200
Web : http://www.telecom-paristech.fr/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iEYEAREIAAYFAlSPB+8ACgkQ6X2qPZD76M/GHwCeNxh+t/UPT4FkfzDle/apevSK
THcAn39O72JGMkJ/ZaGs8Ne3UzVQk2Mt
=6D4A
-----END PGP SIGNATURE-----

Re: [Xenomai] I-pipe patch broken for Xilinx Zynq

[Gilles Chanteperdrix]

On Mon, Dec 15, 2014 at 05:10:25PM +0100, Renaud Pacalet wrote:
> Dear Xenomai developers,
> 
> I ran into troubles when trying to follow the instructions at
> http://www.wiki.xilinx.com/Xenomai+for+Zynq: the
> xenomai-2.6.3/ksrc/arch/arm/patches/ipipe-core-3.8.13-arm-1.patch
> patch mentioned in the instructions is no longer the one distributed
> in http://download.gna.org/xenomai/stable/xenomai-2.6.3.tar.bz2. It
> has been replaced by ipipe-core-3.8.13-arm-3.patch patch which is not
> compatible with the xilinx-v14.5 tag of
> git://github.com/Xilinx/linux-xlnx.git. In order to patch and compile
> the compile Linux kernel I had to download and apply
> http://download.gna.org/adeos/patches/v3.x/arm/older/ipipe-core-3.8-arm-1.patch
> instead.

Bad idea, using the latest I-pipe patch for a kernel is recommended,
a newer release means some things were fixed. For the same reason,
using xenomai 2.6.3 is not recommended.

Maybe you could show us the errors you get?

-- 
					    Gilles.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 173 bytes
Desc: not available
URL: <http://www.xenomai.org/pipermail/xenomai/attachments/20141215/8877ba4f/attachment.sig>

Re: [Xenomai] I-pipe patch broken for Xilinx Zynq

[pacalet]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

On 15/12/14 17:18, Gilles Chanteperdrix wrote:
> On Mon, Dec 15, 2014 at 05:10:25PM +0100, Renaud Pacalet wrote:
>> Dear Xenomai developers,
>> 
>> I ran into troubles when trying to follow the instructions at 
>> http://www.wiki.xilinx.com/Xenomai+for+Zynq: the 
>> xenomai-2.6.3/ksrc/arch/arm/patches/ipipe-core-3.8.13-arm-1.patch
>>
>> 
patch mentioned in the instructions is no longer the one distributed
>> in http://download.gna.org/xenomai/stable/xenomai-2.6.3.tar.bz2.
>> It has been replaced by ipipe-core-3.8.13-arm-3.patch patch which
>> is not compatible with the xilinx-v14.5 tag of 
>> git://github.com/Xilinx/linux-xlnx.git. In order to patch and
>> compile the compile Linux kernel I had to download and apply 
>> http://download.gna.org/adeos/patches/v3.x/arm/older/ipipe-core-3.8-arm-1.patch
>>
>> 
instead.
> 
> Bad idea, using the latest I-pipe patch for a kernel is
> recommended, a newer release means some things were fixed. For the
> same reason, using xenomai 2.6.3 is not recommended.

I 100% agree. All I wanted, before investing time and efforts in
Xenomai, was to test it on a Zynq core. And I didn't want to spend
days or weeks on this evaluation. This is the reason why I tried to
follow the apparently simple and straightforward instructions from
http://www.wiki.xilinx.com/Xenomai+for+Zynq. Of course, if my
evaluation is positive, I will try to use the most recent stable
versions. It will perhaps not be that easy, because the kernel
versions released by Xilinx for Zynq do not always match the kernel
versions supported by Xenomai, but at least I will know beforehand
that Xenomai can do the job.

> Maybe you could show us the errors you get?

Of course. The ipipe-core-3.8.13-arm-3.patch is not compatible with
the kernel released by Xilinx under tag xilinx-v14.5:

$ cd $KERNEL
$ git co -b xenomai-test xilinx-v14.5
$ find . -name '*.rej'
$ patch -p1 <
$XENOMAI/ksrc/arch/arm/patches/zynq/ipipe-core-3.8-zynq-pre.patch
$ find . -name '*.rej'
$ patch -p1 < $XENOMAI/ksrc/arch/arm/patches/ipipe-core-3.8.13-arm-3.patch
$ find . -name '*.rej'
./arch/arm/mm/context.c.rej
./arch/arm/mach-omap2/io.c.rej
./arch/arm/include/asm/mmu.h.rej
./arch/arm/include/asm/mmu_context.h.rej
./fs/proc/array.c.rej
./include/linux/spinlock_up.h.rej
./include/linux/sched.h.rej

Would you like me to post the rejects files somewhere?

Best regards,
- -- 
Télécom ParisTech - LabSoC
c/o EURECOM, Campus SophiaTech
Les Templiers, 450 route des Chappes 06410 Biot
Tel : +33 (0) 4 9300 8402
Fax : +33 (0) 4 9300 8200
Web : http://www.telecom-paristech.fr/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iEYEAREIAAYFAlSP3HEACgkQ6X2qPZD76M+PXwCaA1UhErSLx32XJyTg8teGMmmt
fLAAnj7B6IJ7J5YeBIMxatVuIV3DSkaH
=4Evz
-----END PGP SIGNATURE-----

Re: [Xenomai] I-pipe patch broken for Xilinx Zynq

[Gilles Chanteperdrix]

On Tue, Dec 16, 2014 at 08:17:12AM +0100, pacalet wrote:
> Would you like me to post the rejects files somewhere?

No. The problem is that the ipipe-core-3.8.13-arm-4.patch (and not
-3, as I said, you should be using the latest version), as its name
indicates, is made for Linux 3.8.13, whereas the xilinx tag is based
on 3.8.0. So, the correct procedure is:

git checkout -b xenomai-test 6a0bedad
git remote add stable git://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
git fetch stable
git merge v3.8.13
patch -p1 < /path/to/ipipe-core-3.8-zynq-pre.patch
patch -p1 < /path/to/ipipe-core-3.8.13-arm-4.patch
patch -p1 < /path/to/ipipe-core-3.8-zynq-post.patch

If git fetch stable takes too long, you can use the 3.8.13 patch
from kernel.org:
https://www.kernel.org/pub/linux/kernel/v3.x/patch-3.8.13.xz

-- 
					    Gilles.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 173 bytes
Desc: not available
URL: <http://www.xenomai.org/pipermail/xenomai/attachments/20141216/dc6afce6/attachment.sig>

Re: [Xenomai] I-pipe patch broken for Xilinx Zynq

[Renaud Pacalet]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256



On 12/16/14 12:16, Gilles Chanteperdrix wrote:
> On Tue, Dec 16, 2014 at 08:17:12AM +0100, pacalet wrote:
>> Would you like me to post the rejects files somewhere?
> 
> No. The problem is that the ipipe-core-3.8.13-arm-4.patch (and not 
> -3, as I said, you should be using the latest version), as its
> name indicates, is made for Linux 3.8.13, whereas the xilinx tag is
> based on 3.8.0. So, the correct procedure is:
> 
> git checkout -b xenomai-test 6a0bedad git remote add stable
> git://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
>
> 
git fetch stable
> git merge v3.8.13 patch -p1 <
> /path/to/ipipe-core-3.8-zynq-pre.patch patch -p1 <
> /path/to/ipipe-core-3.8.13-arm-4.patch patch -p1 <
> /path/to/ipipe-core-3.8-zynq-post.patch

Thanks a lot Gilles, I got it now. And it worked like a charm.

Best regards,
- -- 
Télécom ParisTech - LabSoC
c/o EURECOM, Campus SophiaTech
Les Templiers, 450 route des Chappes 06410 Biot
Tel : +33 (0) 4 9300 8402
Fax : +33 (0) 4 9300 8200
Web : http://www.telecom-paristech.fr/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iEYEAREIAAYFAlSQWrwACgkQ6X2qPZD76M9BBwCfe3Ji/koRBA+U1pUSZlmLFAe+
1l8AoIbKkVwRke+UWSXcc6mrpIu8R/Oa
=qrzR
-----END PGP SIGNATURE-----