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

gengdongjiu gengdongjiu at huawei.com
Thu Jul 19 08:02:43 CEST 2018



On 2018/7/19 12:37, Dmitriy Cherkasov wrote:
> 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!

Thanks, Dmitriy!

> 
> 




More information about the Xenomai mailing list