From 9b99738c84dfc5a66ec4e9aee1a30afc580a3cb8 Mon Sep 17 00:00:00 2001
From: goibhniu <cillian.deroiste@gmail.com>
Date: Wed, 2 May 2018 15:03:39 +0200
Subject: [PATCH] tbs: override the kernel dvb-core.ko and videodev.ko

Otherwise the kernel versions of dvb-core.ko and videodev.ko get
loaded instead of the versions from this package.
---
 pkgs/os-specific/linux/tbs/default.nix | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/pkgs/os-specific/linux/tbs/default.nix b/pkgs/os-specific/linux/tbs/default.nix
index db20a7ab8211..291666c0b450 100644
--- a/pkgs/os-specific/linux/tbs/default.nix
+++ b/pkgs/os-specific/linux/tbs/default.nix
@@ -43,16 +43,21 @@ in stdenv.mkDerivation {
   buildFlags = [ "VER=${kernel.modDirVersion}" ];
   installFlags = [ "DESTDIR=$(out)" ];
 
-  hardeningDisable = [ "pic" "format" ];
+  hardeningDisable = [ "all" ];
 
   nativeBuildInputs = [ patchutils kmod perl perlPackages.ProcProcessTable ]
-  ++ lib.optional (lib.versionAtLeast kernel.version "4.14") [ libelf ];
+  ++ kernel.moduleBuildDependencies;
+
+   postInstall = ''
+    xz $out/lib/modules/${kernel.modDirVersion}/kernel/drivers/media/dvb-core/dvb-core.ko
+    xz $out/lib/modules/${kernel.modDirVersion}/kernel/drivers/media/v4l2-core/videodev.ko
+  '';
 
   meta = with lib; {
     homepage = https://www.tbsdtv.com/;
     description = "Linux driver for TBSDTV cards";
     license = licenses.gpl2;
     maintainers = with maintainers; [ ck3d ];
-    priority = 20;
+    priority = -1;
   };
 }