Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
add configuration options to allow SRAM2 to be used for heap, or not at all, and to zero-init it on OS start, or not at all.