On 2009-12-17, Pete Vickers <[email protected]> wrote: > Is the IPMI abstraction (mentioned in ipmi(4)) such that support for > additional devices is little more than adding PCI vendor/product id to > the attach code? or is a proprietary interface ?
You probably just have to enable the driver, I imagine it will attach straight away. 'config -ef /bsd' and 'enable ipmi'.

