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 a
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
> On the arm64 already have ipipe patch , but the Xenomai not properly
> worked on the arm64.
>
>