[Xenomai] Xenomai on Atmel SAMA5D3 with a 3.14 kernel

Gilles Chanteperdrix gilles.chanteperdrix at xenomai.org
Tue Jun 24 08:13:59 CEST 2014


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

On 06/24/2014 01:44 AM, Gilles Chanteperdrix wrote:
> 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.

You could also post this code for review, BTW. Unless I am mistaken
about your company, you do not want to keep it secret anyway ;-)

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

iD8DBQFTqRcnGpcgE6m/fboRAvB+AJ4rZEZV99GYI7PF/HIQbyLA/WsxCgCfXtRL
j4qfz3wQSKh43WbqQqeYf00=
=5WYK
-----END PGP SIGNATURE-----




More information about the Xenomai mailing list