[Xenomai] Xenomai on Atmel SAMA5D3 with a 3.14 kernel

Maxime Ripard maxime.ripard at free-electrons.com
Thu Jun 12 09:54:01 CEST 2014

On Wed, Jun 11, 2014 at 08:16:15PM +0200, Gilles Chanteperdrix wrote:
> 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

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


Maxime Ripard, Free Electrons
Embedded Linux, Kernel and Android engineering
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: Digital signature
URL: <http://www.xenomai.org/pipermail/xenomai/attachments/20140612/d33fe2e2/attachment.sig>

More information about the Xenomai mailing list