[Xenomai] Xenomai on Atmel SAMA5D3 with a 3.14 kernel

Gilles Chanteperdrix gilles.chanteperdrix at xenomai.org
Thu Jun 12 10:37:11 CEST 2014


-----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.

> 
>> Also, it would be nice if you could subscribe to the mailing
>> list, (and bounce all the messages you have sent so far to the
>> mailing list), so that mailing list users do not read only my
>> answers. Otherwise what you do is equivalent to using my personal
>> e-mail address for Xenomai questions, and usually, I do not
>> answer such questions.
> 
> Done.


Thanks.


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

iD8DBQFTmWa3GpcgE6m/fboRAje5AKCaWLggwYx8nCybNJOEKyiLXva23QCgmzVh
Zv2PM8L9khkowVFrqQYNz1A=
=Sy3S
-----END PGP SIGNATURE-----




More information about the Xenomai mailing list