Hi, xenomai.org server will be down for maintenance during the week-end.
Regards.
--
Gilles.
_______________________________________________
Xenomai-core mailing list
[email protected]
https://mail.gna.org/listinfo/xenomai-core
