Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
Added a lower-half timer driver for stm32 which is compatible with the upper-half driver located at /drivers/timers/timer.c