[Xenomai] Xenomai on Atmel SAMA5D3 with a 3.14 kernel

[Gilles Chanteperdrix]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 06/23/2014 04:05 PM, Maxime Ripard wrote:
> On Fri, Jun 13, 2014 at 09:01:25PM +0200, Gilles Chanteperdrix
> wrote:
>> -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
>> 
>> On 06/12/2014 05:03 PM, Maxime Ripard wrote:
>>> On Thu, Jun 12, 2014 at 10:37:11AM +0200, Gilles Chanteperdrix 
>>> wrote:
>>>> -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
>>>> 
>>>> On 06/12/2014 09:54 AM, Maxime Ripard wrote:
>>>>> On Wed, Jun 11, 2014 at 08:16:15PM +0200, Gilles
>>>>> Chanteperdrix wrote:
>>>>>> -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
>>>>>> 
>>>>>> On 06/11/2014 11:25 AM, Maxime Ripard wrote:
>>>>>>> On Tue, Jun 10, 2014 at 12:01:36PM +0200, Gilles 
>>>>>>> Chanteperdrix wrote:
>>>>>>>> If you compile the kernel without I-pipe and Xenomai 
>>>>>>>> support and enable the tcb_clksrc clocksource driver
>>>>>>>> does it work?
>>>>>>> 
>>>>>>> Yep, with the exact same config, except for
>>>>>>> CONFIG_IPIPE and CONFIG_XENOMAI being disabled, it
>>>>>>> boots fine.
>>>>>>> 
>>>>>> Read again, I am not insterested in exactly the same
>>>>>> config, I am interested in the a config with tcb_clksrc
>>>>>> clocksource, which is disabled by CONFIG_IPIPE. Only if
>>>>>> you enable this clocksource do you get to use the
>>>>>> atmel_tclib code.
>>>>> 
>>>>> Let me rephrase then. It works with the exact same config,
>>>>> with CONFIG_IPIPE and CONFIG_XENOMAI disabled, and 
>>>>> CONFIG_ATMEL_TCB_CLKSRC enabled.
>>>> 
>>>> Then I would tend to think that the clocksource is not your 
>>>> problem and repeat that you should check everything else in
>>>> the porting guide.
>>> 
>>> Ok. I will.
>>> 
>> Looking rapidly at the code, at least the irq controller and pic 
>> muting need fixing.
> 
> Ok, so, a bit of news on this one.
> 
> After fixing the irq controller to work on the AIC5, and disabling
> the pic muting, I get almost 100% of the time a system freeze when
> running: 
> http://git.free-electrons.com/training-materials/tree/lab-data/realtime/rttest/data/rttest.c
>
>  The TCB timer is still ticking, at a rate around 1Hz, while, when
> the system hangs, the PIT interrupt isn't firing anymore (which
> explains the freeze). So there's probably something wrong related
> to the ipipe I guess, or the interrupt being masked and not
> unmasked at some point.

Well:
- - the existing at91 I test also use a PIT and they do not hang
- - if you disabled the pic muting, noone is disabling the PIT interrupt.

So, I would suggest looking carefully at the sama5 code.


- -- 
                                                                Gilles.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: Using GnuPG with Icedove - http://www.enigmail.net/

iD8DBQFTqLvWGpcgE6m/fboRAp5FAJ9y5zAf4XepeniEnTiJaC+v0agd2ACeJ+Ik
kdQm/r7vdpSbsWQ7RYxJjCo=
=ix8/
-----END PGP SIGNATURE-----