Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
[sched/pthread/pthread_kill] Add missed header for enabled CONFIG_SCHED_HAVE_PARENT