giuliomoro Kernel 4.x would be great, but I think that only Xenomai 3 would be suitable for that, which may require some changes to the core code of Bela. Probably not too much of a big deal, but surely not painless!
AndyCap From what I can see it is all painful 🙂 I will try to get it going as a side project over time...
giuliomoro A 4.4.x BBB kernel with Xenomai 3 has just surfaced a few hours ago, see here and here. And what's more, there is a 3.14 as well (Xenomai 2, I suppose) https://github.com/RobertCNelson/ti-linux-kernel-dev/tree/ti-linux-xenomai-3.14.y