Hey Thanassis,
this one is a "long shot" to enable support for the BrainScaleS-2 embedded processors via EBRAINS (i.e. support synaptic plasticity, but also other things). I'm not sure if it will build (however, I did successfully try locally this time ;)), and it's not super important for now, just would be nice to have :).