On Mon, 8 Jan 2007 16:51:25 +0100
Johan Ihren <johani@johani.org> wrote:

> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
> 
> 
> On 8 Jan 2007, at 15:27, Geert Hendrickx wrote:
> 
> > On Mon, Jan 08, 2007 at 03:18:02PM +0100, Johan Ihren wrote:
> >> I realize that I can probably open up this box and remove the IPMI
> >> hardware, but I'd frankly rather leave it in place if possible
> >> because I *can* use this IPMI hardware from Linux...
> >
> > FYI, Manuel ported OpenBSD's ipmi(4) driver to NetBSD recently.  >
> > It's in current, 4.0_BETA2, and will be pulled up to 3.1_STABLE as
> > well.
> 
> The dmesg output was from 4.0_beta2 as of 20061208 (the latest
> available in NetBSD-daily). I vaguely remember seeing the import of
> the ipmi driver, but now I cannot find it. But surely it must have
> been imported earlier than my kernel?
> 
> Johan
> 
> PS. I'm lying slightly. The dmesg output was from a -current as of
> November 24, but I've verified that the 4.0beta2 gives that same
> output, i.e. no match for an IPMI driver.
> 

Did you enable it?  The ipmi driver is commented out in GENERIC.

		--Steve Bellovin, http://www.cs.columbia.edu/~smb