From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: <5399EA07.3090605@xenomai.org> Date: Thu, 12 Jun 2014 19:57:27 +0200 From: Gilles Chanteperdrix MIME-Version: 1.0 References: <20140606140031.GK5765@lukather> <539322FA.5030004@xenomai.org> <20140610094057.GJ9791@lukather> <5396D469.7060701@xenomai.org> <20140610095422.GK9791@lukather> <5396D780.4020704@xenomai.org> <20140611092532.GE4254@lukather> <53989CEF.3080205@xenomai.org> <20140612075401.GH4254@lukather> <539966B7.3080900@xenomai.org> <20140612150313.GA3448@lukather> In-Reply-To: <20140612150313.GA3448@lukather> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: Re: [Xenomai] Xenomai on Atmel SAMA5D3 with a 3.14 kernel List-Id: Discussions about the Xenomai project List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Maxime Ripard Cc: Michael Opdenacker , Thomas Petazzoni , Boris Brezillon , Alexandre Belloni , xenomai@xenomai.org, =?UTF-8?B?QW50b2luZSBUw6luYXJ0?= -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 06/12/2014 05:03 PM, Maxime Ripard wrote: > On Thu, Jun 12, 2014 at 10:37:11AM +0200, Gilles Chanteperdrix > wrote: >> -----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. > > Ok. I will. > On my side, I will try and remove the need for at91_ipipe_early_init, and get the timer working for 32 bits (I will need you to test the changes though). Regards. - -- Gilles. -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: Using GnuPG with Icedove - http://www.enigmail.net/ iD8DBQFTmeoHGpcgE6m/fboRArhMAJ40cqsbhicNdGy+lPS3Nly9kOA8mACeOgej AXzD+c4QrabVxI1rU16xzpA= =628w -----END PGP SIGNATURE-----