To program the Ravenna EVB:
pip3 install pyftdi
cd firmware/
make flash
https://github.com/riscv/homebrew-riscv
https://github.com/riscv/riscv-gnu-toolchain
Get compiler toolchain for picorv32…
% cd ~
% git clone https://github.com/cliffordwolf/picorv32.git
% cd picorv32
% sudo apt-get install autoconf automake autotools-dev curl libmpc-dev
libmpfr-dev libgmp-dev gawk build-essential bison flex texinfo
gperf libtool patchutils bc zlib1g-dev git libexpat1-dev% make download-tools
% make $(nproc) build-riscv32imc-tools
% cd ~/ raven-picorv32/verilog/raven_rtc
% make clean
% make hex
% sudo tclftdi ../../test/startup_flash.tcl
> write_flash ftdi0 raven_rtc.hex