diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2023-04-13 01:17:47 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-13 01:17:47 +0200 |
commit | c05b69b08726834fd971476b9a2b9810ba996a51 (patch) | |
tree | 9a0ec4a322aacb47ee4dd07fd04c584ccee39590 /pkgs/os-specific | |
parent | 1bb6fd5008c954b9c07adad9e89863ebfc2af10a (diff) | |
parent | eb0f101b8aa0b704e103164699350fd3914c298c (diff) |
Merge pull request #224254 from kylehendricks/gasket-1.0-18
Diffstat (limited to 'pkgs/os-specific')
-rw-r--r-- | pkgs/os-specific/linux/gasket/default.nix | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/pkgs/os-specific/linux/gasket/default.nix b/pkgs/os-specific/linux/gasket/default.nix new file mode 100644 index 0000000000000..1f9d60ad7b606 --- /dev/null +++ b/pkgs/os-specific/linux/gasket/default.nix @@ -0,0 +1,35 @@ +{ stdenv, lib, fetchFromGitHub, kernel }: + +stdenv.mkDerivation rec { + pname = "gasket"; + version = "1.0-18"; + + src = fetchFromGitHub { + owner = "google"; + repo = "gasket-driver"; + rev = "97aeba584efd18983850c36dcf7384b0185284b3"; + sha256 = "pJwrrI7jVKFts4+bl2xmPIAD01VKFta2SRuElerQnTo="; + }; + + makeFlags = [ + "-C" + "${kernel.dev}/lib/modules/${kernel.modDirVersion}/build" + "M=$(PWD)" + ]; + buildFlags = [ "modules" ]; + + installFlags = [ "INSTALL_MOD_PATH=${placeholder "out"}" ]; + installTargets = [ "modules_install" ]; + + sourceRoot = "source/src"; + hardeningDisable = [ "pic" "format" ]; + nativeBuildInputs = kernel.moduleBuildDependencies; + + meta = with lib; { + description = "The Coral Gasket Driver allows usage of the Coral EdgeTPU on Linux systems."; + homepage = "https://github.com/google/gasket-driver"; + license = licenses.gpl2; + maintainers = [ lib.maintainers.kylehendricks ]; + platforms = platforms.linux; + }; +} |