From mboxrd@z Thu Jan 1 00:00:00 1970 References: From: Philippe Gerum Subject: Re: [XENOMAI][ARM64] : Xenomai on Jetson TX2 In-reply-to: Date: Sun, 14 Mar 2021 17:41:22 +0100 Message-ID: <87im5tg025.fsf@xenomai.org> MIME-Version: 1.0 Content-Type: text/plain List-Id: Discussions about the Xenomai project List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Mohamed Irfanulla Mohamed Abdulla Cc: xenomai@xenomai.org Mohamed Irfanulla Mohamed Abdulla via Xenomai writes: > Hi, > > We are trying to run xenomai on Jetson TX2. Following the discussion on > this Topic > https://www.mail-archive.com/xenomai@xenomai.org/msg19189.html > > What is missing is the > Xenomai port to Dovetail/arm64, which is brewing. > > > I would like to know if the Xenomai port to Dovetail/arm64 is > available? Since from the Topic we assume that Jetson SoC is bootable > with Linux mainline kernel > 5.7 and arm64 Ipipe is not available. > > Please refer to https://xenomai.org/pipermail/xenomai/2021-March/044736.html. Thanks, -- Philippe.