On 06/27/2018 08:54 PM, Jeff Melvile wrote:
> Philippe,
> 
> Thanks again for all your work on this release.
> 
> On Mon, 25 Jun 2018, Philippe Gerum wrote:
> 
>>
>> Xenomai 3.0.7 is out [1]. The GIT repository can be cloned from [2].
>>
>> Some GPIO driver updates, several bug fixes in the Cobalt core, and a
>> critical bug removed from the pshared heap (for users of non-POSIX APIs
>> building with --enable-pshared).
>>
>> An effort to sanitize some legacy from RTnet causing invalid accesses
>> from kernel space to userland memory also stands out, although more work
>> remains in this area.
>>
>> This release supports up to the Linux 4.14 series for ARM, ARM64 and
>> PPC32. Work is still ahead for running Cobalt over 4.14/x86 though.
> 
> Is ARM64 a typo? The v3.0.7 tag doesn't have ARM64 directories in 
> {kernel,lib}/cobalt/arch
> 

Yes, ARM64 is supported over Xenomai's -next branch only. I-pipe/4.14
does support ARM64 already though.

-- 
Philippe.

_______________________________________________
Xenomai mailing list
Xenomai@xenomai.org
https://xenomai.org/mailman/listinfo/xenomai

Reply via email to