2017-12-24 01:20:36 +00:00
|
|
|
{ config, lib, pkgs, ... }:
|
2016-02-08 12:12:20 +00:00
|
|
|
|
|
|
|
{
|
2017-12-24 23:21:05 +00:00
|
|
|
imports = [
|
|
|
|
../.
|
|
|
|
../../../common/cpu/intel
|
|
|
|
];
|
2017-12-24 01:13:08 +00:00
|
|
|
|
2016-02-08 12:12:20 +00:00
|
|
|
boot = {
|
2017-12-24 01:20:36 +00:00
|
|
|
extraModprobeConfig = lib.mkDefault ''
|
2016-02-08 12:12:20 +00:00
|
|
|
options bbswitch use_acpi_to_detect_card_state=1
|
|
|
|
'';
|
2017-09-06 08:01:01 +00:00
|
|
|
kernelModules = [ "tpm-rng" ];
|
2016-02-08 12:12:20 +00:00
|
|
|
};
|
|
|
|
}
|