I'm currently working in a custom board based on the AT91SAM9260
I've seen your answer
and I would like to know about the upgrading state to 2.6.23 kernel version.
I've a AT91SAM9260-EK
development board, so if you need testing help, let me know.
Xenomai-core mailing list