{ config, pkgs, ... }:

{
  boot = {
    extraModprobeConfig = ''
      options bbswitch use_acpi_to_detect_card_state=1
    '';
    kernelModules = [ "tpm-rng" ];
  };

  services.xserver.videoDrivers = [ "intel" ];
}