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