Hi Len,
I have dabbled a bit, but installing a RT kernel from stock gave me some problems ( https://groups.google.com/forum/#!category-topic/beagleboard/FOEDBLvmu2c ) and I have not gotten around trying to figure out what is happening.
I had MK running on the X15 approx a yr ago, so I guess that the BB AI will work at the end too.
Bas.