Xenomai website will be under maintenance during the next few days.
There shouldn't be any downtime of the server (only short period
maybe) and you should still be able to access to any piece of
information. However some functionalities may not work properly or as
You will be informed on the mailing list when the maintenance is
Sorry for the inconvenience.
Xenomai-core mailing list