{
  description = "flake for rp2040 dev";
  inputs = {
    nixpkgs.url = "github:NixOS/nixpkgs/release-24.11";
    systems.url = "github:nix-systems/default";
    flake-utils = {
      url = "github:numtide/flake-utils";
      inputs.systems.follows = "systems";
    };
    openocd-pico = {
      url = "git+https://code.jmug.me/mini-rv32/openocd-pico-flake";
      inputs = {
        nixpkgs.follows = "nixpkgs";
        flake-utils.follows = "flake-utils";
      };
    };
  };

  outputs =
    { nixpkgs, flake-utils, openocd-pico, ... }:
    flake-utils.lib.eachDefaultSystem (
      system:
      let
        pkgs = nixpkgs.legacyPackages.${system};
      in
      {
        devShells.default = pkgs.mkShell {
          packages = with pkgs; [
            gdb
            cmake
            gnumake
            python312Full
            gcc-arm-embedded
            openocd-pico.packages.${system}.default
          ];
        };
      }
    );
}