Has anyone gotten Xenomai working on a BB white (3.2 kernel)?

Hi All,

I have a custom designed Linux board, based on the older BB white. It uses the 3.2 kernel from the TI PSP archive. The system is working well, and is stable.

I would like to experiment with adding Xenomai to my existing kernel, but looking at the docs the latest Xenomai 3 does not seem to support the old 3.2 kernel. Has anyone gotten this configuration working?

We do not really want to upgrade the kernel on our current system, as what we have is working fine for us now.