1 2 3 4 5 6 7 8 9 10
{ config, pkgs, ... }: { boot = { extraModprobeConfig = '' options bbswitch use_acpi_to_detect_card_state=1 ''; kernelModules = [ "kvm-intel" "tpm-rng" ]; }; }