We are using the DragonBoard 410c, after that we will choose the
specific board which not support by xenomai.
Before that, we thought that xenomai could be used directly after the
I-pipe work was completed, but the real situation is not like this.
So we hope find the way of port xenomai to arm64 ! In the wiki of
xenomai , there's no detail description of how to port xenomai to
arm64. I hope to find a way from you.
At 2018/11/12 Afternoon 9:17, Greg Gallagher Write:
What board are you using? Arm64 works on a handful of boards so far.
You may need to enable support for the specific board you are using.
Greg
On Mon., Nov. 12, 2018, 2:20 a.m. duanwujie via Xenomai
<xenomai@xenomai.org <mailto:xenomai@xenomai.org> wrote:
On the arm64 already have ipipe patch , but the Xenomai not properly
worked on the arm64.
In order to support arm64, what other work needs to be done! Can you
provide some clues?