On Sat, Dec 23, 2006 at 10:12:19AM -0500, Steven M. Bellovin wrote:
> Hmm -- ok.  There's a fair chance I'm going to stick with the fdisk
> partition anyway, to let me boot FreeBSD in native mode, but I'll see.
> (FreeBSD has better IPMI support; if I need to get at it at that level,
> I'd need FreeBSD.  Hmm -- I wonder.  I can assign the PCI ports to the
> FreeBSD domU; maybe that would work.  Hmm...  (The right solution is for
> me to port the FreeBSD driver to NetBSD, but I'm not sure I'll have time
> to do that before putting the machine into production.))

FreeBSD's driver is like Linux's OpenIPMI, right? (i.e. you can run "ipmitool
-I open" and talk IPMI with the device locally?)

OpenBSD has an IPMI driver as well, which supports only the hardware sensors
though (readable via the hw.sensors sysctl subtree), not the remote console
etc, but it may be an interesting starting point.

See http://marc.theaimsgroup.com/?l=openbsd-misc&m=112993650617151&w=2

Ola Eriksson was working on porting this to NetBSD, but I don't know what
the status is.  http://mail-index.netbsd.org/port-i386/2006/02/19/0000.html

	Geert