[toolchain]
channel = "nightly"
targets = ["riscv64gc-unknown-none-elf"]