[toolchain]
channel = "nightly-2024-08-01"
targets = ["riscv32im-unknown-none-elf"]