Greetings, I looked for the ARM9 board titled TS-7800 in the Embedded hardware list of Xenomai here: http://www.xenomai.org/index.php/Embedded_Device_Support#ARM but couldn't find it.
I am talking about this ARM9 board: http://www.embeddedarm.com/products/arm-sbc.php#ts-7800-500mhz-series Is it there under some other name which I probably missed? Regards, -Anisha _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
