The text a0df0b2a9372, as FreeBSD 12.2-RELEASE shipped it.
OpenIPMI compatible IPMI interface driver
ipmi(4) on FreeBSD now
