BBB kernel 3.13 & Xenomai - 2nd approach

Hello,

I’ve done some porting Xenomai-2.6.3 to RCNelson’s 3.13 BBB kernel.
Patches stored in git repo: https://github.com/t-szczyrba/bbb-xenomai-patches
Warning: most of the xenomai tests work ok, but it is not 100% stable. Alpha quality work for testing by the brave ones!

Also there are some problems concerning MMC read/write when using that version of ipipe, but don’t know yet if the bug
is inside of ipipe/ xenomai patches or the interrupts latencies causes problems for mmc/dma driver.
Also suspect some problems with mm subsystem,

T.

Ps. I send here the message 2nd time. Hope that it will be visible this time.