Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
Ensure interrups are back on BEFORE running code dependant on clock_systimer Approved-by: Gregory Nutt