Comment by LatticeAnimal

I don't fully understand riscv, but shouldn't this be something like `RV64GC`?

Are they building for the base riscv with no isa extensions? This might be addressed somewhere in the debian docs but I didn't see it.