如何在AM437x应用xenomai实时补丁

开源xenomai实时补丁能够支持arm,目前想在 am437x 应用该实时补丁,请教基于该芯片用哪个版本的xenomai较为合适?有没有相关的操作指导?谢谢!

user1369122：

发到Sitara论坛提问