ECC memory driver in FreeBSD 10?

[O. Hartmann]

I'm looking for a way to force FreeBSD 10 to maintain/watch ECC errors
reported by UEFI (or BIOS).
Since ECC is said to be essential for server systems both in buisness
and science and I do not question this, I was wondering if I can not
report ECC errors via a watchdog or UEFI (ACPI?) report to syslog
facility on FreeBSD.
FreeBSD is supposed to be a server operating system, as far as I know,
so I believe there must be something which didn't have revealed itself
to me, yet.

Thanks in advance,
Oliver

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
Url : http://lists.freebsd.org/pipermail/freebsd-performance/attachments/20120406/b44b5e69/signature.pgp