Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
Revert "apps/examples/ostest: Skip the task_restart() test on SMP systems. This is not fully implemented." This reverts commit 0ce49462.