Why are edac-ctl and edac-util reporting that there are no EDAC drivers loaded when ECC memory is present?

I've installed Fedora 41 on a Dell Precision 3450 with 128GB of known-good ECC memory. I know that the ECC memory is detected, according to lshw, but I can't query any information with EDAC utilities. Why are EDAC drivers not loading and does this mean that the ECC feature isn't working in Linux? Or is does this instead mean that it is working in hardware but that there won't be any system messages when an error occurs? The system is running an Intel Xeon W-1370 CPU with an Intel W580 chipset, both of which are fully capable of supporting ECC memory. This is also a supported configuration by Dell. # lshw -class memory ... *-memory description: System Memory physical id: 1000 slot: System board or motherboard size: 128GiB capabilities: ecc configuration: errordetection=ecc *-bank:0 description: DIMM DDR4 Synchronous 2667 MHz (0.4 ns) vendor: 000000000000 physical id: 0 serial: 00162263 slot: DIMM3 size: 32GiB width: 64 bits clock: 2667MHz (0.4ns) *-bank:1 description: DIMM DDR4 Synchronous 2667 MHz (0.4 ns) vendor: 000000000000 physical id: 1 serial: 00164294 slot: DIMM1 size: 32GiB width: 64 bits clock: 2667MHz (0.4ns) *-bank:2 description: DIMM DDR4 Synchronous 2667 MHz (0.4 ns) vendor: 000000000000 physical id: 2 serial: 00162249 slot: DIMM4 size: 32GiB width: 64 bits clock: 2667MHz (0.4ns) *-bank:3 description: DIMM DDR4 Synchronous 2667 MHz (0.4 ns) vendor: 000000000000 physical id: 3 serial: 00162258 slot: DIMM2 size: 32GiB width: 64 bits clock: 2667MHz (0.4ns) However, I can't get any ECC information from either edac-ctl or edac-util. # edac-ctl --status edac-ctl: drivers not loaded. # edac-util --status edac-util: EDAC drivers loaded. No memory controllers found I don't see any drivers loaded when I test with modprobe either. # modprobe edac modprobe: FATAL: Module edac not found in directory /lib/modules/6.12.15-200.fc41.x86_64 I do however, see a message in dmesg that suggests that something has been loaded. # dmesg | grep EDAC [ 0.463779] EDAC MC: Ver: 3.0.0 These are all of the EDAC drivers I can find that are available on the system. # find /lib/modules -type f -iname "*edac*" /lib/modules/6.11.4-301.fc41.x86_64/kernel/drivers/edac/amd64_edac.ko.xz /lib/modules/6.11.4-301.fc41.x86_64/kernel/drivers/edac/e752x_edac.ko.xz /lib/modules/6.11.4-301.fc41.x86_64/kernel/drivers/edac/edac_mce_amd.ko.xz /lib/modules/6.11.4-301.fc41.x86_64/kernel/drivers/edac/i10nm_edac.ko.xz /lib/modules/6.11.4-301.fc41.x86_64/kernel/drivers/edac/i3000_edac.ko.xz /lib/modules/6.11.4-301.fc41.x86_64/kernel/drivers/edac/i3200_edac.ko.xz /lib/modules/6.11.4-301.fc41.x86_64/kernel/drivers/edac/i5100_edac.ko.xz /lib/modules/6.11.4-301.fc41.x86_64/kernel/drivers/edac/i5400_edac.ko.xz /lib/modules/6.11.4-301.fc41.x86_64/kernel/drivers/edac/i7300_edac.ko.xz /lib/modules/6.11.4-301.fc41.x86_64/kernel/drivers/edac/i7core_edac.ko.xz /lib/modules/6.11.4-301.fc41.x86_64/kernel/drivers/edac/i82975x_edac.ko.xz /lib/modules/6.11.4-301.fc41.x86_64/kernel/drivers/edac/ie31200_edac.ko.xz /lib/modules/6.11.4-301.fc41.x86_64/kernel/drivers/edac/igen6_edac.ko.xz /lib/modules/6.11.4-301.fc41.x86_64/kernel/drivers/edac/pnd2_edac.ko.xz /lib/modules/6.11.4-301.fc41.x86_64/kernel/drivers/edac/sb_edac.ko.xz /lib/modules/6.11.4-301.fc41.x86_64/kernel/drivers/edac/skx_edac.ko.xz /lib/modules/6.11.4-301.fc41.x86_64/kernel/drivers/edac/skx_edac_common.ko.xz /lib/modules/6.11.4-301.fc41.x86_64/kernel/drivers/edac/x38_edac.ko.xz /lib/modules/6.12.15-200.fc41.x86_64/kernel/drivers/edac/amd64_edac.ko.xz /lib/modules/6.12.15-200.fc41.x86_64/kernel/drivers/edac/e752x_edac.ko.xz /lib/modules/6.12.15-200.fc41.x86_64/kernel/drivers/edac/edac_mce_amd.ko.xz /lib/modules/6.12.15-200.fc41.x86_64/kernel/drivers/edac/i10nm_edac.ko.xz /lib/modules/6.12.15-200.fc41.x86_64/kernel/drivers/edac/i3000_edac.ko.xz /lib/modules/6.12.15-200.fc41.x86_64/kernel/drivers/edac/i3200_edac.ko.xz /lib/modules/6.12.15-200.fc41.x86_64/kernel/drivers/edac/i5100_edac.ko.xz /lib/modules/6.12.15-200.fc41.x86_64/kernel/drivers/edac/i5400_edac.ko.xz /lib/modules/6.12.15-200.fc41.x86_64/kernel/drivers/edac/i7300_edac.ko.xz /lib/modules/6.12.15-200.fc41.x86_64/kernel/drivers/edac/i7core_edac.ko.xz /lib/modules/6.12.15-200.fc41.x86_64/kernel/drivers/edac/i82975x_edac.ko.xz /lib/modules/6.12.15-200.fc41.x86_64/kernel/drivers/edac/ie31200_edac.ko.xz /lib/modules/6.12.15-200.fc41.x86_64/kernel/drivers/edac/igen6_edac.ko.xz /lib/modules/6.12.15-200.fc41.x86_64/kernel/drivers/edac/pnd2_edac.ko.xz /lib/modules/6.12.15-200.fc41.x86_64/kernel/drivers/edac/sb_edac.ko.xz /lib/modules/6.12.15-200.fc41.x86_64/kernel/drivers/edac/skx_edac.ko.xz /lib/modules/6.12.15-200.fc41.x86_64/kernel/drivers/edac/skx_edac_common.ko.xz /lib/modules/6.12.15-200.fc41.x86_64/kernel/drivers/edac/x38_edac.ko.xz