{ pkgs ? import <nixpkgs> {} }:
  pkgs.mkShell {
    nativeBuildInputs = with pkgs.buildPackages; [
      python3.pkgs.pyserial
      (writeShellScriptBin "flash-thb1" ''
        python3 rdwr_phy62x2.py -p /dev/ttyUSB0 -b 115200 -e -r wh ./bin/BOOT_THB1_v*.hex
      '')
    ];
}