I swapped in an addition NIC, a cheap D-Link DGE0530T gigabit card. I'm
guessing that this card would normally be supported by the bge(4)
driver. bge is indeed in both the GENERIC and the XEN0 kernels:

 bge*    at pci? dev ? function ?        # Broadcom 570x gigabit Ethernet

After booting either kernel (GENERIC or XEN0), the system doesn't seem
to recognize it enough to configure it:

 fxp0 at pci0 dev 14 function 0: i82559 Ethernet, rev 8
 fxp0: interrupting at irq 10, event channel 6
 fxp0: Ethernet address 00:90:27:a5:90:31
 inphy0 at fxp0 phy 1: i82555 10/100 media interface, rev. 4
 inphy0: 10baseT, 10baseT-FDX, 100baseTX, 100baseTX-FDX, auto
 fxp1 at pci0 dev 15 function 0: i82558 Ethernet, rev 5
 fxp1: interrupting at irq 10, event channel 6
 fxp1: May need receiver lock-up workaround
 fxp1: Ethernet address 00:90:27:73:97:a1
 inphy1 at fxp1 phy 1: i82555 10/100 media interface, rev. 0
 inphy1: 10baseT, 10baseT-FDX, 100baseTX, 100baseTX-FDX, auto
 D-Link Systems product 0x4b01 (ethernet network, revision 0x11) at pci0
 dev 16 function 0 not configured

Does that sort of dmesg indicate that the driver not recognizing the
card?

-T


-- 
A man may fight the greatest enemy, take the longest journey, survive the most 
grievous wound -- and still be helpless in the hands of the woman he loves.
	- Zensunni Wisdom from the Wandering