linuxPackages mismatch

[NeQuissimus]

Issue description

I just nixos-rebuild boot --upgrade and noticed that I received the following package:

...
/nix/store/9jfpj80g2il77zs4w7nd2zn6jksvrxda-x86_energy_perf_policy-4.14.24
...

My kernel is 4.15.7, so the versions do not match (which they should).

In my configuration.nix I have the following (which will pull the above 4.15.7 kernel version in):

boot.kernelPackages = lib.mkDefault pkgs.linuxPackages_copperhead_hardened;

Do I have to add another config parameter somewhere?
I would have expected boot.kernelPackages to take care of this.

I can, of course, do the following and everything will be okay. But that seems like an ugly workaround:

  nixpkgs.config.packageOverrides = super: let self = super.pkgs; in {
    linuxPackages = pkgs.linuxPackages_copperhead_hardened;
  };

Technical details

• system: "x86_64-linux"
• host os: Linux 4.15.7-hardened, NixOS, 18.03pre130719.a66ce38acea (Impala)
• multi-user?: yes
• sandbox: yes
• version: nix-env (Nix) 2.0
• channels(root): "nixos"
• nixpkgs: /nix/var/nix/profiles/per-user/root/channels/nixos/nixpkgs

[dezgeg]

I guess it depends on what this x86_energy_perf_policy package does, but if it's just an userspace tool (which it seems) it probably doesn't matter if the version doesn't match the running kernel. I guess it's coming from the tlp package, that could use the linuxPackages_latest version to have all the latest features available.

[dtzWill]

Somewhat related: #35157

[stale]

Thank you for your contributions.

This has been automatically marked as stale because it has had no activity for 180 days.

If this is still important to you, we ask that you leave a comment below. Your comment can be as simple as "still important to me". This lets people see that at least one person still cares about this. Someone will have to do this at most twice a year if there is no other activity.

Here are suggestions that might help resolve this more quickly:

1. Search for maintainers and people that previously touched the related code and @ mention them in a comment.
2. Ask on the NixOS Discourse.
3. Ask on the #nixos channel on irc.freenode.net.