pkgs/os-specific/linux/gasket/default.nix

   1 { stdenv, lib, fetchFromGitHub, kernel }:
   2
   3 stdenv.mkDerivation rec {
   4   pname = "gasket";
   5   version = "1.0-18-unstable-2024-04-25";
   6
   7   src = fetchFromGitHub {
   8     owner = "google";
   9     repo = "gasket-driver";
  10     rev = "5815ee3908a46a415aac616ac7b9aedcb98a504c";
  11     sha256 = "O17+msok1fY5tdX1DvqYVw6plkUDF25i8sqwd6mxYf8=";
  12   };
  13
  14   makeFlags = kernel.makeFlags ++ [
  15     "-C"
  16     "${kernel.dev}/lib/modules/${kernel.modDirVersion}/build"
  17     "M=$(PWD)"
  18   ];
  19   buildFlags = [ "modules" ];
  20
  21   installFlags = [ "INSTALL_MOD_PATH=${placeholder "out"}" ];
  22   installTargets = [ "modules_install" ];
  23
  24   sourceRoot = "${src.name}/src";
  25   hardeningDisable = [ "pic" "format" ];
  26   nativeBuildInputs = kernel.moduleBuildDependencies;
  27
  28   meta = with lib; {
  29     description = "Coral Gasket Driver allows usage of the Coral EdgeTPU on Linux systems";
  30     homepage = "https://github.com/google/gasket-driver";
  31     license = licenses.gpl2Only;
  32     maintainers = [ lib.maintainers.kylehendricks ];
  33     platforms = platforms.linux;
  34     broken = versionOlder kernel.version "5.15";
  35   };
  36 }