[toolchain] channel = "1.80.0" targets = [ "wasm32-unknown-unknown", "thumbv6m-none-eabi" ]