+17
-3
pkgs/os-specific/linux/tuxedo-drivers/default.nix
+17
-3
pkgs/os-specific/linux/tuxedo-drivers/default.nix
···
+12
pkgs/os-specific/linux/tuxedo-drivers/no-cp-etc-usr.patch
+12
pkgs/os-specific/linux/tuxedo-drivers/no-cp-etc-usr.patch
···