Merge pull request #224254 from kylehendricks/gasket-1.0-18

This commit is contained in:
Sandro 2023-04-13 01:17:47 +02:00 committed by GitHub
commit c05b69b087
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 45 additions and 0 deletions

View File

@ -8421,6 +8421,12 @@
githubId = 2422454;
name = "Kai Wohlfahrt";
};
kylehendricks = {
name = "Kyle Hendricks";
email = "kyle-github@mail.hendricks.nu";
github = "kylehendricks";
githubId = 981958;
};
kyleondy = {
email = "kyle@ondy.org";
github = "KyleOndy";

View File

@ -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;
};
}

View File

@ -26362,6 +26362,10 @@ with pkgs;
fwts = callPackage ../os-specific/linux/fwts { };
gasket = callPackage ../os-specific/linux/gasket {
inherit (linuxPackages) kernel;
};
gobi_loader = callPackage ../os-specific/linux/gobi_loader { };
libossp_uuid = callPackage ../development/libraries/libossp-uuid { };