test.nix

    pyrp3 = pkgs.python3Packages.buildPythonPackage rec {
      pname = "pyrp3";
      version = "1.2.0";
      pyproject = true;
      src = pkgs.fetchFromGitHub {
        owner = "linien-org";
        repo = "pyrp3";
        rev = "v${version}";
        hash = "sha256-43TTlpJ5SMAjQM71bNVvrWQyciRXM3zpuA/Dw41AEgU=";
      };
      nativeBuildInputs = with pkgs.python3Packages; [ setuptools wheel setuptools-scm ];
      propagatedBuildInputs = with pkgs.python3Packages; [
        myhdl
        rpyc4
        cached-property
        numpy
      ];
    };

    linien-server = pkgs.python3Packages.buildPythonPackage rec {
      pname = "linien-server";
      pyproject = true;
      inherit (pkgs.python3Packages.linien-common) src version;
      sourceRoot = "source/linien-server";
      nativeBuildInputs = [ pkgs.python3Packages.setuptools ];
      propagatedBuildInputs = with pkgs.python3Packages; [
        appdirs
        certifi
        click
        cma
        pylpsd
        pyrp3
        requests
        linien-common
      ];
    };
     
    not-os-configured = (import patched-not-os {
        inherit nixpkgs;
        extraModules = [
          "${patched-not-os}/zynq_image.nix"
          ({ config, pkgs, ... }: {
            environment.systemPackages = [ linien-server ];
          };
        ];
        system = "x86_64-linux";
        crossSystem.system = "armv7l-linux";
      });