You've got a badge, you want to write and run C to run on the RiscV. This is a guide for you.
The toolchain requires a bash shell - it won't work with CMD. We'll use the bash shell that comes with Git for Windows. Other options include installing Windows Subsystem for Linux or using a Mac. However, the git