I took the ipmi(4) driver from -current and put it in 3.0, and booted
it on a machine known to have ipmi support in it.  I got no indication that
the driver found that support, just that it found the accompanying smbios
in the BIOS.  I didn't look into it further, but I suspect that the bios
wasn't labeling the ipmi registers in a way that the bios32.c file was
expecting.
	In terms of supporting the ipmi package, I believe what is supposed to
happen is that the ipmi(4) driver hooks into the envsys(4) driver, thus
providing access to the ipmi functions through the envsys(1) program. I'm
assuming there's also a /dev/ipmi device which the ipmi package talks to to
do things like set the address of the bmc card itself.

-Brian
On Dec 18, 11:50pm, "Steven M. Bellovin" wrote:
} Subject: ipmi support
} What is the state of ipmi support on NetBSD?  I see impitool in
} pkgsrc.  It can operate over the network or locally, via the OpenIPMI
} driver.  As best I can tell, NetBSD doesn't have that driver.  (If
} nothing else, /sys/dev/ipmi on FreeBSD has about 3800 lines of code; we
} have about half that.)  Local support is necessary for things like
} setting the initial IP address, I would assume.
} 
} 
} 		--Steve Bellovin, http://www.cs.columbia.edu/~smb
>-- End of excerpt from "Steven M. Bellovin"