On 12/17/2017 05:38 PM, Greg Gallagher wrote: > > I believe Arm64 is only in the next branch, but i'll leave that to someone > else to confirm or correct.
That is correct. > > Greg > > Original Message > From: g...@embeddedgreg.com > Sent: December 17, 2017 10:24 AM > To: yuboch...@live.cn; xenomai@xenomai.org > Subject: Re: [Xenomai] Xenomai on Arm64 > > What kernel are you using L4T or mainline? > > > Sent from my BlackBerry - the most secure mobile device - via the Rogers > Network > > Original Message > From: yuboch...@live.cn > Sent: December 17, 2017 9:44 AM > To: xenomai@xenomai.org > Subject: [Xenomai] Xenomai on Arm64 > > Hi, > > I'm trying to patch Xenomai on Nvidia TX2, an Arm64 processor. When I used > Xenomai 3.0.5 and ipipe-core-4.9.24-arm64-2.patch, I was not allowed config > the kernel. As I understood, this is because Xenomai 3.0.5 doesn't fully > support Arm64 (/kernel/cobalt/arch/arm64 is empty). > > So I was wondering which versions of Xenomai and ipipe I should use? Stable > release or versions under development? > > Thank you! > > Bocheng Yu > _______________________________________________ > Xenomai mailing list > Xenomai@xenomai.org > https://xenomai.org/mailman/listinfo/xenomai > _______________________________________________ > Xenomai mailing list > Xenomai@xenomai.org > https://xenomai.org/mailman/listinfo/xenomai > -- Philippe. _______________________________________________ Xenomai mailing list Xenomai@xenomai.org https://xenomai.org/mailman/listinfo/xenomai