[toolchain]
channel = "1.77.0"
targets = ["riscv32i-unknown-none-elf"]