Hi

I'm new to Xenomai and wondering if there is any way to patch and intall Linux 2.6.11.11 kernel for use with the Xenomai.

I'm using the Arcom Viper embedded system running their patched Linux 2.6.11.11 on xScale PXA255 based board

 thanx a lot

Igor Cheifot