Argh I need to edit all makefile since the riscv prefix is not configurable.

Is this because of the riscv32 vs. riscv64 in the executable names?

Yeah I

CROSS

prefix is

riscv-none-embed-

I'll fix that up when I get the chance so you don't have to keep hand-editing it.