supermicro/a1sri-2758f: enable ipmi

1 files changed, 10 insertions, 2 deletions

diff --git a/supermicro/a1sri-2758f.nix b/supermicro/a1sri-2758f.nix
index d2aeb94..3471704 100644
--- a/supermicro/a1sri-2758f.nix
+++ b/supermicro/a1sri-2758f.nix
@@ -1,8 +1,16 @@
 # 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, ... }:
 
 {
-  # The Linux NIC driver doesn't properly report link status.
+  environment.systemPackages = [ pkgs.ipmitool ];
+  boot.kernelModules = [ "ipmi_devintf" "ipmi_si" ];
+
+  # The Linux NIC driver seems to have faulty link state reporting
+  # that causes dhcpcd to release every few seconds, which is
+  # more annoying than not releasing when a cable is unplugged.
   networking.dhcpcd.extraConfig = "nolink";
 }