Alternate tools for the Raspberry Pi Build HAT brought to you by Pybricks.
Install the .deb package from the Releases page on your Raspberry Pi:
sudo apt install ./python3-pybricks-build-hat_<version>_all.debThen run the tool with:
python -m pybricks_build_hat.flash <firmware.bin>