Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
add unique id function to arch, modded board to support unique id boardctl