[Xenomai] arm64 support

Lennart Sorensen lsorense at csclub.uwaterloo.ca
Thu Jan 12 15:42:11 CET 2017

On Thu, Jan 12, 2017 at 02:04:06PM +0100, Jorge Ramirez wrote:
> also, what hardware are you running and what is the extent of your
> modifications?

Well the kernel dump said:


So that would be a Freescale (NXP? Qualcomm?) quad A53 chip reference

Len Sorensen

More information about the Xenomai mailing list