That’s cool they switched CS61C to RISC-V.. we did a MIPS CPU (although maybe they are similar now?)