m/common/main.nix

@@ -10,6 +10,7 @@
     ./slurm.nix
     ./ssh.nix
     ./users.nix
+    ./watchdog.nix
   ];
 
   nixpkgs.overlays = [

m/common/watchdog.nix

@@ -0,0 +1,9 @@
+{ ... }:
+
+{
+  # The boards have a BMC watchdog controlled by IPMI
+  boot.kernelModules = [ "ipmi_watchdog" ];
+
+  # Enable systemd watchdog with 30 s interval
+  systemd.watchdog.runtimeTime = "30s";
+}