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