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.
Xenomai-core mailing list