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