[Xenomai] Xenomai on Atmel SAMA5D3 with a 3.14 kernel

Gilles Chanteperdrix gilles.chanteperdrix at xenomai.org
Wed Jun 11 20:55:25 CEST 2014


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

On 06/11/2014 08:16 PM, Gilles Chanteperdrix wrote:
> 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.

The corresponding config option is:
CONFIG_ATMEL_TCB_CLKSRC

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

iD8DBQFTmKYdGpcgE6m/fboRAjAeAJ9TgL0dxVm0pUl+jOCber1VGy5K7QCdFTRS
L55laOAlOFDmhzGeYx7o5mw=
=1JO0
-----END PGP SIGNATURE-----




More information about the Xenomai mailing list