{ pkgs, ... }:

{
  # Keep the vendor driver tied to this host's selected kernel, including its
  # build dependencies and module installation path supplied by nixpkgs.
  boot.kernelPackages = pkgs.linuxPackages.extend (_final: prev: {
    r8125 = prev.r8125.overrideAttrs {
      version = "9.018.00";
      # The mirror's top-level wrapper overrides BASEDIR with /lib/modules.
      # Build in src directly so nixpkgs' kernel path reaches kbuild.
      buildFlags = [ "-C" "src" "modules" ];
      # Realtek's release mirrored by the DKMS maintainer. Pin the source rather
      # than running the vendor installer or following a mutable branch.
      src = pkgs.fetchFromGitHub {
        owner = "awesometic";
        repo = "realtek-r8125-dkms";
        rev = "9a152bf920334aead090d2fb4d91f67a84923123"; # 9.018.00-1
        hash = "sha256-yeQsyraNrms1Txm7ZAKeiPfF0tfN6WSHUo5DnvfFosw=";
      };
    };
  });
}