How to install a newer toolchain than the official one

3

You should be able to use the new platform_packages feature (docs)

platform_packages =
  toolchain-gccarmnoneeabi@1.80201.181220
2 Likes