I am compiling the riscv toolchain now to get me

riscv64-unknown-elf-gcc

mentioned in the Makefile for

firmware/blink

(which seems promising, possibly even the one which is currently loaded as it is blinking at me now). The common make file has some promising targets including the word

flash

which use utilities starting with

caravel_

.