From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: <539A30A9.3060409@xenomai.org> Date: Fri, 13 Jun 2014 00:58:49 +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> <5399EA07.3090605@xenomai.org> In-Reply-To: <5399EA07.3090605@xenomai.org> 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 07:57 PM, Gilles Chanteperdrix wrote: > 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). I have pushed these changes in the for-ipipe-3.14.0 branch in the ipipe-gch.git repository. - -- Gilles. -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: Using GnuPG with Icedove - http://www.enigmail.net/ iD8DBQFTmjCpGpcgE6m/fboRAsixAJ9btQ1BUrjESV8KA+9WN694v982YACeOw1B Glx+PBux74mGWtB3U24o7RE= =S5v3 -----END PGP SIGNATURE-----