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