With the valued help of Mauricio Lima Pilla, who provided me direct console
access to an F40 (and lots of manual power cycles), I have been able to fix the
final bug that was preventing NetBSD from booting on the 7025-F40.  I have also
asked that this path be pulled up to NetBSD-4.0, so when the release is finally
available, F40 support should be present.

One caveat though, The F40 has a secondary PCI bus, which we do not currently
support.  This PCI bus covers two of the PCI slots on the board.. (Possibly
slot 1 and 2).  I will need to write specialized support for this bus, as it is
unlike anything else in prep.  This support is not likely to make it into 4.0.

When the pullup is made, I will let the list know which automated build will
contain support for it in 4.0_BETA.  If you are missing a device with a card in
the slot, you might be on one of those special slots, and you just need to move
the card.  I apologize for the trouble.

Also, at this time, support is only for uni-processor.  Dual CPU will also not
likely make it for 4.0, but I will work on it in -current.

---
Tim Rightnour <root@garbled.net>
NetBSD: Free multi-architecture OS http://www.netbsd.org/
Genecys: Open Source 3D MMORPG: http://www.genecys.org/