On 06/26/2018 03:32 AM, gengdongjiu wrote: > Hi Philippe, > > On 2018/6/25 18:28, Philippe Gerum wrote: >> On 06/25/2018 04:21 PM, Dongjiu Geng wrote: >>> The arch_timer_mem_use_virtual variable is used to judge the type >>> of memory-mapped timer, it can not be used to judge the type of CP15 >>> timer, so fix this issue, otherwise it will lead to kernel panic when >>> running as a VM. >>> >> >> Merged, thanks. > > 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. -- Philippe. _______________________________________________ Xenomai mailing list Xenomai@xenomai.org https://xenomai.org/mailman/listinfo/xenomai
