From 5d38b0d3a5ff50644b69d1e024156134b990e0be Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Wed, 1 Apr 2026 20:17:13 +0200
Subject: [PATCH] Disable IPMI watchdog in fox

Fixes: https://jungle.bsc.es/git/rarias/jungle/issues/231
---
 m/fox/configuration.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/m/fox/configuration.nix b/m/fox/configuration.nix
index b9549db8a..4f0b51886 100644
--- a/m/fox/configuration.nix
+++ b/m/fox/configuration.nix
@@ -25,6 +25,9 @@
   boot.initrd.availableKernelModules = [ "xhci_pci" "ahci" "nvme" "usbhid" "usb_storage" "sd_mod" ];
   boot.kernelModules = [ "kvm-amd" "amd_uncore" "amd_hsmp" ];
 
+  # Disable IPMI watchdog as the BMC is not stable
+  boot.blacklistedKernelModules = [ "ipmi_watchdog" ];
+
   hardware.cpu.amd.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
   hardware.cpu.intel.updateMicrocode = lib.mkForce false;