[toolchain] channel = "custom-rv32e" # targets = ["riscv32e-unknown-none-elf"] # OR targets = ["riscv32ec-unknown-none-elf"]