[Xenomai] [PATCH] ipipe: arm_arch_timer: correct the wrong ipipe_timer setup

Dmitriy Cherkasov dmitriy at oss-tech.org
Thu Jul 19 06:37:07 CEST 2018

On 06/25/2018 11:19 PM, Philippe Gerum wrote:
> On 06/26/2018 03:32 AM, gengdongjiu wrote:
>> Sorry for the noise, I see you just merge to "ipipe-arm" project(https://gitlab.denx.de/Xenomai/ipipe-arm).
>> the ipipe-arm64" project also needs this patch, because arm arch timer driver is used by both arm32 and arm64 platforms.
>> thanks.
> Dmitriy is maintaining arm64, CCing him.

Merged, thank you!

More information about the Xenomai mailing list