{ ... }:

{
  # The boards have a BMC watchdog controlled by IPMI
  boot.kernelModules = [ "ipmi_watchdog" ];

  # Enable systemd watchdog with 30 s interval
  systemd.settings.Manager.RuntimeWatchdogSec = 30;
}