Fixing typos from previous check-ins. Also, missed the ARMv7 IDLE stack coloration
parent
04de5c44
Please register or sign in to comment
Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.