On Thu, Mar 25, 2021 at 12:01 PM Zhao, Lixiang via Xenomai < xenomai@xenomai.org> wrote:
> Hi, > > I would like to patch a board with a Rockchip RK3399 SoC with Xenomai > v3.1, I'm unsure if this SoC is supported, could you help me find it out ? > > Best regards, > Li. > I don't think it's been ported to the ipipe yet (looking at ipipe 5.4). If you look at what interrupt sources the board has you can see if the drivers are already ipipe aware. If they aren't you can port them over, there's a good porting guide in the documentation directory, it's for ARM but most of it applies to ARM64. I have a RK3308 that I keep meaning to try port, but with my schedule I don't think I'll get around to it for a while. -Greg
