[Xenomai] Xenomai on Atmel SAMA5D3 with a 3.14 kernel
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:
> -----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
> 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
Maxime Ripard, Free Electrons
Embedded Linux, Kernel and Android engineering
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 819 bytes
Desc: Digital signature
More information about the Xenomai