Hi, Due to its migration to a new server, xenomai.org server should be down for a short time (as short as possible) next week-end. I will probably send a reminder on friday.
Regards.
--
Gilles.
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
