[Xenomai] Xenomai on Atmel SAMA5D3 with a 3.14 kernel

Gilles Chanteperdrix gilles.chanteperdrix at xenomai.org
Wed Jun 25 20:03:53 CEST 2014


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

On 06/25/2014 07:13 PM, Maxime Ripard wrote:
> On Tue, Jun 24, 2014 at 01:44:22AM +0200, Gilles Chanteperdrix
> wrote:
>> -----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.
> 
> Ok, that's good to know. I'll look a bit more at this and what we
> did for the AIC5 then.

I can make the AIC5 changes on my side and ask you to test, if you prefer.


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

iD8DBQFTqw8JGpcgE6m/fboRAn2pAJ9sR2kDd4TF7ZF32C19PTOQnyEnMgCeMrTy
E64SP8AiYPlJzSaNi5uuq1M=
=YGOP
-----END PGP SIGNATURE-----




More information about the Xenomai mailing list