| # Available flash commands | |
| - `cargo rriscv32imac`/`cargo rrv32imac`: Use the `riscv32imac-unknown-none-elf` target | |
| - `cargo rriscv32imc`/`cargo rrv32imc`: Use the `riscv32imc-unknown-none-elf` target | |
| - `cargo rthumbv7em`/`cargo rtv7em`: Use the `thumbv7em-none-eabi` target | |
| Before flashing, write your board name to the environment variable `PLATFORM` or to a file named `platform` |