I found this repository https://github.com/ARM-software/toolchain-gnu-bare-metal that seems to contain the files I expected to find.
However, it contains only one tag that refers to version 9-2019-q4.
Is this the right repository? Why isn't version 9-2020-q2 tagged? Will the next release (I think 10-2020-q4) come out of this repository?
best regards
Max
I'm also running Linux on my machine. I'm not developing any experimental version, but I can point you to one of them, called bleeding-edge-toolchain from Freddie Chopin, which you acn locate here:https://github.com/FreddieChopin/bleeding-edge-toolchainYou can also try using crosstool-ng in order to create your own "edition" of gcc toolchain, but I'm using one from xPack repository, which you can find there: xpack.github.io/.../