Build, flash and debug GigaDevice GD32 microcontrollers on Linux with nothing but GCC, Make, PyOCD and VS Code: no vendor IDE, no Windows, no proprietary programmer software. GigaDevice's own tooling ...

They should also be cross-platform, provided they are used in a Unix-like environment, but I currently do not guarantee anything besides Linux (with GNU Make) in this regard, as I have yet to test ...