Le kernel Linux 7.1 supporte enfin le temps réel sur architecture ARM