diff --git a/pkgs/lib/empty.file b/pkgs/lib/empty.file new file mode 100644 index 00000000000..e69de29bb2d diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 5b913cfcae1..553c8a063b7 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -2762,13 +2762,13 @@ rec { extraConfig = "CONFIG_FB_SPLASH=y"; } ]++ - /*(if (getConfig ["kernel" "no_hz"] false) then */[ + (if (getConfig ["kernel" "no_hz"] false) then [ { name = "Enable-NO_HZ"; - patch = /dev/null; + patch = ../lib/empty.file; extraConfig = "NO_HZ=y\n"; } - ]/* else [])*/ + ] else []) ; };