2016-02-08 07:12:20 -05:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
|
|
|
|
{
|
2017-12-23 20:13:08 -05:00
|
|
|
imports = [ ../. ];
|
|
|
|
|
|
2016-02-08 07:12:20 -05:00
|
|
|
boot = {
|
|
|
|
|
extraModprobeConfig = ''
|
|
|
|
|
options bbswitch use_acpi_to_detect_card_state=1
|
|
|
|
|
'';
|
2017-09-06 04:01:01 -04:00
|
|
|
kernelModules = [ "tpm-rng" ];
|
2016-02-08 07:12:20 -05:00
|
|
|
};
|
2017-12-22 12:49:09 -05:00
|
|
|
|
|
|
|
|
services.xserver.videoDrivers = [ "intel" ];
|
2016-02-08 07:12:20 -05:00
|
|
|
}
|
