[toolchain] channel = "1.80" components = ["rustc", "cargo"] targets = ["thumbv8m.main-none-eabihf"] profile = "minimal"