{ stdenvNoCC
, cmake
, ninja
, python3
, gcc-arm-embedded
, pico-sdk
, picotool
} : stdenvNoCC.mkDerivation {
  pname = "pico1541";
  version = "0.0.0";
  src = ../.;

  nativeBuildInputs = [ ninja cmake python3 picotool ];
  buildInputs = [ gcc-arm-embedded ];
  PICO_SDK_PATH = "${pico-sdk.override { withSubmodules = true; }}/lib/pico-sdk";
}