[Xenomai] Xenomai on Arm64

博诚 余 yubocheng at live.cn
Sun Dec 17 18:22:08 CET 2017

Hi Greg,

I'm using L4T. The feedback from 'uname -r' is:

Would that be a problem?

Thank you!

Bocheng Yu
From: Greg Gallagher <greg at embeddedgreg.com>
Sent: Sunday, December 17, 2017 10:24
To: ?? ?; xenomai at 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: YuBocheng at live.cn
Sent: December 17, 2017 9:44 AM
To: xenomai at xenomai.org
Subject: [Xenomai] Xenomai on Arm64


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 at xenomai.org

More information about the Xenomai mailing list