blob: c16c093936e24d6fdd94e612263c29b28b91e39d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
# http://www.supermicro.com/products/motherboard/Atom/X10/A1SRi-2758F.cfm
#
# This board contains a TPM header, but you must supply your own module.
#
{ pkgs, lib, ... }:
{
imports = [ ../lib/kernel-version.nix ];
environment.systemPackages = [ pkgs.ipmitool ];
boot.kernelModules = [ "ipmi_devintf" "ipmi_si" ];
kernelAtleast = lib.singleton
{ version = "4.4";
msg =
"ethernet driver may be buggy on older kernels, "+
''try 'networking.dhcpcd.extraConfig = "nolink";' if you encounter loss of link problems'';
};
}
|