Xenomai port for ARM / OMAP processor?

Anyone here working on Xenomai port for ARM / OMAP processor? I would
hate to reinvent the wheel.