[toolchain]
channel = "1.71.1"
targets = [ "wasm32-unknown-unknown", "thumbv7em-none-eabihf" ]