That is to be determined. There is some interest in doing this work directly on the FSF sources, without waiting for AdaCore.
That is to be determined. There is some interest in doing this work directly on the FSF sources, without waiting for AdaCore.