[Xenomai] Xenomai on Atmel SAMA5D3 with a 3.14 kernel

Gilles Chanteperdrix gilles.chanteperdrix at xenomai.org
Wed Jun 11 20:16:15 CEST 2014


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

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.

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

iD8DBQFTmJzvGpcgE6m/fboRAtk8AJ9H4b3KDZJgQ57p0cHXHgs+oe4laQCeJ8nx
mTHbu4RuHYCDbUYkvevG0MY=
=9GGv
-----END PGP SIGNATURE-----




More information about the Xenomai mailing list