2017-12-26 21:54:10 +00:00
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
2017-12-27 07:28:30 +00:00
|
|
|
{
|
2017-12-26 21:54:10 +00:00
|
|
|
imports = [
|
|
|
|
../.
|
|
|
|
../../../common/cpu/intel
|
|
|
|
];
|
|
|
|
|
|
|
|
boot = {
|
2017-12-27 07:28:30 +00:00
|
|
|
extraModulePackages = with config.boot.kernelPackages; [
|
|
|
|
acpi_call
|
|
|
|
];
|
2017-12-26 21:54:10 +00:00
|
|
|
kernelModules = [
|
|
|
|
"acpi_call"
|
|
|
|
"tpm-rng"
|
|
|
|
];
|
|
|
|
};
|
|
|
|
}
|