Aleix Boné
779449f1db
The option 'systemd.watchdog.runtimeTime' has been renamed to 'systemd.settings.Manager.RuntimeWatchdogSec'. Reviewed-by: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
10 lines
212 B
Nix
10 lines
212 B
Nix
{ ... }:
|
|
|
|
{
|
|
# 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;
|
|
}
|