As you may have noticed, Xenomai.org experienced a 24h outage that finished one hour ago or so. This was due to fried hard drives. The server IP for xenomai.org has changed as well, so DNS propagation has to take place; it should be ok by now, but if it is not yet, please be patient, this should not be long.
Sorry for the obvious inconvenience. -- Philippe. _______________________________________________ Xenomai-core mailing list [email protected] https://mail.gna.org/listinfo/xenomai-core
