Has anybody a workable Xenomai kernel?

I asked this question so many times, but never as a thread title.

So, I am asking whoever got a good Xenomai kernel to post it online,

Thank you.

This is my last try to get things sorted out with this board. Having a
simple kernel installed on it is NOTHING and no better than a stupid
Windoze CE. Ye, we all like bling-bling, but when it comes to things hat
make a difference, well... a real time kernel is what's recommended -> I'm
talking about a bootable kernel not a kernel that compiles correctly. 

Let me put like this. If you do this, I'll send you $50 as thank you.