[toolchain]
channel = "nightly-2020-10-30"
targets = [
  "thumbv7em-none-eabihf",
]
profile = "default"