1 2 3 4 5 6 7 8 9 10 11 12 13 14
{ config, lib, pkgs, ... }: { imports = [ ../. ../../../common/cpu/intel ../../../common/pc/laptop/acpi_call.nix ]; boot = { # TODO: probably enable tcsd? Is this line necessary? kernelModules = [ "tpm-rng" ]; }; }