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

I don't think it will. ipmi is not a PCI device, it's ports in the
I/O space and you have to parse the BIOS to find its address. I don't think
this can be done from a domU.

-- 
Manuel Bouyer <bouyer@antioche.eu.org>
     NetBSD: 26 ans d'experience feront toujours la difference
--