I’m a professional embedded system engineer.
I use tools hosted on Windows because Windows is more backwards-compatible than any Linux variant, and more stable than any Unix variant except BSD. I achieved this viewpoint when I realized that in order to work on Linux code, I would have to install Vmware, and the environment files for several Linux systems… under Windows. Alternatively, I could just use Windows-hosted tools.
The exact issue is that I bought a Hifive (Thanks!) And then I installed the Arduino system.
The screen shot is attached, but the message is “Tool openocd is not available for your operating system.”