yeah Atmel's AT91SAM926x is similar to the one I'm using.
I am sure checking to see what I have to change and what not.
I'll let you know, if I'm stuck anywhere.

Thanks for the hints.

Regards,

Stan.

From: Bosko Radivojevic <bosko.radivojevic@domain.hid>
Subject: Re: [Xenomai-help] ARM926EJ-S and Xenomai
To: stan.bred@domain.hid
Date: Friday, August 22, 2008, 9:31 PM

Hi Stan,

ARM926EJ CPU is fully supported both by vanilla Linux and by I-Pipe
Adeos (on which Xenomai relies). Gilles is right, a lot of changes
happen in Linux kernel between 2.6.10 and the newest
 2.6.26 version.
In the meantime, a lot of davinci drivers are incorporated in 2.6.26
version. Besides that, I saw a few new patches that have good chance
to be part of 2.6.27.

From my point of view, besides maybe some not so big changes on the
linux side, you'll have to add board support to the Xenomai. There are
similar (with the same CPU) boards supported, like Atmel's
AT91SAM926x. As Gilles said, you can copy&paste a lot of code from
Linux drivers (timer, gpio, etc) :)

If you need some help, please ask.

Sincerely,
Bosko