lenovo/thinkpad/t440p/default.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

{ config, lib, pkgs, ... }:

{
  imports = [
    ../.
    ../../../common/cpu/intel
  ];

  boot = {
    extraModprobeConfig = lib.mkDefault ''
      options bbswitch use_acpi_to_detect_card_state=1
    '';
    # TODO: probably enable tcsd? Is this line necessary?
    kernelModules = [ "tpm-rng" ];
  };
}