[Xenomai] [PATCH] ipipe: arm_arch_timer: correct the wrong ipipe_timer setup
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.
> Dmitriy is maintaining arm64, CCing him.
Merged, thank you!
More information about the Xenomai