The following reply was made to PR kern/36677; it has been noted by GNATS.

From: Juan RP <juan@xtrarom.org>
To: yamt@mwd.biglobe.ne.jp (YAMAMOTO Takashi)
Cc: gnats-bugs@NetBSD.org
Subject: Re: kern/36677: ipmi shows less sensors
Date: Wed, 25 Jul 2007 12:56:09 +0200

 On Wed, 25 Jul 2007 10:00:40 +0900 (JST)
 yamt@mwd.biglobe.ne.jp (YAMAMOTO Takashi) wrote:
 
 > juan, do you still want to see a debug output?
 > if so, can you tell me how to get it?
 > i'm not sure what's "the ipmi debug option."
 
 There's a global int that is used to enable the debug level.
 
 Try setting ipmi_dbg to 50 via gdb.
 
 -- 
 Juan Romero Pardines 	- The NetBSD Project
 http://plog.xtrarom.org 	- NetBSD/pkgsrc news in Spanish