Hi Greg, I'm using L4T. The feedback from 'uname -r' is: 4.4.15-tegra
Would that be a problem? Thank you! Bocheng Yu ________________________________ From: Greg Gallagher <g...@embeddedgreg.com> Sent: Sunday, December 17, 2017 10:24 To: ?? ?; 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